April 2018 Archives by thread

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

Starting: Mon Apr 16 06:52:21 CEST 2018
Ending: Wed Apr 25 18:48:40 CEST 2018
Messages: 8

• [isabelle-dev] reflect_poly   Akihisa Yamada
  • [isabelle-dev] reflect_poly   Manuel Eberl
    • [isabelle-dev] reflect_poly   Akihisa Yamada
• [isabelle-dev] NEWS: jedit-5.5.0   Makarius
• [isabelle-dev] jdk-8u172   Makarius
• [isabelle-dev] Beyond Java 8: 10.0.1 (current) and 11 LTS (Sep-2018)   Makarius
• [isabelle-dev] Bad session structure: may cause problems with theory imports   Lawrence Paulson
  • [isabelle-dev] Bad session structure: may cause problems with theory imports   Florian Haftmann

Last message date: Wed Apr 25 18:48:40 CEST 2018
Archived on: Fri Apr 12 08:42:26 CEST 2019

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