isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 01 Sep 2006 08:36:55 +0200 pervasive refinements

changeset

haftmann [Fri, 01 Sep 2006 08:36:55 +0200] rev 20456

pervasive refinements

Fri, 01 Sep 2006 08:36:54 +0200 removed some dictionary stuff

changeset

haftmann [Fri, 01 Sep 2006 08:36:54 +0200] rev 20455

removed some dictionary stuff

Fri, 01 Sep 2006 08:36:53 +0200 project_algebra yields sort projector

changeset

haftmann [Fri, 01 Sep 2006 08:36:53 +0200] rev 20454

project_algebra yields sort projector

Fri, 01 Sep 2006 08:36:51 +0200 final syntax for some Isar code generator keywords

changeset

haftmann [Fri, 01 Sep 2006 08:36:51 +0200] rev 20453

final syntax for some Isar code generator keywords

Thu, 31 Aug 2006 23:01:16 +0200 tuned;

changeset

wenzelm [Thu, 31 Aug 2006 23:01:16 +0200] rev 20452

tuned;

Thu, 31 Aug 2006 22:55:49 +0200 misc cleanup;

changeset

wenzelm [Thu, 31 Aug 2006 22:55:49 +0200] rev 20451

misc cleanup;

Thu, 31 Aug 2006 18:27:40 +0200 tuned;

changeset

wenzelm [Thu, 31 Aug 2006 18:27:40 +0200] rev 20450

tuned;

Thu, 31 Aug 2006 17:33:55 +0200 more stuff;

changeset

wenzelm [Thu, 31 Aug 2006 17:33:55 +0200] rev 20449

more stuff;

Thu, 31 Aug 2006 17:33:48 +0200 mldecls: footnotesize;

changeset

wenzelm [Thu, 31 Aug 2006 17:33:48 +0200] rev 20448

mldecls: footnotesize;

Thu, 31 Aug 2006 14:53:55 +0200 more on contexts;

changeset

wenzelm [Thu, 31 Aug 2006 14:53:55 +0200] rev 20447

more on contexts;

Thu, 31 Aug 2006 14:36:48 +0200 String.concatWith (not available in PolyML) replaced by space_implode

changeset

webertj [Thu, 31 Aug 2006 14:36:48 +0200] rev 20446

String.concatWith (not available in PolyML) replaced by space_implode

Thu, 31 Aug 2006 10:20:22 +0200 improvements to abstraction generation

changeset

paulson [Thu, 31 Aug 2006 10:20:22 +0200] rev 20445

improvements to abstraction generation

Thu, 31 Aug 2006 10:18:26 +0200 blacklist now handles thm lists

changeset

paulson [Thu, 31 Aug 2006 10:18:26 +0200] rev 20444

blacklist now handles thm lists

Thu, 31 Aug 2006 10:17:19 +0200 Empty is better than Match

changeset

paulson [Thu, 31 Aug 2006 10:17:19 +0200] rev 20443

Empty is better than Match

Thu, 31 Aug 2006 02:59:08 +0200 term_of_prop_formula added

changeset

webertj [Thu, 31 Aug 2006 02:59:08 +0200] rev 20442

term_of_prop_formula added

Thu, 31 Aug 2006 02:22:05 +0200 read_dimacs_cnf_file ignores more comment lines

changeset

webertj [Thu, 31 Aug 2006 02:22:05 +0200] rev 20441

read_dimacs_cnf_file ignores more comment lines

Wed, 30 Aug 2006 16:27:53 +0200 faster clause representation (again): full CNF formula as a hypothesis, instead of separate clauses

changeset

webertj [Wed, 30 Aug 2006 16:27:53 +0200] rev 20440

faster clause representation (again): full CNF formula as a hypothesis, instead of separate clauses

Wed, 30 Aug 2006 15:11:17 +0200 code refinements

changeset

haftmann [Wed, 30 Aug 2006 15:11:17 +0200] rev 20439

code refinements

Wed, 30 Aug 2006 12:28:39 +0200 updated;

changeset

wenzelm [Wed, 30 Aug 2006 12:28:39 +0200] rev 20438

updated;

Wed, 30 Aug 2006 12:28:32 +0200 tuned;

changeset

wenzelm [Wed, 30 Aug 2006 12:28:32 +0200] rev 20437

tuned;

Wed, 30 Aug 2006 08:34:45 +0200 added yet another code generator example

changeset

haftmann [Wed, 30 Aug 2006 08:34:45 +0200] rev 20436

added yet another code generator example

Wed, 30 Aug 2006 08:30:09 +0200 fixes

changeset

haftmann [Wed, 30 Aug 2006 08:30:09 +0200] rev 20435

fixes

Wed, 30 Aug 2006 08:29:30 +0200 fixed bug in wfrec appgen

changeset

haftmann [Wed, 30 Aug 2006 08:29:30 +0200] rev 20434

fixed bug in wfrec appgen

Wed, 30 Aug 2006 03:30:09 +0200 lin_arith_prover: splitting reverted because of performance loss

changeset

webertj [Wed, 30 Aug 2006 03:30:09 +0200] rev 20433

lin_arith_prover: splitting reverted because of performance loss

Wed, 30 Aug 2006 03:19:08 +0200 lin_arith_prover: splitting reverted because of performance loss

changeset

webertj [Wed, 30 Aug 2006 03:19:08 +0200] rev 20432

lin_arith_prover: splitting reverted because of performance loss

Tue, 29 Aug 2006 21:43:34 +0200 added a FIXME-comment

changeset

urbanc [Tue, 29 Aug 2006 21:43:34 +0200] rev 20431

added a FIXME-comment

Tue, 29 Aug 2006 18:56:11 +0200 tuned;

changeset

wenzelm [Tue, 29 Aug 2006 18:56:11 +0200] rev 20430

tuned;

Tue, 29 Aug 2006 18:49:33 +0200 more on contexts;

changeset

wenzelm [Tue, 29 Aug 2006 18:49:33 +0200] rev 20429