| Sun, 28 Feb 2016 19:54:18 +0100 | wenzelm | simplified / unified isatest settings; | changeset | files |
| Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 28 Feb 2016 17:37:20 +0100 | wenzelm | discontinued old 'header'; | changeset | files |
| Sun, 28 Feb 2016 15:57:03 +0100 | wenzelm | more official "isabelle check_sources"; | changeset | files |