git://colo12-c703.uibk.ac.at / Infinite Ramsey's theorem/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f986f4a) | patch
Update from HH master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Mon, 26 Aug 2013 09:08:06 +0000 (11:08 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Mon, 26 Aug 2013 09:08:06 +0000 (11:08 +0200)
commit04bf899c0b006c2347d8e0c36b2a2c2803b048a0
tree91de08e38ad651704471683950dbc7f1eb3ba7b7tree | snapshot
parentf986f4ab8bacda9c76e77343c417321c30488259commit | diff
Update from HH
make.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.