Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
Isabelle2011-1
4b1545a5
·
merged
·
Oct 10, 2011
Isabelle2012
0b0f248c
·
add probably_innocent
·
May 23, 2012
Isabelle2013
bfe8d4f2
·
Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows
·
Jan 28, 2013
Isabelle2013-1
54a73366
·
no unfolding, which would lead to problems in code generation (rs_set)
·
Oct 23, 2013
Isabelle2013-2
54a73366
·
no unfolding, which would lead to problems in code generation (rs_set)
·
Oct 23, 2013
Isabelle2014
600fb0bf
·
tuned layout; define shows_prec for rat without detour via show_rat
·
Aug 14, 2014
Isabelle2015
c3f0cc60
·
last merge from afp-2014
·
May 28, 2015
Isabelle2016
8927414c
·
Abortable_Linearizable_Modules: changed email in config
·
Feb 13, 2016
Isabelle2016-1
84bcab88
·
tuning
·
Nov 30, 2016
Isabelle2017
5d0678c7
·
updated imports;
·
Sep 28, 2017
Isabelle2018
234a91c2
·
bump version to (anticipated) 2018
·
Jul 24, 2018