git://colo12-c703.uibk.ac.at / Flyspeck/.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4959bbf) | patch
Update from HH master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Tue, 27 Aug 2013 13:20:45 +0000 (15:20 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Tue, 27 Aug 2013 13:20:45 +0000 (15:20 +0200)
commit3d2b79422d9619a1f2dc915d389eab1f6454efeb
treefeeb02ef1b9d164f22931b2fe15e07d5bf94d6fetree | snapshot
parent4959bbf56f639e0c6a19eb9745f45223505135b9commit | diff
Update from HH
make.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.