| Thu, 29 Jun 2006 01:08:08 +0200 | kleing | use -f in cp to overwrite read-only files (e.g. .svn in document/) | changeset | files |
| Wed, 28 Jun 2006 17:54:00 +0200 | webertj | world map now transparent | changeset | files |
| Wed, 28 Jun 2006 14:36:47 +0200 | haftmann | improvements in Classpackage | changeset | files |
| Wed, 28 Jun 2006 14:36:09 +0200 | haftmann | reduced code, better instance command | changeset | files |
| Wed, 28 Jun 2006 14:35:51 +0200 | haftmann | slight improvements in code generation | changeset | files |
| Wed, 28 Jun 2006 14:35:10 +0200 | haftmann | added lookup function for parameters | changeset | files |
| Wed, 28 Jun 2006 09:27:53 +0200 | paulson | disjunctive wellfoundedness | changeset | files |