| Sat, 07 Oct 2017 13:13:46 +0200 |
wenzelm |
clarified empty merge;
|
file |
diff |
annotate
|
| Sat, 07 Oct 2017 12:50:05 +0200 |
wenzelm |
permissive loaded_theories (amending 67dbf5cdc056): user errors are produced e.g. in Known.make;
|
file |
diff |
annotate
|
| Sun, 01 Oct 2017 17:59:26 +0200 |
wenzelm |
cache sources: invoke SHA1.digest at most once;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 21:30:31 +0200 |
wenzelm |
clarified theory syntax vs. overall session syntax;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 17:35:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Sep 2017 17:28:44 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2017 15:11:32 +0200 |
wenzelm |
session-qualified theory names are mandatory;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2017 11:53:55 +0200 |
wenzelm |
discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
|
file |
diff |
annotate
|
| Wed, 27 Sep 2017 17:39:03 +0200 |
wenzelm |
maintain loaded_files for each theory;
|
file |
diff |
annotate
|
| Wed, 27 Sep 2017 11:29:50 +0200 |
wenzelm |
prefer sequential file-system access, but parallel parse;
|
file |
diff |
annotate
|
| Tue, 26 Sep 2017 20:54:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2017 19:17:46 +0200 |
wenzelm |
clarified session graph: collapse theories from other sessions;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 22:32:55 +0200 |
wenzelm |
clarified loaded_theories: map to qualified theory name;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2017 12:31:29 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 07 Apr 2017 16:34:14 +0200 |
wenzelm |
more explicit lookup of loaded_theories: base names allowed here;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 15:44:16 +0200 |
wenzelm |
clarified fall-back name;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 14:41:56 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 14:32:56 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 14:08:42 +0200 |
wenzelm |
clarified checks -- avoid duplicated messages (amending 60c159d490a2);
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 17:00:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 16:36:45 +0200 |
wenzelm |
provide session qualifier via resources;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 12:41:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
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
|
| Tue, 05 Apr 2016 14:59:00 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2015 09:43:20 +0100 |
wenzelm |
more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2);
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 15:27:45 +0200 |
wenzelm |
tuned signature, clarified modules;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 20:35:47 +0100 |
wenzelm |
clarified span position;
|
file |
diff |
annotate
|