src/Doc/Implementation/Isar.thy
Sat, 20 Jan 2024 13:52:36 +0100 wenzelm obsolete (see also fc88b943e1b2);
Sun, 15 Jan 2023 18:30:18 +0100 wenzelm isabelle update -u cite;
Sat, 22 May 2021 21:52:13 +0200 wenzelm clarified names;
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 13 Apr 2016 18:01:05 +0200 wenzelm eliminated "xname" and variants;
Wed, 16 Dec 2015 17:28:49 +0100 wenzelm tuned whitespace;
Wed, 16 Dec 2015 16:31:36 +0100 wenzelm rule_attribute and declaration_attribute implicitly support abstract closure, but mixed_attribute implementations need to be aware of Thm.is_free_dummy;
Sun, 13 Dec 2015 21:56:15 +0100 wenzelm more general types Proof.method / context_tactic;
Fri, 13 Nov 2015 14:49:30 +0100 wenzelm more uniform jEdit properties;
Wed, 04 Nov 2015 18:32:47 +0100 wenzelm more antiquotations;
Tue, 20 Oct 2015 23:53:40 +0200 wenzelm isabelle update_cartouches -t;
Sun, 18 Oct 2015 22:57:09 +0200 wenzelm more control symbols;
Fri, 16 Oct 2015 14:53:26 +0200 wenzelm Markdown support in document text;
Wed, 14 Oct 2015 15:10:32 +0200 wenzelm more symbols;
Mon, 12 Oct 2015 20:58:58 +0200 wenzelm more symbols;
less more (0) -15 tip