| Mon, 17 Apr 2000 14:03:51 +0200 | wenzelm | NameSpace.is_qualified; | changeset | files |
| Mon, 17 Apr 2000 13:57:55 +0200 | wenzelm | Pretty.chunks; | changeset | files |
| Sat, 15 Apr 2000 17:41:20 +0200 | nipkow | mod to error msg | changeset | files |
| Sat, 15 Apr 2000 15:01:31 +0200 | wenzelm | next_block: reset_facts; | changeset | files |
| Sat, 15 Apr 2000 15:00:57 +0200 | wenzelm | plain ASCII; | changeset | files |
| Fri, 14 Apr 2000 17:30:22 +0200 | wenzelm | intrn_arity: reject type abbreviations; | changeset | files |
| Fri, 14 Apr 2000 17:29:57 +0200 | wenzelm | added is_type_abbr; | changeset | files |
| Fri, 14 Apr 2000 16:12:46 +0200 | wenzelm | \newenvironment{isabellequote}; | changeset | files |