Sketis

Search
Skip to content
  • Desert
  • Isabelle
    • Isabelle Workshop 2022
    • Isabelle Workshop 2020
    • Isabelle Workshop 2018
  • Main
  • Impressum

Monthly Archives: March 2020

Isabelle

Release process for Isabelle2020

Mon 02-Mar-2020 Makarius

The Isabelle2020 release is scheduled for Apr-2020 (presumably the week of 15-Apr-2020).

The release process is documented in the continuously updated blog entry Release Candidates for Isabelle2020: it includes downloads and other notes.

Website of Dr. Makarius Wenzel

Recent Posts

  • Isabelle Workshop 2022 at FLoC
  • After Phabricator: We Phorge It!
  • Augsburg.One – Nachhaltige Digitalisierung in Augsburg
  • Dr. Christian Kreiß: Die Jahrhundertrezession – Wie geht es weiter?
  • Mercurial Hosting of Isabelle/AFP on Heptapod

Archives

  • June 2022
  • October 2021
  • November 2020
  • September 2020
  • June 2020
  • March 2020
  • January 2020
  • December 2019
  • November 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • February 2019
  • November 2018
  • October 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • March 2018
  • February 2018
  • December 2017
  • November 2017
  • October 2017
  • August 2017
  • July 2017
  • April 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • July 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014

Categories

  • Admin
  • Coq
  • Global Financial System
  • Isabelle
  • Lean Prover
  • Local
  • Media
  • ML
  • PIDE
  • Proposals
  • Science

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress