| 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 |
| Sun, 13 Jan 2013 12:28:20 +0100 | blanchet | don't generate queries with empty dependency list | changeset | files |