| Fri, 23 Aug 2013 17:01:12 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 23 Aug 2013 15:36:54 +0200 | wenzelm | discontinued unused antiquotation blocks; | changeset | files |
| Fri, 23 Aug 2013 15:04:00 +0200 | wenzelm | missing ROOT (cf. beb4ee344c22); | changeset | files |
| Fri, 23 Aug 2013 12:43:16 +0200 | wenzelm | more modular setup; | changeset | files |
| Fri, 23 Aug 2013 12:40:55 +0200 | wenzelm | clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; | changeset | files |
| Fri, 23 Aug 2013 12:30:51 +0200 | wenzelm | removed unused ML antiquotations @{let}, @{note}; | changeset | files |