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 |