projects / helm.git / history
| 2006-05-16 | Enrico Tassi | few fixes | tree | commitdiff |
| 2006-05-14 | Enrico Tassi | generation of more than one theorem per file fixed | tree | commitdiff |
| 2006-05-13 | Enrico Tassi | more work to produce well formed .ma files | tree | commitdiff |
| 2006-05-13 | Enrico Tassi | full script generation | tree | commitdiff |
| 2006-05-13 | Enrico Tassi | fixed some pp stuff | tree | commitdiff |
| 2006-05-12 | Enrico Tassi | ... | tree | commitdiff |
| 2006-05-12 | Enrico Tassi | removed shift-reduce conflict | tree | commitdiff |
| 2006-05-12 | Enrico Tassi | added parser (and future converter) of tptp files | tree | commitdiff |