| Sat, 10 May 2003 20:52:18 +0200 | berghofe | - Added split_min and split_max to preprocessor | changeset | files |
| Fri, 09 May 2003 18:00:30 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 09 May 2003 17:19:58 +0200 | ballarin | NEWS updated for HOL-Algebra. | changeset | files |
| Fri, 09 May 2003 14:21:07 +0200 | kleing | tuned | changeset | files |
| Fri, 09 May 2003 14:15:50 +0200 | kleing | only make development snapshots for successful tests | changeset | files |
| Fri, 09 May 2003 14:08:04 +0200 | kleing | fixes | changeset | files |
| Fri, 09 May 2003 12:08:00 +0200 | kleing | var/run -> var/running | changeset | files |
| Fri, 09 May 2003 12:02:57 +0200 | kleing | tuned | changeset | files |
| Fri, 09 May 2003 11:56:16 +0200 | kleing | typo | changeset | files |
| Fri, 09 May 2003 11:54:33 +0200 | kleing | add cleanup of old error log and test-still-running files | changeset | files |
| Fri, 09 May 2003 11:54:04 +0200 | kleing | tuned | changeset | files |
| Fri, 09 May 2003 11:47:29 +0200 | kleing | check for error log, send mail if exists | changeset | files |