| Sun, 13 Jan 2013 20:30:33 +0100 | wenzelm | some attempts to avoid "._" files on Mac OS X; | changeset | files |
| Sun, 13 Jan 2013 19:45:32 +0100 | wenzelm | more sensible order of theory nodes (correspondance to Scala version), e.g. relevant to theory progress; | changeset | files |
| Sun, 13 Jan 2013 20:57:48 +0100 | blanchet | honor unknown chained in MaSh and a few other tweaks | changeset | files |
| Sun, 13 Jan 2013 15:04:55 +0100 | blanchet | remove obsolete MaSh files | changeset | files |