]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite_engine/grafiteTypes.mli
More statuses converted to objects.
[helm.git] / helm / software / components / grafite_engine / grafiteTypes.mli
2009-06-19 Claudio Sacerdoti... More statuses converted to objects.
2009-06-18 Claudio Sacerdoti... 1) grafiteWalker removed
2009-06-17 Claudio Sacerdoti... Initial implementation of statuses using objects in...
2009-06-16 Claudio Sacerdoti... FIX OF THE PREVIOUS EXPERIMENTAL COMMIT:
2009-06-15 Enrico TassiEXPERIMENTAL COMMIT (by CSC,actuall :-)
2009-06-15 Enrico Tassihuge commit regarding the grafite_status:
2009-04-16 Enrico TassiUniverse is used only locally to tactics/
2009-04-02 Enrico Tassi...
2009-03-26 Enrico Tassinew apply almost there
2009-03-25 Enrico Tassinew tactics are almost ready
2009-01-13 Enrico Tassimany changes regarding coercions:
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2006-11-23 Andrea AspertiThe status has been extended with a "universe", that...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/