]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2007173) | patch
fixed some macros, added test_abort.ma
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 May 2005 14:34:40 +0000 (14:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 18 May 2005 14:34:40 +0000 (14:34 +0000)
commit6b8da04f526b3484dc92f61a23a8e61e63422c13
tree0664046349db95cd822c1a657766554f8c6e6a81tree | snapshot
parent2007173e83a5001053c2946b59d6827cc080f1c4commit | diff
fixed some macros, added test_abort.ma
helm/matita/matita.txt diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/tests/test3.ma diff | blob | history
helm/matita/tests/test_abort.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.