| Thu, 30 May 2013 23:29:33 +0200 | wenzelm | tuned headers; | changeset | files |
| Thu, 30 May 2013 22:30:38 +0200 | wenzelm | tuned messages -- some attempts to observe Isabelle output channel semantics; | changeset | files |
| Thu, 30 May 2013 22:26:16 +0200 | wenzelm | less verbosity -- do not print final (); | changeset | files |
| Thu, 30 May 2013 22:16:33 +0200 | wenzelm | tuned -- dynamic ML context is updated incrementally (see also e7c47fe56fbd); | changeset | files |