git://colo12-c703.uibk.ac.at / Infinite Ramsey's theorem/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Update from HH
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 07:26:56 +0000 (09:26 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 07:26:56 +0000 (09:26 +0200)
commitf986f4ab8bacda9c76e77343c417321c30488259
tree4be98f47272db28419fc5f5e85f8ce2f4a9fa89etree | snapshot
Update from HH
make.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.