| 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 |
| Fri, 23 Aug 2013 11:44:28 +0200 | wenzelm | obsolete (see 52790e3961fe); | changeset | files |
| Fri, 23 Aug 2013 11:41:17 +0200 | wenzelm | added action isabelle.reset-font-size; | changeset | files |
| Fri, 23 Aug 2013 11:23:26 +0200 | wenzelm | tuned -- some reformatting; | changeset | files |
| Fri, 23 Aug 2013 16:51:53 +0200 | blanchet | repaired num_extra_feature_facts + tuning | changeset | files |