]>
2015-01-22 | Ferruccio Guidi | dependences update | commit | commitdiff |
2010-03-24 | Claudio Sacerdoti... | ... | commit | commitdiff |
2009-10-06 | Wilmer Ricciotti | Inverters/Inversion: | commit | commitdiff |
2009-10-05 | Enrico Tassi | added auto_cache in the dupable status after an | commit | commitdiff |
2009-10-02 | Wilmer Ricciotti | Updated command ninverter. Syntax: | commit | commitdiff |
2009-10-02 | Claudio Sacerdoti... | ... | commit | commitdiff |
2009-09-30 | Wilmer Ricciotti | Added initial support for inversion principles in Matit... | commit | commitdiff |
2009-07-07 | Claudio Sacerdoti... | 1) Include files for NG were neither recursively proces... | commit | commitdiff |
2009-05-18 | Enrico Tassi | nothing special | commit | commitdiff |
2009-05-08 | Claudio Sacerdoti... | ... | commit | commitdiff |
2009-04-14 | Ferruccio Guidi | we rebuilt the dependences | commit | commitdiff |
2009-03-25 | Enrico Tassi | new tactics are almost ready | commit | commitdiff |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |