]> matita.cs.unibo.it Git - helm.git/commit
Added universes handling. Tag PRE_UNIVERSES may help ;)
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Dec 2004 09:43:44 +0000 (09:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Dec 2004 09:43:44 +0000 (09:43 +0000)
commitcf8abaf99bf9065c82d8f668d441bc4c0a2a13df
treec07d58711e51334977530a355cbf28744a1c054b
parent31851952e1cc2db59168c5fd6f6093d9bc37ea86
Added universes handling. Tag PRE_UNIVERSES may help ;)
14 files changed:
helm/gTopLevel/batchParser.ml
helm/gTopLevel/batchParser.mli
helm/gTopLevel/chosenTermEditor.mli
helm/gTopLevel/disambiguatingParser.mli
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/invokeTactics.ml
helm/gTopLevel/logicalOperations.ml
helm/gTopLevel/oldDisambiguate.ml
helm/gTopLevel/regtest.ml
helm/gTopLevel/termEditor.ml
helm/gTopLevel/termEditor.mli
helm/gTopLevel/testlibrary.ml
helm/gTopLevel/texTermEditor.ml
helm/gTopLevel/texTermEditor.mli