]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8aba11d) | patch
Now mathql_generator compiles before mathql_interpreter.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Sep 2003 15:12:46 +0000 (15:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Sep 2003 15:12:46 +0000 (15:12 +0000)
commit68e62a195d6228befb75b4e2edd59bc58b1cdb0c
treeb15382a46a44d0352cf9a6165dfb9fea31077a57tree | snapshot
parent8aba11dde6f56f81329943a3f4dbff0ee9366552commit | diff
Now mathql_generator compiles before mathql_interpreter.
This feature, announced in my Ph.D. thesis, will allow the interpreter to interact with the generator.
22 files changed:
helm/ocaml/Makefile.in diff | blob | history
helm/ocaml/mathql/.cvsignore diff | blob | history
helm/ocaml/mathql/.depend diff | blob | history
helm/ocaml/mathql/Makefile diff | blob | history
helm/ocaml/mathql/mQueryMisc.ml [new file with mode: 0644] blob
helm/ocaml/mathql/mQueryMisc.mli [new file with mode: 0644] blob
helm/ocaml/mathql/mQueryTLexer.mll [deleted file] blob | history
helm/ocaml/mathql/mQueryTParser.mly [deleted file] blob | history
helm/ocaml/mathql/mQueryUtil.ml [deleted file] blob | history
helm/ocaml/mathql/mQueryUtil.mli [deleted file] blob | history
helm/ocaml/mathql_generator/Makefile diff | blob | history
helm/ocaml/mathql_generator/cGLocateInductive.ml diff | blob | history
helm/ocaml/mathql_generator/cGMatchConclusion.ml diff | blob | history
helm/ocaml/mathql_interpreter/.cvsignore diff | blob | history
helm/ocaml/mathql_interpreter/.depend diff | blob | history
helm/ocaml/mathql_interpreter/Makefile diff | blob | history
helm/ocaml/mathql_interpreter/mQueryMisc.ml [deleted file] blob | history
helm/ocaml/mathql_interpreter/mQueryMisc.mli [deleted file] blob | history
helm/ocaml/mathql_interpreter/mQueryTLexer.mll [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQueryTParser.mly [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQueryUtil.ml [new file with mode: 0644] blob
helm/ocaml/mathql_interpreter/mQueryUtil.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.