| Fri, 27 Aug 1999 10:48:47 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 26 Aug 1999 19:04:26 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 26 Aug 1999 19:04:19 +0200 | wenzelm | iff_attrib_setup; | changeset | files |
| Thu, 26 Aug 1999 19:02:21 +0200 | wenzelm | improved back, help; | changeset | files |
| Thu, 26 Aug 1999 19:01:58 +0200 | wenzelm | print_help; | changeset | files |
| Thu, 26 Aug 1999 19:01:22 +0200 | wenzelm | back: recur flag; | changeset | files |
| Thu, 26 Aug 1999 11:46:04 +0200 | paulson | a bit further with property (1) | changeset | files |
| Thu, 26 Aug 1999 11:39:18 +0200 | paulson | changed "guar" back to "guarantees" (sorry) and FIXED ITS PRECEDENCE | changeset | files |