]>
2006-05-26 | Claudio Sacerdoti... | Recently introduced bug in CicRefine.eat_prods fixed... | tree | commitdiff |
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 |