| 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 |