| Fri, 22 Jul 2022 14:39:56 +0200 | Fabian Huch | tuned (some HOL lints, by Yecine Megdiche); | file | diff | annotate |
| Thu, 11 Mar 2021 07:05:38 +0000 | haftmann | avoid name clash | file | diff | annotate |
| Thu, 14 Mar 2019 16:55:06 +0100 | wenzelm | more specific keyword kinds; | file | diff | annotate |
| Mon, 28 Jan 2019 10:27:47 +0100 | nipkow | more canonical and less specialized syntax | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 07 Aug 2017 11:21:11 +0200 | blanchet | tuning imports | file | diff | annotate |
| Thu, 22 Dec 2016 08:43:30 +0100 | haftmann | proper logical constants | file | diff | annotate |
| Fri, 29 Jul 2016 09:49:23 +0200 | Andreas Lochbihler | add lemmas contributed by Peter Gammie | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Sun, 13 Dec 2015 21:56:15 +0100 | wenzelm | more general types Proof.method / context_tactic; | file | diff | annotate |
| Mon, 09 Nov 2015 15:48:17 +0100 | wenzelm | qualifier is mandatory by default; | file | diff | annotate |
| Wed, 04 Nov 2015 08:13:52 +0100 | ballarin | Keyword 'rewrites' identifies rewrite morphisms. | file | diff | annotate |