projects / helm.git / history
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |
| 2006-02-02 | Stefano Zacchiroli | no more multiple configure/Makefile, just one for both... | commit | commitdiff |
| 2006-01-31 | Enrico Tassi | some makefile work | commit | commitdiff |
| 2006-01-12 | Enrico Tassi | fixed coercions undoooing | commit | commitdiff |
| 2006-01-12 | Enrico Tassi | fix | commit | commitdiff |
| 2006-01-12 | Enrico Tassi | fixes for paramodulation relocation | commit | commitdiff |
| 2006-01-12 | Andrea Asperti | Moved paramodulation inside tactics. | commit | commitdiff |