| Wed, 07 Jun 2000 17:14:04 +0200 | paulson | tidied | changeset | files |
| Wed, 07 Jun 2000 14:20:16 +0200 | wenzelm | provide TAGS file for Isabelle sources; | changeset | files |
| Wed, 07 Jun 2000 14:19:48 +0200 | wenzelm | string syntax: allow \\ \" \\n only; | changeset | files |
| Wed, 07 Jun 2000 14:19:10 +0200 | wenzelm | update_thy_only: setmp Thm.trace_simp false; | changeset | files |
| Wed, 07 Jun 2000 12:18:51 +0200 | wenzelm | renamed mktags to maketags; | changeset | files |
| Wed, 07 Jun 2000 12:18:02 +0200 | wenzelm | generate TAGS file for Isabelle sources; | changeset | files |
| Wed, 07 Jun 2000 12:16:43 +0200 | berghofe | Removed cp / mkdir commands for graph browser files. | changeset | files |