Wed, 27 Oct 1999 18:11:54 +0200 | wenzelm | tuned; | changeset | files |
Wed, 27 Oct 1999 17:27:07 +0200 | wenzelm | added (try_)update_thy_only; | changeset | files |
Wed, 27 Oct 1999 17:25:53 +0200 | wenzelm | added init_context; | changeset | files |
Wed, 27 Oct 1999 17:25:36 +0200 | wenzelm | quiet_update_thy: ml flag; | changeset | files |
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 |