| 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 |
| Sun, 13 Jan 2013 12:28:20 +0100 | blanchet | don't generate queries with empty dependency list | changeset | files |
| Sun, 13 Jan 2013 12:15:44 +0100 | blanchet | cleaned up hint handling | changeset | files |
| Sun, 13 Jan 2013 12:15:43 +0100 | blanchet | better handlig of built-ins -- at the top-level, not in subterms | changeset | files |