descriptionThe Isabelle repository
ownerisabelle
last changeTue, 15 Oct 2019 21:05:35 +0200
changes
19 hours ago wenzelm 2019-10-15 more support for proof terms; clarified signature; default tip
24 hours ago wenzelm 2019-10-15 more support for proof terms;
24 hours ago wenzelm 2019-10-15 support for proof terms;
26 hours ago wenzelm 2019-10-15 clarified proof export;
27 hours ago wenzelm 2019-10-15 set_preproc for object-logics with type classes;
27 hours ago wenzelm 2019-10-15 tuned signature;
27 hours ago wenzelm 2019-10-15 skip (somewhat pointless) shrink_proof more uniformly;
29 hours ago wenzelm 2019-10-15 apply_preproc for all proof boxes;
29 hours ago wenzelm 2019-10-15 cumulative errors for session partitions;
29 hours ago wenzelm 2019-10-15 proper guard for process_theory: ensure uniform precedence of results;
...
tags
4 months ago Isabelle2019
14 months ago Isabelle2018
2017-10-04 Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
...
branches
19 hours ago 84145953b2a5 default
...