| Thu, 07 Oct 1999 11:35:20 +0200 | berghofe | Added file thm_deps. | changeset | files |
| Thu, 07 Oct 1999 11:34:46 +0200 | berghofe | Exported function get_info. | changeset | files |
| Wed, 06 Oct 1999 21:32:52 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default); | changeset | files |