projects / helm.git / history
| 2006-04-05 | Enrico Tassi | create directory paramodulation for tests for paramodul... | tree | commitdiff |
| 2006-04-05 | Enrico Tassi | added another interesting problem for paramodulation | tree | commitdiff |
| 2006-03-28 | Enrico Tassi | more profiling and fixes for paramod | tree | commitdiff |
| 2006-03-21 | Enrico Tassi | done | tree | commitdiff |
| 2006-03-20 | Andrea Asperti | Renamed SK.ma into bool.ma | tree | commitdiff |
| 2006-03-20 | Andrea Asperti | Esempi di auto. | tree | commitdiff |
| 2006-03-17 | Enrico Tassi | tests are now handled with a standard Makefile that... | tree | commitdiff |
| 2006-02-06 | Andrea Asperti | termine bacato. | tree | commitdiff |
| 2006-02-06 | Andrea Asperti | Bug? | tree | commitdiff |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | tree | commitdiff |