| Tue, 12 Aug 2008 21:27:51 +0200 | wenzelm | renamed unknown_span to malformed_span; | changeset | files |
| Tue, 12 Aug 2008 21:27:48 +0200 | wenzelm | Symbol.source/OuterLex.source: more explicit do_recover argument; | changeset | files |
| Tue, 12 Aug 2008 21:27:46 +0200 | wenzelm | updated generated file; | changeset | files |
| Mon, 11 Aug 2008 22:25:45 +0200 | haftmann | rudimentary code setup for set operations | changeset | files |
| Mon, 11 Aug 2008 22:06:51 +0200 | wenzelm | <applet>: more XHTML 1.0 Transitional conformance; | changeset | files |
| Mon, 11 Aug 2008 22:06:49 +0200 | wenzelm | Isar.command: OuterSyntax.prepare_command_failsafe defers syntax errors until execution time; | changeset | files |
| Mon, 11 Aug 2008 20:56:32 +0200 | wenzelm | <pre>: removed xml:space, is already default; | changeset | files |
| Mon, 11 Aug 2008 18:37:51 +0200 | wenzelm | produce XHTML 1.0 Transitional; | changeset | files |