| Mon, 16 May 2011 14:10:58 +0200 | krauss | no dependencies for Isabelle_makeall, which will be built in one go | changeset | files |
| Mon, 16 May 2011 14:06:07 +0200 | krauss | clarified handling of ISABELLE_USEDIR_OPTIONS in mira | changeset | files |
| Sun, 15 May 2011 22:22:26 +0200 | wenzelm | future merge of grammars, to improve parallel performance; | changeset | files |
| Sun, 15 May 2011 20:50:22 +0200 | wenzelm | only show relevant timing; | changeset | files |
| Sun, 15 May 2011 20:38:08 +0200 | wenzelm | timing of Theory_Data operations, with implicit thread positions when functor is applied; | changeset | files |
| Sun, 15 May 2011 19:19:26 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 15 May 2011 18:59:27 +0200 | wenzelm | eliminated obsolete "assert" function, including divergent (unused!?) clone in Predicate_Compile_Proof; | changeset | files |