| Thu, 17 Dec 2020 18:00:27 +0100 | step 4.4: call hierarchy up from Syntax.check_terms, partially | file | diff | annotate |
| Wed, 22 Aug 2018 14:44:15 +0200 | \----- start update Isabelle2017 --> Isabelle2018 | file | diff | annotate |
| Fri, 19 Jan 2018 12:49:17 +0100 | \----- start update Isabelle2015 --> Isabelle2017 | file | diff | annotate |
| Sat, 05 Dec 2015 16:09:41 +0100 | switched from Isabelle2014 to Isabelle2015, intermediate state | file | diff | annotate |
| Mon, 27 Jan 2014 12:16:08 +0100 | tuned; | file | diff | annotate |
| Sun, 26 Jan 2014 13:45:40 +0100 | tuned signature; | file | diff | annotate |
| Sat, 25 Jan 2014 22:06:07 +0100 | explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac; | file | diff | annotate |
| Wed, 22 Jan 2014 16:03:11 +0100 | tuned signature; | file | diff | annotate |
| Wed, 18 Sep 2013 11:36:12 +0200 | more antiquotations; | file | diff | annotate |
| Wed, 18 Sep 2013 11:08:28 +0200 | moved module into plain Isabelle/ML user space; | file | diff | annotate | base |