]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcbd312) | patch
uncommited file found :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 15 Apr 2013 17:55:59 +0000 (17:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 15 Apr 2013 17:55:59 +0000 (17:55 +0000)
commit520d4370a540a98f5e5e1d85acfef0c982cc1e04
tree52e908a93d03929ef9e38026180738dace1a8a91tree | snapshot
parentbcbd3124423b5e95855da2a34a126b59caa9a3f8commit | diff
uncommited file found :)
matita/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.