Tags

Tags give the ability to mark specific points in history as being important
  • 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