| Mon, 14 Feb 2000 11:23:57 +0100 | wenzelm | fixed prefer; | changeset | files |
| Mon, 14 Feb 2000 11:23:44 +0100 | wenzelm | tuned msg; | changeset | files |
| Sun, 13 Feb 2000 21:01:26 +0100 | wenzelm | added refine_end; | changeset | files |
| Sun, 13 Feb 2000 21:00:02 +0100 | wenzelm | tuned attrib; | changeset | files |
| Sun, 13 Feb 2000 20:58:13 +0100 | wenzelm | apply: observe facts; | changeset | files |
| Sun, 13 Feb 2000 20:56:55 +0100 | wenzelm | prf_script commands made proper; | changeset | files |
| Sun, 13 Feb 2000 20:54:12 +0100 | wenzelm | refine_end; | changeset | files |