| Sun, 13 Jan 2013 20:59:59 +0100 | wenzelm | updated makedist_library; | changeset | files |
| 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 |