| Fri, 13 Dec 2013 22:54:39 +0800 | blanchet | made SML/NJ happy + whitespace tuning | changeset | files |
| Fri, 13 Dec 2013 12:31:45 +0100 | wenzelm | clarified Proof General legacy: special treatment of \<^newline> only in TTY mode; | changeset | files |
| Thu, 12 Dec 2013 23:18:47 +0100 | wenzelm | merged | changeset | files |
| Thu, 12 Dec 2013 22:56:28 +0100 | wenzelm | discontinued legacy_isub_isup; | changeset | files |
| Thu, 12 Dec 2013 22:38:25 +0100 | wenzelm | clarified Trace_Ops: global theory data avoids init of simpset in Pure.thy, which is important to act as neutral element in merge; | changeset | files |
| Thu, 12 Dec 2013 21:28:13 +0100 | wenzelm | skeleton for Simplifier trace by Lars Hupel; | changeset | files |
| Thu, 12 Dec 2013 21:14:33 +0100 | wenzelm | generic trace operations for main steps of Simplifier; | changeset | files |