| Fri, 15 Oct 2021 22:00:28 +0200 | wenzelm | revert bbfed17243af, breaks HOL-Proofs extraction; | file | diff | annotate |
| Fri, 15 Oct 2021 20:54:13 +0200 | wenzelm | proper context for Goal.prove_internal; | file | diff | annotate |
| Fri, 15 Oct 2021 19:25:31 +0200 | wenzelm | discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Mon, 18 Apr 2016 14:30:24 +0200 | wenzelm | clarified bindings; | file | diff | annotate |
| Sun, 17 Apr 2016 22:10:09 +0200 | wenzelm | clarified bindings; | file | diff | annotate |