| Wed, 13 Aug 2008 20:57:33 +0200 | wenzelm | ProofDisplay.theory_results; | changeset | files |
| Wed, 13 Aug 2008 20:57:31 +0200 | wenzelm | removed obsolete present_results; | changeset | files |
| Wed, 13 Aug 2008 20:57:30 +0200 | wenzelm | scan: SymbolPos.tabify_content when creating tokens (for proper presentation output); | changeset | files |
| 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 |