| Fri, 09 May 2003 11:47:29 +0200 | kleing | check for error log, send mail if exists | changeset | files |
| Fri, 09 May 2003 11:26:17 +0200 | kleing | leave error messages in error.log, send only one email for all platforms | changeset | files |
| Thu, 08 May 2003 17:44:38 +0200 | paulson | new theory Complex_Main as basis for analysis developments | changeset | files |
| Thu, 08 May 2003 15:23:21 +0200 | paulson | now refers to Complex and Complex_Main | changeset | files |