]> matita.cs.unibo.it Git - helm.git/commit
merged cic_notation with matita: good luck!
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 18 Jul 2005 12:29:45 +0000 (12:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 18 Jul 2005 12:29:45 +0000 (12:29 +0000)
commit6b5e1d495c61f459738187e8d71efadb162abdbe
tree77961831cd14f5d9f79b4bb993c091e6e3d9f2b3
parente20f3963028a966fc93ba0d611c4aa8341d20e2c
merged cic_notation with matita: good luck!
21 files changed:
helm/matita/.depend
helm/matita/buildTimeConf.ml.in
helm/matita/core_notation.ma [new file with mode: 0644]
helm/matita/matita.lang
helm/matita/matita.ml
helm/matita/matitaEngine.ml
helm/matita/matitaEngine.mli
helm/matita/matitaExcPp.ml
helm/matita/matitaGui.ml
helm/matita/matitaScript.ml
helm/matita/matitaSync.ml
helm/matita/matitaTypes.ml
helm/matita/matitaTypes.mli
helm/matita/matitacLib.ml
helm/matita/matitaclean.ml
helm/matita/matitacleanLib.ml
helm/matita/matitacleanLib.mli
helm/matita/matitadep.ml
helm/matita/tests/absurd.ma
helm/matita/tests/fguidi.ma
helm/matita/tests/first.ma