Skip to content
GitLab
Explore
Sign in
Register
Admin message
This instance will be upgraded to Heptapod 17.5.1 on 2024-11-14 between 14:30 and 15:30 UTC+2
Tags
Tags give the ability to mark specific points in history as being important
Isabelle2024
protected
361b8b643a1d
·
add Isabelle2024 releases
·
May 26, 2024
Isabelle2023
protected
01bf5fad3e59
·
add 2023 release dates
·
Sep 13, 2023
Isabelle2022
protected
548e384c0445
·
import 2022 release dates
·
Oct 28, 2022
Isabelle2021-1
protected
11f8b03a88ad
·
adjust usage version
·
Dec 14, 2021
Isabelle2018
protected
234a91c26d02
·
bump version to (anticipated) 2018
·
Jul 24, 2018
Isabelle2017
protected
5d0678c77502
·
updated imports;
·
Sep 28, 2017
Isabelle2016-1
protected
84bcab88c95f
·
tuning
·
Nov 30, 2016
Isabelle2016
protected
8927414c8684
·
Abortable_Linearizable_Modules: changed email in config
·
Feb 13, 2016
Isabelle2015
protected
c3f0cc60baf4
·
last merge from afp-2014
·
May 28, 2015
Isabelle2014
protected
600fb0bf56a2
·
tuned layout; define shows_prec for rat without detour via show_rat
·
Aug 14, 2014
Isabelle2013-1
protected
54a733668be9
·
no unfolding, which would lead to problems in code generation (rs_set)
·
Oct 23, 2013
Isabelle2013-2
protected
54a733668be9
·
no unfolding, which would lead to problems in code generation (rs_set)
·
Oct 23, 2013
Isabelle2013
protected
bfe8d4f24e47
·
Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows
·
Jan 28, 2013
Isabelle2012
protected
0b0f248c0775
·
add probably_innocent
·
May 23, 2012
Isabelle2011-1
protected
4b1545a58891
·
merged
·
Oct 10, 2011