| Wed, 18 Aug 1999 20:44:07 +0200 | wenzelm | assume/presume: and_list1; | changeset | files |
| Wed, 18 Aug 1999 20:43:42 +0200 | wenzelm | sectioned_args etc.: more general modifier; | changeset | files |
| Wed, 18 Aug 1999 20:42:09 +0200 | wenzelm | deps: include 'really' flag; | changeset | files |