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