]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00d934e) | patch
added a test for the pullback stuff and the possibility to get the coercion graph...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:23:02 +0000 (11:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Nov 2006 11:23:02 +0000 (11:23 +0000)
commit394177fef9a7a158a527077b69928b0a9818bce8
tree3708ce0b03648501c588c52d54462f3ba856de80tree | snapshot
parent00d934e7be5c77d8f3ee92d6ee39c2e8fc2d880ecommit | diff
added a test for the pullback stuff and the possibility to get the coercion graph printed without closures
matita/matita.ml diff | blob | history
matita/matitaMathView.ml diff | blob | history
matita/matitaTypes.ml diff | blob | history
matita/matitaTypes.mli diff | blob | history
matita/tests/pullback.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.