| Mon, 19 May 2014 23:43:53 +0200 | blanchet | store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution | changeset | files |
| Mon, 19 May 2014 19:17:15 +0200 | Lars Hupel | trace windows uses search feature of Pretty_Text_Area; | changeset | files |
| Mon, 19 May 2014 16:51:44 +0200 | wenzelm | obsolete -- always pdf; | changeset | files |