]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_refiner/nRstatus.ml
milestone in basic_2, λδ-2A reconstructed
[helm.git] / helm / software / components / ng_refiner / nRstatus.ml
2009-10-05 Enrico Tassinew ng_library module
2009-09-14 Claudio Sacerdoti... Slightly simplied status code.
2009-09-14 Claudio Sacerdoti... Simplest typing for status records.
2009-09-08 Enrico Tassisnapshot for CSC
2009-06-19 Claudio Sacerdoti... Good:
2009-06-18 Claudio Sacerdoti... Objects are now used to represent also the tactic status.
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: