June 2020 Archives by thread

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

Starting: Mon Jun 1 02:54:51 CEST 2020
Ending: Mon Jun 29 10:37:06 CEST 2020
Messages: 25

• [isabelle-dev] HOL-ex   Klein, Gerwin (Data61, Kensington NSW)
  • [isabelle-dev] HOL-ex   Klein, Gerwin (Data61, Kensington NSW)
  • [isabelle-dev] HOL-ex   Lawrence Paulson
    • [isabelle-dev] HOL-ex   Makarius
      • [isabelle-dev] HOL-ex   Tobias Nipkow
      • [isabelle-dev] HOL-ex   Lawrence Paulson
      • [isabelle-dev] HOL-ex   Makarius
      • [isabelle-dev] HOL-ex   Lawrence Paulson
      • [isabelle-dev] HOL-ex   Tobias Nipkow
      • [isabelle-dev] HOL-ex   Makarius
      • [isabelle-dev] HOL-ex   Makarius
  • [isabelle-dev] HOL-ex   Florian Haftmann
    • [isabelle-dev] HOL-ex   Lawrence Paulson
    • [isabelle-dev] HOL-ex   Makarius
  • [isabelle-dev] HOL-ex   Makarius
    • [isabelle-dev] HOL-ex   Tobias Nipkow
    • [isabelle-dev] HOL-ex   Klein, Gerwin (Data61, Kensington NSW)
• [isabelle-dev] NEWS: Update of Isabelle/jEdit to jedit-5.6pre1   Makarius
• [isabelle-dev] NEWS: system option pide_session is enabled by default   Makarius
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP   Florian Haftmann
  • [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP   Makarius
    • [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP   Makarius
• [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10   Florian Haftmann
  • [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10   Manuel Eberl
    • [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10   Lawrence Paulson

Last message date: Mon Jun 29 10:37:06 CEST 2020
Archived on: Mon Jun 29 10:37:11 CEST 2020

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