January 2021 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jan 1 10:24:27 CET 2021
Ending: Sat Jan 23 19:31:01 CET 2021
Messages: 28

• [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Makarius
  • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Lars Hupel
    • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Makarius
      • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Lars Hupel
      • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Makarius
      • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Makarius
• [isabelle-dev] A proposal for the website   Makarius
• [isabelle-dev] HOL-ex   Makarius
• [isabelle-dev] Java 15 ("zulu")   Makarius
• [isabelle-dev] Isabelle2021 release process   Makarius
  • [isabelle-dev] Isabelle2021 release process   Manuel Eberl
    • [isabelle-dev] Isabelle2021 release process   Makarius
      • [isabelle-dev] Isabelle2021 release process   Manuel Eberl
  • [isabelle-dev] Isabelle2021 release process   Makarius
    • [isabelle-dev] Isabelle2021 release process   Makarius
    • [isabelle-dev] Isabelle2021 release process   Gerwin Klein
• [isabelle-dev] NEWS: Improved GUI look-and-feel   Makarius
  • [isabelle-dev] NEWS: Improved GUI look-and-feel   Makarius
    • [isabelle-dev] NEWS: Improved GUI look-and-feel   Lawrence Paulson
      • [isabelle-dev] NEWS: Improved GUI look-and-feel   Makarius
• [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?   Manuel Eberl
  • [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?   Makarius
    • [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?   Manuel Eberl
      • [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for Linux?   Makarius
• [isabelle-dev] scala-2.13.4   Makarius
• [isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself   Florian Haftmann
  • [isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself   Makarius
• [isabelle-dev] Potential HTML generation bug   MACKENZIE Carlin

Last message date: Sat Jan 23 19:31:01 CET 2021
Archived on: Sat Jan 23 19:31:12 CET 2021

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...