| 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 |
| Fri, 14 Apr 2000 15:55:40 +0200 | wenzelm | global \isa@parindent, \isa@parskip; | changeset | files |