| Wed, 13 Aug 2008 20:57:37 +0200 | wenzelm | removed obsolete verbatim_source, results, chapter, section etc.; | changeset | files |
| Wed, 13 Aug 2008 20:57:35 +0200 | wenzelm | ProofDisplay.add_hook; | changeset | files |
| Wed, 13 Aug 2008 20:57:33 +0200 | wenzelm | simplified present_local_theory/proof; | changeset | files |
| Wed, 13 Aug 2008 20:57:33 +0200 | wenzelm | ProofDisplay.theory_results; | changeset | files |