Tags

Tags give the ability to mark specific points in history as being important
  • Isabelle2025-1

    b14e648fb192 · merge · Dec 20, 2025
  • Isabelle2025

    a2bb217528d3 · merge from afp-2025 · Mar 18, 2025
  • Isabelle2024

    361b8b643a1d · add Isabelle2024 releases · May 26, 2024
  • Isabelle2023

    01bf5fad3e59 · add 2023 release dates · Sep 13, 2023
  • Isabelle2022

    548e384c0445 · import 2022 release dates · Oct 28, 2022
  • Isabelle2021-1

    11f8b03a88ad · adjust usage version · Dec 14, 2021
  • Isabelle2018

    234a91c26d02 · bump version to (anticipated) 2018 · Jul 24, 2018
  • Isabelle2017

    5d0678c77502 · updated imports; · Sep 28, 2017
  • Isabelle2016-1

    84bcab88c95f · tuning · Nov 30, 2016
  • Isabelle2016

    8927414c8684 · Abortable_Linearizable_Modules: changed email in config · Feb 13, 2016
  • Isabelle2015

    c3f0cc60baf4 · last merge from afp-2014 · May 28, 2015
  • Isabelle2014

    600fb0bf56a2 · tuned layout; define shows_prec for rat without detour via show_rat · Aug 14, 2014
  • Isabelle2013-1

    54a733668be9 · no unfolding, which would lead to problems in code generation (rs_set) · Oct 23, 2013
  • Isabelle2013-2

    54a733668be9 · no unfolding, which would lead to problems in code generation (rs_set) · Oct 23, 2013
  • Isabelle2013

    bfe8d4f24e47 · Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows · Jan 28, 2013
  • Isabelle2012

    0b0f248c0775 · add probably_innocent · May 23, 2012
  • Isabelle2011-1

    4b1545a58891 · merged · Oct 10, 2011