| Sat, 07 Jul 2007 00:15:02 +0200 | wenzelm | moved General/xml.ML to Tools/xml.ML; | changeset | files |
| Sat, 07 Jul 2007 00:15:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 07 Jul 2007 00:14:59 +0200 | wenzelm | simplified output mode setup; | changeset | files |
| Sat, 07 Jul 2007 00:14:58 +0200 | wenzelm | added print_mode setup: indent and markup; | changeset | files |
| Sat, 07 Jul 2007 00:14:57 +0200 | wenzelm | renamed raw to escape; | changeset | files |
| Sat, 07 Jul 2007 00:14:56 +0200 | wenzelm | simplified pretty token metric: type int; | changeset | files |
| Sat, 07 Jul 2007 00:14:54 +0200 | wenzelm | moved General/xml.ML to Tools/xml.ML; | changeset | files |
| Sat, 07 Jul 2007 00:14:52 +0200 | wenzelm | added General/markup.ML; | changeset | files |
| Sat, 07 Jul 2007 00:14:49 +0200 | wenzelm | added class skolem, command; | changeset | files |
| Fri, 06 Jul 2007 23:26:13 +0200 | nipkow | more interpretations | changeset | files |
| Fri, 06 Jul 2007 17:52:52 +0200 | aspinall | Produce good PGML 2.0 | changeset | files |
| Fri, 06 Jul 2007 17:21:18 +0200 | webertj | cosmetic (line length fixed) | changeset | files |
| Fri, 06 Jul 2007 16:09:28 +0200 | chaieb | Some examples for reifying type variables | changeset | files |
| Fri, 06 Jul 2007 16:09:27 +0200 | chaieb | Tuned document | changeset | files |
| Fri, 06 Jul 2007 16:09:26 +0200 | chaieb | Cleaned add and del attributes | changeset | files |
| Fri, 06 Jul 2007 16:09:25 +0200 | chaieb | Reification now deals with type variables | changeset | files |
| 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 |