]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite/.depend.opt
added auto_cache in the dupable status after an
[helm.git] / helm / software / components / grafite / .depend.opt
2009-10-05 Enrico Tassiadded auto_cache in the dupable status after an
2009-10-02 Wilmer RicciottiUpdated command ninverter. Syntax:
2009-09-09 Enrico Tassidepends
2009-06-25 Ferruccio Guidi- some depend files :)
2009-06-15 Enrico Tassitacticals are really tactics now, they have an AST...
2009-05-18 Enrico Tassinothing special
2009-05-08 Claudio Sacerdoti... ...
2009-04-14 Ferruccio Guidiwe rebuilt the dependences
2009-03-25 Enrico Tassinew tactics are almost ready
2006-12-29 Ferruccio Guidinow we try two distinct depend files for compilation...