]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b36918d) | patch
matita now works reasonably well,
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 6 Jan 2008 22:59:05 +0000 (22:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 6 Jan 2008 22:59:05 +0000 (22:59 +0000)
commitee4ed24e86a1950e6cf168856d81eaf7dca17ee9
tree7ca2fa8b4ddeb99c4dad0d8713c15e61bffacd83tree | snapshot
parentb36918dbc0e6d0c70c92551e34bdc65cbfddddeccommit | diff
matita now works reasonably well,
missing roots are still not graphically handled
components/library/librarian.ml diff | blob | history
matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.