projects / helm.git / history
| 2007-10-15 | Claudio Sacerdoti... | auto ==> autobatch | tree | commitdiff |
| 2007-10-15 | Claudio Sacerdoti... | Stupid bug fixed (I deleted "assumption a" by error). | tree | commitdiff |
| 2007-07-26 | Enrico Tassi | auto -> autobatch | tree | commitdiff |
| 2007-02-21 | Ferruccio Guidi | decompose now works without premises | tree | commitdiff |
| 2007-02-08 | Claudio Sacerdoti... | * 'default "equality"' command changed to consider... | tree | commitdiff |
| 2006-12-30 | Ferruccio Guidi | dependence to legacy/coq.ma fixed | tree | commitdiff |
| 2006-12-01 | Ferruccio Guidi | some uris fixed | tree | commitdiff |
| 2006-10-09 | Claudio Sacerdoti... | auto => auto new everywhere + minor updates to make... | tree | commitdiff |
| 2006-10-02 | Enrico Tassi | ... | tree | commitdiff |
| 2006-09-29 | Enrico Tassi | added tests for auto | tree | commitdiff |
| 2006-09-29 | Enrico Tassi | ... | tree | commitdiff |
| 2006-07-18 | Claudio Sacerdoti... | baseuri for group.ma fixed | tree | commitdiff |
| 2006-04-05 | Enrico Tassi | create directory paramodulation for tests for paramodul... | tree | commitdiff |