| Tue, 08 Aug 2023 17:27:01 +0200 | wenzelm | tuned: more symmetric and more robust wrt. evolution of theory loader vs. PIDE state; | changeset | files |
| Tue, 08 Aug 2023 17:17:42 +0200 | wenzelm | proper imports_keywords (amending 40a365360680), e.g. relevant for implicit "print_state" for commands defined after Pure; | changeset | files |
| Tue, 08 Aug 2023 12:35:14 +0200 | wenzelm | proper prev_thy (amending 92a547feec88), notably for the sake of 'print_theorems', which is the only use of Toplevel.previous_theory_of; | changeset | files |