| Sun, 21 Aug 2011 19:32:20 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 21 Aug 2011 14:16:44 +0200 | wenzelm | discontinued somewhat pointless Par_List.map_name -- most of the time is spent in tokenization; | changeset | files |
| Sun, 21 Aug 2011 13:42:55 +0200 | wenzelm | discontinued obsolete Thy_Syntax.report_span -- information can be reproduced in Isabelle/Scala; | changeset | files |