| Thu, 21 Sep 2000 12:11:38 +0200 | fleuriot | Updated Files with new theorems | changeset | files |
| Thu, 21 Sep 2000 10:42:49 +0200 | kleing | unsymbolized | changeset | files |
| Wed, 20 Sep 2000 21:20:41 +0200 | wenzelm | removed dead code; | changeset | files |
| Wed, 20 Sep 2000 21:20:26 +0200 | wenzelm | added "install" target; | changeset | files |
| Wed, 20 Sep 2000 21:20:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 20 Sep 2000 14:59:19 +0200 | wenzelm | tuned rpm command lines; | changeset | files |
| Wed, 20 Sep 2000 00:50:09 +0200 | wenzelm | updated; | changeset | files |
| Wed, 20 Sep 2000 00:02:26 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 19 Sep 2000 23:54:25 +0200 | wenzelm | added common args keywords; | changeset | files |
| Tue, 19 Sep 2000 23:53:00 +0200 | wenzelm | tuned args; | changeset | files |
| Tue, 19 Sep 2000 23:52:37 +0200 | wenzelm | added iff_add_global', iff_add_local' (syntax "iff?"); | changeset | files |
| Tue, 19 Sep 2000 23:52:00 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 19 Sep 2000 23:51:39 +0200 | wenzelm | attribute / modifier 'iff': support "?" mode; | changeset | files |
| Tue, 19 Sep 2000 23:51:00 +0200 | wenzelm | tuned msg; | changeset | files |
| Tue, 19 Sep 2000 23:50:43 +0200 | wenzelm | updated; | changeset | files |
| Mon, 18 Sep 2000 23:59:53 +0200 | wenzelm | tuned; | changeset | files |