| Thu, 08 Jun 2000 21:53:44 +0200 | wenzelm | prf_open/close; | changeset | files |
| Wed, 07 Jun 2000 17:14:58 +0200 | paulson | replacing 0hr by (0::hypreal) | changeset | files |
| Wed, 07 Jun 2000 17:14:19 +0200 | kleing | minor tuning for pdf documents | changeset | files |
| 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 |