| Sun, 12 Aug 2012 19:09:55 +0200 | wenzelm | more static antiquotations; | changeset | files |
| Sun, 12 Aug 2012 19:08:27 +0200 | wenzelm | always show some timing information, to reduce the need for explicit -v; | changeset | files |
| Sun, 12 Aug 2012 17:39:06 +0200 | wenzelm | some information for central Isabelle repository configuration; | changeset | files |
| Sun, 12 Aug 2012 01:25:43 +0200 | krauss | reduced settings patching | changeset | files |
| Sun, 12 Aug 2012 00:16:04 +0200 | krauss | removed obsolete configuration AFP_images | changeset | files |
| Sat, 11 Aug 2012 22:17:46 +0200 | wenzelm | faster compilation of ML with antiquotations: static ML_context is bound once in auxiliary structure Isabelle; | changeset | files |