September 2020 Archives by author

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

Starting: Thu Sep 17 14:40:30 CEST 2020
Ending: Mon Sep 28 13:01:34 CEST 2020
Messages: 7

• [isabelle-dev] Plan for Isabelle2021 release   Jasmin Blanchette
• [isabelle-dev] Bits and Words – Current matter of affairs   Florian Haftmann
• [isabelle-dev] NEWS: Nitpick/Kodkod may be invoked in the running Isabelle/Scala session   Makarius
• [isabelle-dev] Plan for Isabelle2021 release   Makarius
• [isabelle-dev] NEWS: Document preparation engine updates   Makarius
• [isabelle-dev] NEWS: Document preparation engine updates   Makarius
• [isabelle-dev] Plan for Isabelle2021 release   Lawrence Paulson

Last message date: Mon Sep 28 13:01:34 CEST 2020
Archived on: Mon Sep 28 13:01:42 CEST 2020

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