isabelle: Changelog

wenzelm [Mon, 17 Apr 2000 14:04:46 +0200] rev 8722

tuned msg;

wenzelm [Mon, 17 Apr 2000 14:03:51 +0200] rev 8721

NameSpace.is_qualified;

wenzelm [Mon, 17 Apr 2000 13:57:55 +0200] rev 8720

Pretty.chunks;

nipkow [Sat, 15 Apr 2000 17:41:20 +0200] rev 8719

mod to error msg

wenzelm [Sat, 15 Apr 2000 15:01:31 +0200] rev 8718

next_block: reset_facts;

wenzelm [Sat, 15 Apr 2000 15:00:57 +0200] rev 8717

plain ASCII;

wenzelm [Fri, 14 Apr 2000 17:30:22 +0200] rev 8716

intrn_arity: reject type abbreviations;

wenzelm [Fri, 14 Apr 2000 17:29:57 +0200] rev 8715

added is_type_abbr;

wenzelm [Fri, 14 Apr 2000 16:12:46 +0200] rev 8714

\newenvironment{isabellequote};

wenzelm [Fri, 14 Apr 2000 15:55:40 +0200] rev 8713

global \isa@parindent, \isa@parskip; \newcommand{\isa};

isabelle