| 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 |
| Sat, 11 Aug 2012 21:32:46 +0200 | wenzelm | simplified symbol matching; | changeset | files |
| Sat, 11 Aug 2012 21:10:36 +0200 | wenzelm | further clarification of malformed symbols; | changeset | files |
| Sat, 11 Aug 2012 20:54:06 +0200 | wenzelm | more liberal scanning of potentially malformed symbols; | changeset | files |