]> matita.cs.unibo.it Git - helm.git/history - helm/Makefile
ocaml 3.09 transition
[helm.git] / helm / Makefile
2005-06-28 Ferruccio Guidilapply improved
2004-05-13 Ferruccio Guidi- some code patched
2004-02-20 Ferruccio Guidi- mathql interpreter flags reorganized
2003-12-02 Ferruccio Guidisort CProp added
2003-10-29 Ferruccio Guidisome interfaces changed to prepare the mathql code...
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type...
2003-04-23 Ferruccio Guidi- New interface for the MathQL interpreter (1.3 version)
2003-02-20 Stefano Zacchiroliglobal Makefile to build gTopLevel with all its depende...