]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da29171) | patch
changed .moo format on disk: no longer plain strings, but ocaml marshalling of Grafit...
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 17:27:36 +0000 (17:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 17:27:36 +0000 (17:27 +0000)
commit718082d4e6316ba47b69494c5187dde950847236
treec4a56689a49d5e8164f7f514649c5ed5d25fa7dftree | snapshot
parentda29171d0139bc1be36772084d58b6cbcfdca646commit | diff
changed .moo format on disk: no longer plain strings, but ocaml marshalling of GrafiteAst.Command lists
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.