| Tue, 29 Aug 2023 17:00:12 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 15:48:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 15:45:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 15:42:13 +0100 |
wenzelm |
tunes signature;
|
file |
diff |
annotate
|
| Fri, 19 Aug 2022 16:19:59 +0200 |
wenzelm |
clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory;
|
file |
diff |
annotate
|
| Sun, 14 Aug 2022 18:35:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 14 Aug 2022 12:18:06 +0200 |
wenzelm |
clarified theory_names with exported content;
|
file |
diff |
annotate
|
| Sun, 14 Aug 2022 12:01:47 +0200 |
wenzelm |
proper export theory_names: theory/parents are not necessarily present (amending 4d27b520622a);
|
file |
diff |
annotate
|
| Sun, 07 Aug 2022 12:58:59 +0200 |
wenzelm |
clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 22:49:25 +0200 |
wenzelm |
discontinued Export.Provider in favour of Export.Context and its derivatives;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 19:02:38 +0200 |
wenzelm |
clarified database query: refer to semantic theories;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2022 14:05:42 +0200 |
wenzelm |
more uniform exports: proper encoding of empty parents for Pure;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 13:44:21 +0200 |
wenzelm |
clarified signature: Export.Provider knows its (accidental) theory_names;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 13:07:32 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 03 Aug 2022 12:58:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|