]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/rt.ml
cicDischarge: new module for discharging the explicit variables occurring in a
[helm.git] / helm / software / components / ng_kernel / rt.ml
2008-05-14 Claudio Sacerdoti... New licence used uniformly everywhere.
2008-05-12 Claudio Sacerdoti... New implementation of CicEnvironment:
2008-04-19 Enrico Tassiimpredicative set work around
2008-04-09 Enrico Tassipretty printer on steroids
2008-04-07 Enrico Tassibetter printings
2008-04-07 Enrico Tassiadded a pretty printing of the new object and use argv...
2008-02-21 Claudio Sacerdoti... Better handling of exceptions.
2008-02-20 Enrico Tassisplat_args is now better understood and debugged: we...
2008-02-20 Enrico Tassiadded small test, fixed some bugs