matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/mathql_generator

[helm.git] / helm / ocaml / mathql_generator /

2004-04-23	Enrico Tassi	Universes introduction	tree \| commitdiff
2004-03-10	Ferruccio Guidi	- interpreter: the queries are printed before execution	tree \| commitdiff
2004-03-09	Claudio Sacerdoti...	Meta no longer raise a failure. Instead they return...	tree \| commitdiff
2004-02-20	Ferruccio Guidi	hard-coded timing of generated queries disabled: use...	tree \| commitdiff
2004-02-19	Ferruccio Guidi	source logging is now native in the interpreter	tree \| commitdiff
2004-02-19	Ferruccio Guidi	source logging enabled by default	tree \| commitdiff
2004-02-06	Stefano Zacchiroli	added annotations to Cic.Implicit	tree \| commitdiff
2003-12-02	Ferruccio Guidi	sort CProp added	tree \| commitdiff
2003-10-07	Luca Padovani	* removed currified constructors everywhere. A bug...	tree \| commitdiff
2003-09-23	Ferruccio Guidi	Now mathql_generator compiles before mathql_interpreter.	tree \| commitdiff
2003-09-04	Ferruccio Guidi	CGLocateInductive patched	tree \| commitdiff
2003-09-04	Ferruccio Guidi	added the support for the "Locate Inductive Principles...	tree \| commitdiff
2003-07-17	Ferruccio Guidi	dead code removed	tree \| commitdiff
2003-07-17	Ferruccio Guidi	- new generated query "unreferred" implemented at serve...	tree \| commitdiff
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	tree \| commitdiff
2003-06-29	Ferruccio Guidi	mathql_interpreter: natile-galax package removed from...	tree \| commitdiff
2003-06-20	Ferruccio Guidi	Author specification added in head comments;	tree \| commitdiff
2003-06-19	Claudio Sacerdoti...	Reindented	tree \| commitdiff
2003-06-19	Ferruccio Guidi	MathQL 1.3 ready for use	tree \| commitdiff
2003-05-22	Ferruccio Guidi	mathql query generator interface patched	tree \| commitdiff

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom