| Fri, 06 Oct 2017 21:23:21 +0200 |
wenzelm |
even more robust syntax (amending 122df1fde073);
|
file |
diff |
annotate
|
| Fri, 06 Oct 2017 17:13:57 +0200 |
wenzelm |
clarified node_syntax (amending ae38b8c0fdd9): default to overall_syntax, e.g. relevant for command spans wrt. bad header;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 22:41:19 +0200 |
wenzelm |
more accurate node_syntax: avoid overall_syntax for PIDE edits;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 22:12:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 17:00:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 12:41:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2017 15:35:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 01 Mar 2017 15:16:06 +0100 |
wenzelm |
improved performance of remove, e.g. relevant for Theories_Dockable.purge;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 07 Jan 2017 15:25:01 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Thu, 05 Jan 2017 12:23:25 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 12:51:40 +0200 |
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
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 24 Apr 2015 19:08:43 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2015 23:37:05 +0100 |
wenzelm |
proper comparison of blobs_info (amending illtyped equality from 86a76300137e) -- avoid redundant update of unchanged commands;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 20:35:47 +0100 |
wenzelm |
clarified span position;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 19:48:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 19:39:31 +0100 |
wenzelm |
tuned;
|
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
|
| Sun, 15 Mar 2015 12:42:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2015 19:51:36 +0100 |
wenzelm |
clarified positions of theory imports;
|
file |
diff |
annotate
|
| Fri, 13 Mar 2015 12:58:49 +0100 |
wenzelm |
simplified Command.resolve_files in ML, using blobs_index from Scala;
|
file |
diff |
annotate
|
| Thu, 12 Mar 2015 20:34:08 +0100 |
wenzelm |
clarified command content;
|
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
|
| Wed, 03 Dec 2014 22:34:28 +0100 |
wenzelm |
node-specific keywords, with session base syntax as default;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|