| Fri, 06 Jul 2007 11:55:05 +0200 | wenzelm | Cumulative reports for Poly/ML profiling output. | changeset | files |
| Thu, 05 Jul 2007 20:36:48 +0200 | aspinall | Update PGML version, add system name | changeset | files |
| Thu, 05 Jul 2007 20:01:39 +0200 | wenzelm | tuned interfaces: atomize, atomize_prems, atomize_prems_tac; | changeset | files |
| Thu, 05 Jul 2007 20:01:38 +0200 | wenzelm | added type conv; | changeset | files |
| Thu, 05 Jul 2007 20:01:37 +0200 | wenzelm | removed comments -- no exception TERM; | changeset | files |
| Thu, 05 Jul 2007 20:01:36 +0200 | wenzelm | added is_reflexive; | changeset | files |
| Thu, 05 Jul 2007 20:01:35 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 05 Jul 2007 20:01:34 +0200 | wenzelm | simplified has_meta_prems; | changeset | files |