| Sun, 28 Jun 2009 11:02:27 +0200 | haftmann | Executable_Set now based on Code_Set | changeset | files |
| Sun, 28 Jun 2009 10:33:36 +0200 | haftmann | added Inter, Union | changeset | files |
| Sun, 28 Jun 2009 22:51:29 +0200 | wenzelm | more precise dependencies for "jars"; | changeset | files |
| Sun, 28 Jun 2009 22:50:37 +0200 | wenzelm | improved display; | changeset | files |
| Sun, 28 Jun 2009 22:35:23 +0200 | wenzelm | display some platform information; | changeset | files |
| Sun, 28 Jun 2009 19:29:28 +0200 | wenzelm | discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things; | changeset | files |