| 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 |
| Sun, 28 Feb 2016 15:43:56 +0100 | wenzelm | removed pointless "isabelle yxml"; | changeset | files |