git://colo12-c703.uibk.ac.at / Gödel's incompleteness theorem/.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerCezary Kaliszyk
last changeThu, 29 Aug 2013 13:41:09 +0000
shortlog
2013-08-29 Cezary KaliszykUpdate from HH master commit | commitdiff | tree | snapshot
2013-08-29 Cezary KaliszykUpdate from HH commit | commitdiff | tree | snapshot
heads
10 years ago master shortlog | log | tree
Unnamed repository; edit this file 'description' to name the repository.