Skip to content

Sketis

Search
  • Desert
  • Isabelle
    • Isabelle Workshop 2024
    • Isabelle Workshop 2022
    • Isabelle Workshop 2020
    • Isabelle Workshop 2018
  • Main
  • Impressum
Isabelle, Science

UITP 2014 proceedings with Isabelle/jEdit paper

Sat 15-Nov-2014 Makarius

On 29-Oct-2014, EPTCS has published the proceedings of UITP 2014, which was a workshop at VSL 2014, Vienna, July 2014. The volume includes my contribution System description: Isabelle/jEdit in 2014. The paper has been updated to the current official release Isabelle2014 (August 2014).

Post navigation

Previous PostUpdate of website, with included blogNext PostDiscontinuation of Isabelle Proof General

Website of Dr. Makarius Wenzel

Recent Posts

  • Isabelle Workshop 2024 at ITP
  • Isabelle development self-hosted on Phorge
  • Isabelle as System Platform for the Archive of Formal Proofs (AFP)
  • Isabelle Workshop 2022 at FLoC
  • After Phabricator: We Phorge It!

Archives

  • September 2024
  • August 2024
  • October 2023
  • 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
  • Scala
  • Science

Meta

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