| Tue, 16 Aug 2005 13:54:24 +0200 | nipkow | added listT | changeset | files |
| Tue, 16 Aug 2005 13:42:53 +0200 | wenzelm | support for document versions; | changeset | files |
| Tue, 16 Aug 2005 13:42:52 +0200 | wenzelm | eliminated datatype token; | changeset | files |
| Tue, 16 Aug 2005 13:42:51 +0200 | wenzelm | begin_index: list of docs; | changeset | files |
| Tue, 16 Aug 2005 13:42:50 +0200 | wenzelm | added eq_syntax; | changeset | files |
| Tue, 16 Aug 2005 13:42:49 +0200 | wenzelm | export proof_syntax, proof_of; | changeset | files |
| Tue, 16 Aug 2005 13:42:48 +0200 | wenzelm | added String.isSuffix; | changeset | files |
| Tue, 16 Aug 2005 13:42:47 +0200 | wenzelm | state: body context; | changeset | files |
| Tue, 16 Aug 2005 13:42:46 +0200 | wenzelm | P.tags; | changeset | files |
| Tue, 16 Aug 2005 13:42:45 +0200 | wenzelm | use_dir: removed hidden, added doc_versions; | changeset | files |
| Tue, 16 Aug 2005 13:42:44 +0200 | wenzelm | back: removed ill-defined '!' option; | changeset | files |
| Tue, 16 Aug 2005 13:42:43 +0200 | wenzelm | added transfer; | changeset | files |