]> matita.cs.unibo.it Git - helm.git/commit
"include" command implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 10:45:52 +0000 (10:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Jul 2005 10:45:52 +0000 (10:45 +0000)
commit29a3bd5d160f31873236c93a008a9e4fd31c305e
treedb2a3a13994c9bbf03293a8506deb41af47b4d49
parentb6101c89b49ad1df07df62ec661c8b30bda99a2a
"include" command implemented.
13 files changed:
helm/matita/library/Makefile
helm/matita/library/Z.ma
helm/matita/library/nat.ma
helm/matita/matitaEngine.ml
helm/matita/matitaEngine.mli
helm/matita/matitaMisc.ml
helm/matita/matitaScript.ml
helm/matita/matitaSync.ml
helm/matita/matitaSync.mli
helm/matita/matitaTypes.ml
helm/matita/matitacLib.ml
helm/matita/matitadep.ml
helm/matita/tests/Makefile