| Sat, 30 Nov 2024 13:41:38 +0100 | wenzelm | tuned: more direct use of Name.context operations; | file | diff | annotate |
| Fri, 29 Nov 2024 17:40:15 +0100 | wenzelm | clarified signature: shorten common cases; | file | diff | annotate |
| Thu, 28 Nov 2024 14:12:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 23 Jul 2024 22:50:59 +0200 | wenzelm | disable thy_cache for now (amending 0b8922e351a3): avoid crash of AFP/Ramsey-Infinite due to exception THEORY "Duplicate theory name"; | file | diff | annotate |
| Sun, 21 Jul 2024 23:31:32 +0200 | wenzelm | clarified export: replaced Proofterm.standard_vars by ZTerm.standard_vars; | file | diff | annotate |
| Fri, 19 Jul 2024 16:58:52 +0200 | wenzelm | clarified thm_header command_pos vs. thm_pos; | file | diff | annotate |
| Thu, 18 Jul 2024 15:26:36 +0200 | wenzelm | clarified signature; | file | diff | annotate |