Fri, 28 Sep 2018 21:16:24 +0200 |
wenzelm |
more approximative prefix syntax, including binder;
|
file |
diff |
annotate
|
Fri, 28 Sep 2018 19:30:07 +0200 |
wenzelm |
proper syntax for locale vs. class parameters;
|
file |
diff |
annotate
|
Wed, 26 Sep 2018 17:04:50 +0200 |
wenzelm |
clarified get_infix: avoid old ASCII input syntax;
|
file |
diff |
annotate
|
Tue, 25 Sep 2018 20:41:27 +0200 |
wenzelm |
export locale dependencies, with approx. morphism as type/term substitution;
|
file |
diff |
annotate
|
Sat, 22 Sep 2018 15:22:29 +0200 |
wenzelm |
obsolete (see aec64b88e708);
|
file |
diff |
annotate
|
Fri, 21 Sep 2018 22:26:10 +0200 |
wenzelm |
clarified locale content: proper args with types for interpretation/axioms and typargs derived from the result;
|
file |
diff |
annotate
|
Fri, 21 Sep 2018 21:06:23 +0200 |
wenzelm |
clarified error;
|
file |
diff |
annotate
|
Fri, 21 Sep 2018 17:48:39 +0200 |
wenzelm |
clarified errors;
|
file |
diff |
annotate
|
Thu, 20 Sep 2018 22:39:39 +0200 |
wenzelm |
clarified standardization of variables, with proper treatment of local variables;
|
file |
diff |
annotate
|
Wed, 19 Sep 2018 22:18:36 +0200 |
wenzelm |
export semi-unfolded locale axioms;
|
file |
diff |
annotate
|
Sun, 16 Sep 2018 22:45:34 +0200 |
wenzelm |
export plain infix syntax;
|
file |
diff |
annotate
|
Sat, 15 Sep 2018 23:35:46 +0200 |
wenzelm |
more exports;
|
file |
diff |
annotate
|
Mon, 03 Sep 2018 20:46:09 +0200 |
wenzelm |
more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports;
|
file |
diff |
annotate
|
Fri, 31 Aug 2018 16:17:30 +0200 |
wenzelm |
clarified signature: proper typargs;
|
file |
diff |
annotate
|
Fri, 31 Aug 2018 15:48:37 +0200 |
wenzelm |
export locale content;
|
file |
diff |
annotate
|
Tue, 28 Aug 2018 12:07:30 +0200 |
wenzelm |
retain original id, which is command_id/exec_id for PIDE;
|
file |
diff |
annotate
|
Mon, 06 Aug 2018 11:06:43 +0200 |
wenzelm |
export shyps as regular typargs;
|
file |
diff |
annotate
|
Sun, 05 Aug 2018 20:32:18 +0200 |
wenzelm |
more uniform facts: single vs. multi;
|
file |
diff |
annotate
|
Sun, 05 Aug 2018 14:50:11 +0200 |
wenzelm |
explicit names for bound variables;
|
file |
diff |
annotate
|
Sat, 04 Aug 2018 22:32:41 +0200 |
wenzelm |
export in foundational order;
|
file |
diff |
annotate
|
Fri, 29 Jun 2018 14:19:52 +0200 |
wenzelm |
disallow hyps in export;
|
file |
diff |
annotate
|
Sat, 26 May 2018 22:02:25 +0200 |
wenzelm |
export sort algebra;
|
file |
diff |
annotate
|
Thu, 24 May 2018 16:56:14 +0200 |
wenzelm |
more exports;
|
file |
diff |
annotate
|
Sun, 20 May 2018 20:37:11 +0200 |
wenzelm |
standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
|
file |
diff |
annotate
|
Sun, 20 May 2018 16:25:27 +0200 |
wenzelm |
export facts;
|
file |
diff |
annotate
|
Sun, 20 May 2018 15:37:16 +0200 |
wenzelm |
clarified encoding;
|
file |
diff |
annotate
|
Sun, 20 May 2018 15:28:59 +0200 |
wenzelm |
more scalable;
|
file |
diff |
annotate
|
Fri, 18 May 2018 16:30:20 +0200 |
wenzelm |
more exports;
|
file |
diff |
annotate
|
Thu, 17 May 2018 17:29:17 +0200 |
wenzelm |
export more theory and session structure;
|
file |
diff |
annotate
|
Thu, 17 May 2018 14:01:13 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Wed, 16 May 2018 23:13:33 +0200 |
wenzelm |
proper PIDE positions;
|
file |
diff |
annotate
|
Mon, 14 May 2018 11:29:22 +0200 |
wenzelm |
more general presentation hook, with document preparation as application;
|
file |
diff |
annotate
|
Sun, 13 May 2018 21:20:28 +0200 |
wenzelm |
more uniform types vs. consts;
|
file |
diff |
annotate
|
Sun, 13 May 2018 20:24:33 +0200 |
wenzelm |
more concise information;
|
file |
diff |
annotate
|
Sun, 13 May 2018 16:51:50 +0200 |
wenzelm |
clarified markup;
|
file |
diff |
annotate
|
Sun, 13 May 2018 15:55:30 +0200 |
wenzelm |
more exports;
|
file |
diff |
annotate
|
Fri, 11 May 2018 22:59:00 +0200 |
wenzelm |
some export of foundational theory content;
|
file |
diff |
annotate
|