git://colo12-c703.uibk.ac.at / Model of HOL/.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch (parent: 31c5bab)
Empty commit master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 13:53:08 +0000 (15:53 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Thu, 22 Aug 2013 13:53:08 +0000 (15:53 +0200)

No differences found
Unnamed repository; edit this file 'description' to name the repository.