Sat, 11 Mar 2017 16:22:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 10 Jan 2017 16:53:05 +0100 |
wenzelm |
support "purge" operation on document model;
|
file |
diff |
annotate
|
Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 21:32:00 +0100 |
wenzelm |
uniform Document.Model.node_edits (without void edits);
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 15:25:01 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 09:42:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 06 Jan 2017 23:25:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 05 Jan 2017 12:23:25 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Thu, 05 Jan 2017 10:49:47 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 05 Jan 2017 10:10:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 17:10:09 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 17:02:38 +0100 |
wenzelm |
clarified signature: explicit Length to avoid implicit mistakes;
|
file |
diff |
annotate
|
Fri, 23 Dec 2016 17:04:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 02 Aug 2016 18:45:34 +0200 |
wenzelm |
tuned signature -- prover-independence is presently theoretical;
|
file |
diff |
annotate
|
Tue, 02 Aug 2016 17:35:18 +0200 |
wenzelm |
support 'abbrevs' within theory header;
|
file |
diff |
annotate
|
Wed, 20 Apr 2016 11:44:25 +0200 |
wenzelm |
reactivated other_id reports (see also db929027e701, 8eda56033203);
|
file |
diff |
annotate
|
Mon, 18 Apr 2016 20:43:37 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 01 Mar 2016 21:00:38 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 19 Sep 2015 21:07:37 +0200 |
wenzelm |
straight-forward refresh, without special preconditions;
|
file |
diff |
annotate
|
Tue, 25 Aug 2015 13:46:24 +0200 |
wenzelm |
clarified undefined_blobs: already loaded theories are suppressed;
|
file |
diff |
annotate
|
Sat, 15 Aug 2015 18:59:31 +0200 |
wenzelm |
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
|
file |
diff |
annotate
|
Wed, 12 Aug 2015 13:53:51 +0200 |
wenzelm |
resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
|
file |
diff |
annotate
|
Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
Sun, 15 Mar 2015 19:21:15 +0100 |
wenzelm |
hybrid use of command blobs: inlined errors and auxiliary files;
|
file |
diff |
annotate
|
Sat, 14 Mar 2015 19:51:36 +0100 |
wenzelm |
clarified positions of theory imports;
|
file |
diff |
annotate
|
Thu, 15 Jan 2015 20:36:26 +0100 |
wenzelm |
proper update of perspective after implicit edit due to reparse (e.g. ~~/src/HOL/Nat.thy);
|
file |
diff |
annotate
|
Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
Sun, 17 Aug 2014 16:05:43 +0200 |
wenzelm |
postpone changes in intermediate state between remove_versions/removed_versions, which is important for handle_change to refer to defined items on prover side;
|
file |
diff |
annotate
|
Sat, 02 Aug 2014 16:35:59 +0200 |
wenzelm |
more direct access to persistent blobs (see also 8953d4cc060a), avoiding fragile digest lookup from later version (which might have removed unused blobs already);
|
file |
diff |
annotate
|