]> matita.cs.unibo.it Git - helm.git/commit
release work snapshot ...
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 15:41:50 +0000 (15:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 15:41:50 +0000 (15:41 +0000)
commit67fea0e3bea686e59148d13765e20103f9373d24
treea1b6bed79e355509e7635831730e3a063e51c022
parent3ae7a50cfadde385428c599cd55d0aef2eb75ac8
release work snapshot ...
helm/Makefile
helm/Makefile.defs.in
helm/libs [new symlink]
helm/matita/Makefile
helm/matita/buildTimeConf.ml.in
helm/matita/matitaInit.ml
helm/ocaml/Makefile
helm/ocaml/Makefile.common
helm/ocaml/registry/.ocamlinit
helm/ocaml/registry/tests/sample.xml