isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 13 May 2018 14:40:40 +0200 tuned

changeset

nipkow [Sun, 13 May 2018 14:40:40 +0200] rev 68162

tuned

Sun, 13 May 2018 14:32:48 +0200 tuned

changeset

nipkow [Sun, 13 May 2018 14:32:48 +0200] rev 68161

tuned

Sun, 13 May 2018 13:43:34 +0200 mv lemma

changeset

nipkow [Sun, 13 May 2018 13:43:34 +0200] rev 68160

mv lemma

Sun, 13 May 2018 13:15:50 +0200 removed unused lemma

changeset

nipkow [Sun, 13 May 2018 13:15:50 +0200] rev 68159

removed unused lemma

Sun, 13 May 2018 13:07:09 +0200 tuned

changeset

nipkow [Sun, 13 May 2018 13:07:09 +0200] rev 68158

tuned

Sat, 12 May 2018 22:20:46 +0200 removed some non-essential rules

changeset

haftmann [Sat, 12 May 2018 22:20:46 +0200] rev 68157

removed some non-essential rules

Sat, 12 May 2018 17:53:12 +0200 added lemmas

changeset

nipkow [Sat, 12 May 2018 17:53:12 +0200] rev 68156

added lemmas

Sat, 12 May 2018 11:24:11 +0200 new tool Code_Lazy

changeset

Andreas Lochbihler [Sat, 12 May 2018 11:24:11 +0200] rev 68155

new tool Code_Lazy

Fri, 11 May 2018 22:59:00 +0200 some export of foundational theory content;

changeset

wenzelm [Fri, 11 May 2018 22:59:00 +0200] rev 68154

some export of foundational theory content;

Fri, 11 May 2018 22:40:02 +0200 support for general theory presentation;

changeset

wenzelm [Fri, 11 May 2018 22:40:02 +0200] rev 68153

support for general theory presentation;

Fri, 11 May 2018 20:35:29 +0200 guard result exports via export_pattern -- avoid bombing client via huge blobs;

changeset

wenzelm [Fri, 11 May 2018 20:35:29 +0200] rev 68152

guard result exports via export_pattern -- avoid bombing client via huge blobs;

Fri, 11 May 2018 20:22:20 +0200 tuned;

changeset

wenzelm [Fri, 11 May 2018 20:22:20 +0200] rev 68151

tuned;

Fri, 11 May 2018 20:05:37 +0200 clarified output: avoid costly operations on huge blobs;

changeset

wenzelm [Fri, 11 May 2018 20:05:37 +0200] rev 68150

clarified output: avoid costly operations on huge blobs;

Fri, 11 May 2018 19:59:05 +0200 unused;

changeset

wenzelm [Fri, 11 May 2018 19:59:05 +0200] rev 68149

unused;

Fri, 11 May 2018 19:57:49 +0200 more scalable -- avoid huge lines within stdout;

changeset

wenzelm [Fri, 11 May 2018 19:57:49 +0200] rev 68148

more scalable -- avoid huge lines within stdout;

Fri, 11 May 2018 19:27:00 +0200 slightly more ambitious parallelism (again);

changeset

wenzelm [Fri, 11 May 2018 19:27:00 +0200] rev 68147

slightly more ambitious parallelism (again);

Fri, 11 May 2018 19:03:33 +0200 more scalable API;

changeset

wenzelm [Fri, 11 May 2018 19:03:33 +0200] rev 68146

more scalable API;

Fri, 11 May 2018 17:27:30 +0200 proper heading;

changeset

wenzelm [Fri, 11 May 2018 17:27:30 +0200] rev 68145

proper heading;

Fri, 11 May 2018 11:42:23 +0200 removed unused Java FX modules (it will be unbundled from JDK eventually);

changeset

wenzelm [Fri, 11 May 2018 11:42:23 +0200] rev 68144

removed unused Java FX modules (it will be unbundled from JDK eventually);

Thu, 10 May 2018 22:03:51 +0100 tidied some messy proofs

changeset

paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 22:03:51 +0100] rev 68143

tidied some messy proofs

Thu, 10 May 2018 18:17:55 +0200 merged

changeset

nipkow [Thu, 10 May 2018 18:17:55 +0200] rev 68142

merged

Thu, 10 May 2018 18:17:43 +0200 more lemmas

changeset

nipkow [Thu, 10 May 2018 18:17:43 +0200] rev 68141

more lemmas

Thu, 10 May 2018 01:34:07 +0200 merged

changeset

nipkow [Thu, 10 May 2018 01:34:07 +0200] rev 68140

merged

Thu, 10 May 2018 01:33:47 +0200 simpler types

changeset

nipkow [Thu, 10 May 2018 01:33:47 +0200] rev 68139

simpler types

Thu, 10 May 2018 15:59:39 +0100 auto-tidying

changeset

paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:59:39 +0100] rev 68138

auto-tidying

Thu, 10 May 2018 15:41:45 +0100 merged

changeset

paulson [Thu, 10 May 2018 15:41:45 +0100] rev 68137

merged

Thu, 10 May 2018 15:41:34 +0100 more on infinite products

changeset

paulson <lp15@cam.ac.uk> [Thu, 10 May 2018 15:41:34 +0100] rev 68136