isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 03 Apr 2000 14:00:16 +0200 support markup environments;

changeset

wenzelm [Mon, 03 Apr 2000 14:00:16 +0200] rev 8660

support markup environments;

Sat, 01 Apr 2000 20:26:20 +0200 tuned presentation;

changeset

wenzelm [Sat, 01 Apr 2000 20:26:20 +0200] rev 8659

tuned presentation;

Sat, 01 Apr 2000 20:22:46 +0200 proper naming of fib equations;

changeset

wenzelm [Sat, 01 Apr 2000 20:22:46 +0200] rev 8658

proper naming of fib equations;

Sat, 01 Apr 2000 20:21:39 +0200 recdef: admit names/atts;

changeset

wenzelm [Sat, 01 Apr 2000 20:21:39 +0200] rev 8657

recdef: admit names/atts;

Sat, 01 Apr 2000 20:18:52 +0200 isatool document: tuned -c option;

changeset

wenzelm [Sat, 01 Apr 2000 20:18:52 +0200] rev 8656

isatool document: tuned -c option;

Sat, 01 Apr 2000 20:17:51 +0200 recdef: admit name and atts;

changeset

wenzelm [Sat, 01 Apr 2000 20:17:51 +0200] rev 8655

recdef: admit name and atts;

Sat, 01 Apr 2000 20:16:56 +0200 tuned -c option;

changeset

wenzelm [Sat, 01 Apr 2000 20:16:56 +0200] rev 8654

tuned -c option;

Sat, 01 Apr 2000 20:15:55 +0200 recover: observe stopper;

changeset

wenzelm [Sat, 01 Apr 2000 20:15:55 +0200] rev 8653

recover: observe stopper;

Sat, 01 Apr 2000 20:13:33 +0200 presentation ignore stuff: swallow newline;

changeset

wenzelm [Sat, 01 Apr 2000 20:13:33 +0200] rev 8652

presentation ignore stuff: swallow newline;

Sat, 01 Apr 2000 20:12:52 +0200 added is_newline;

changeset

wenzelm [Sat, 01 Apr 2000 20:12:52 +0200] rev 8651

added is_newline;

Sat, 01 Apr 2000 20:12:15 +0200 'cd': diag;

changeset

wenzelm [Sat, 01 Apr 2000 20:12:15 +0200] rev 8650

'cd': diag;

Sat, 01 Apr 2000 20:11:50 +0200 more robust handling of explicit rules;

changeset

wenzelm [Sat, 01 Apr 2000 20:11:50 +0200] rev 8649

more robust handling of explicit rules;

Sat, 01 Apr 2000 20:10:57 +0200 tuned mixfix syntax;

changeset

wenzelm [Sat, 01 Apr 2000 20:10:57 +0200] rev 8648

tuned mixfix syntax;

Sat, 01 Apr 2000 20:09:52 +0200 added ProofGeneral.undo;

changeset

wenzelm [Sat, 01 Apr 2000 20:09:52 +0200] rev 8647

added ProofGeneral.undo;

Sat, 01 Apr 2000 20:09:20 +0200 isatool document: check output file (workaround PolyML problem with RC);

changeset

wenzelm [Sat, 01 Apr 2000 20:09:20 +0200] rev 8646

isatool document: check output file (workaround PolyML problem with RC);

Fri, 31 Mar 2000 22:39:39 +0200 use cong_add_global att;

changeset

wenzelm [Fri, 31 Mar 2000 22:39:39 +0200] rev 8645

use cong_add_global att;

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

isabelle

RSS Atom