| Mon, 24 Mar 2008 15:59:56 +0100 | wenzelm | replaced obsolete /usr/proj by /home; | changeset | files |
| Mon, 24 Mar 2008 15:59:16 +0100 | wenzelm | remote CVSROOT: default to atbroy100 instead of sunbroy2; | changeset | files |
| Mon, 24 Mar 2008 15:55:22 +0100 | wenzelm | tuned settings for target platforms; | changeset | files |
| Thu, 20 Mar 2008 17:38:55 +0100 | wenzelm | thm_antiq: produce error at runtime, not compile time; | changeset | files |