isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 17 Apr 2000 14:10:04 +0200 Pretty.chunks;

changeset

wenzelm [Mon, 17 Apr 2000 14:10:04 +0200] rev 8727

Pretty.chunks;

Mon, 17 Apr 2000 14:08:51 +0200 'global' / 'local': comment;

changeset

wenzelm [Mon, 17 Apr 2000 14:08:51 +0200] rev 8726

'global' / 'local': comment; added 'hide';

Mon, 17 Apr 2000 14:08:19 +0200 name space hide operations;

changeset

wenzelm [Mon, 17 Apr 2000 14:08:19 +0200] rev 8725

name space hide operations;

Mon, 17 Apr 2000 14:07:00 +0200 global/local_path: comment;

changeset

wenzelm [Mon, 17 Apr 2000 14:07:00 +0200] rev 8724

global/local_path: comment; added name space hide;

Mon, 17 Apr 2000 14:06:05 +0200 added 'hide';

changeset

wenzelm [Mon, 17 Apr 2000 14:06:05 +0200] rev 8723

added 'hide';

Mon, 17 Apr 2000 14:04:46 +0200 tuned msg;

changeset

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

tuned msg;

Mon, 17 Apr 2000 14:03:51 +0200 NameSpace.is_qualified;

changeset

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

NameSpace.is_qualified;

Mon, 17 Apr 2000 13:57:55 +0200 Pretty.chunks;

changeset

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

Pretty.chunks;

Sat, 15 Apr 2000 17:41:20 +0200 mod to error msg

changeset

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

mod to error msg

Sat, 15 Apr 2000 15:01:31 +0200 next_block: reset_facts;

changeset

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

next_block: reset_facts;

Sat, 15 Apr 2000 15:00:57 +0200 plain ASCII;

changeset

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

plain ASCII;

Fri, 14 Apr 2000 17:30:22 +0200 intrn_arity: reject type abbreviations;

changeset

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

intrn_arity: reject type abbreviations;

Fri, 14 Apr 2000 17:29:57 +0200 added is_type_abbr;

changeset

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

added is_type_abbr;

Fri, 14 Apr 2000 16:12:46 +0200 \newenvironment{isabellequote};

changeset

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

\newenvironment{isabellequote};

Fri, 14 Apr 2000 15:55:40 +0200 global \isa@parindent, \isa@parskip;

changeset

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

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

(0) -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom