| Sun, 06 May 2018 22:15:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 06 May 2018 19:10:21 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 May 2018 22:33:35 +0200 |
wenzelm |
protocol message for export of theory resources;
|
file |
diff |
annotate
|
| Tue, 23 Jan 2018 19:25:39 +0100 |
wenzelm |
treat sessions as entities with defining position;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 15:20:13 +0100 |
wenzelm |
sort completion result;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 14:55:46 +0100 |
wenzelm |
formal treatment of documentation names;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 17:23:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 16:46:01 +0100 |
wenzelm |
PIDE markup for session ROOT files;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 15:15:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 12:27:10 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 18:59:33 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
| Tue, 28 Nov 2017 22:14:10 +0100 |
wenzelm |
clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
|
file |
diff |
annotate
|
| Fri, 06 Oct 2017 21:14:00 +0200 |
wenzelm |
clarified error for bad session-qualified imports;
|
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
|
| Fri, 21 Apr 2017 14:09:03 +0200 |
wenzelm |
eliminated default_qualifier: just a constant;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2017 16:34:58 +0200 |
wenzelm |
exclude theories from other sessions;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2017 14:19:49 +0200 |
wenzelm |
actually qualify theory names;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2017 20:33:18 +0200 |
wenzelm |
uniform use of theory base name for presentation;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2017 12:39:36 +0200 |
wenzelm |
clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console";
|
file |
diff |
annotate
|
| Thu, 13 Apr 2017 12:19:28 +0200 |
wenzelm |
tuned signature (again);
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 23:35:42 +0200 |
wenzelm |
tuned according to Scala version;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 22:32:55 +0200 |
wenzelm |
clarified loaded_theories: map to qualified theory name;
|
file |
diff |
annotate
|
| Mon, 10 Apr 2017 16:43:12 +0200 |
wenzelm |
proper import qualifier for global theories;
|
file |
diff |
annotate
|
| Mon, 10 Apr 2017 11:52:21 +0200 |
wenzelm |
clarified, according to Scala version;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2017 22:36:32 +0200 |
wenzelm |
more qualifier treatment, but in the end it is still ignored;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2017 21:28:19 +0200 |
wenzelm |
provide Resources.import_name in ML, similar to Scala version;
|
file |
diff |
annotate
|