]> matita.cs.unibo.it Git - helm.git/commit
- some code patched
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 May 2004 13:32:12 +0000 (13:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 May 2004 13:32:12 +0000 (13:32 +0000)
commit978a25d9392e5fc1a19fa37c86339c5d0b67ddd6
tree7eb33029e6dd4f10a67f2c4713219ba6d91a1f9b
parent36f71caeee72cb15185ecbc7644ed1da5c6f8186
- some code patched
- mathql documentation updated
17 files changed:
helm/Makefile
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/oldDisambiguate.ml
helm/gTopLevel/oldDisambiguate.mli
helm/mathql/doc/mathql.tex
helm/mathql/doc/mathql_introduction.tex
helm/mathql/doc/mathql_introduction_property.tex
helm/mathql/doc/mathql_introduction_textual.tex
helm/mathql/doc/mathql_macros.sty
helm/mathql/doc/mathql_operational.tex
helm/mathql/doc/mathql_operational_core.tex
helm/mathql/doc/mathql_tests.tex
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli
helm/ocaml/tactics/match_concl.ml
helm/searchEngine/searchEngine.ml