Wed, 27 Oct 1999 17:17:28 +0200 | nipkow | Fixed a bug in the EX simproc. | changeset | files |
Wed, 27 Oct 1999 17:09:31 +0200 | wenzelm | export cond_with_path; | changeset | files |
Wed, 27 Oct 1999 17:09:05 +0200 | wenzelm | dummy_pattern: aprop; | changeset | files |