| Mon, 03 May 1999 10:51:44 +0200 | wenzelm | prefer /bin for ./configure; | changeset | files |
| Mon, 03 May 1999 10:47:32 +0200 | wenzelm | try chown root:root; | changeset | files |
| Sat, 01 May 1999 00:10:05 +0200 | wenzelm | renamed 'dummy' to 'dummy_pattern' (less dangerous); | changeset | files |
| Fri, 30 Apr 1999 18:25:10 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 30 Apr 1999 18:13:55 +0200 | wenzelm | method = meth3 (again); | changeset | files |
| Fri, 30 Apr 1999 18:10:35 +0200 | wenzelm | peoper defer_recdef interface; | changeset | files |
| Fri, 30 Apr 1999 18:10:03 +0200 | wenzelm | theory data: copy; | changeset | files |