]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 920e626) | patch
-debug should work better
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 14:20:25 +0000 (14:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 14:20:25 +0000 (14:20 +0000)
commitcbb6a26ba001722c0e10210a3e3d625c095f6767
treed347a129d41f4d6ed4746073affb1f4ab6fe3db1tree | snapshot
parent920e626985b94b5f6de11046c917d8012fa3d2eccommit | diff
-debug should work better
matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.