Wed, 13 Aug 2008 20:57:30 +0200 | wenzelm | load_thy: no untabify (preserve position information!), present spans instead of verbatim source; | changeset | files |
Wed, 13 Aug 2008 20:57:28 +0200 | wenzelm | simplified markup commands; | changeset | files |
Wed, 13 Aug 2008 20:57:26 +0200 | wenzelm | simplified markup commands -- removed obsolete Present.results, always check text; | changeset | files |
Wed, 13 Aug 2008 20:57:24 +0200 | wenzelm | added untabify_content; | changeset | files |
Wed, 13 Aug 2008 20:57:22 +0200 | wenzelm | tuned; | changeset | files |
Wed, 13 Aug 2008 20:57:20 +0200 | wenzelm | removed obsolete untabify (superceded by SymbolPos.tabify_content); | changeset | files |
Wed, 13 Aug 2008 20:57:18 +0200 | wenzelm | tuned document; | changeset | files |