]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite/grafiteMarshal.ml
added config.ac to the tarball for debian packages
[helm.git] / helm / software / components / grafite / grafiteMarshal.ml
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces...
2009-04-20 Enrico Tassi- init_cache_and_tables rewritten using the automation_...
2009-01-13 Enrico Tassimany changes regarding coercions:
2008-06-24 Enrico Tassinotation factored, coercion commant taking terms and...
2007-08-30 Claudio Sacerdoti... Coercions are now generalized to the general form
2006-11-23 Andrea AspertiAdded a new command "index" for the indexing terms...
2006-09-27 Claudio Sacerdoti... Initial work on setoids:
2006-09-04 Enrico TassiBIG FAT COMMIT REGARDING COERCIONS:
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/