August 2015 Archives by date

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

Starting: Tue Aug 4 21:38:34 CEST 2015
Ending: Thu Aug 27 12:11:56 CEST 2015
Messages: 25

• [isabelle-dev] Deprecating legacy ASCII symbols?   Makarius
• [isabelle-dev] »real« considered harmful   Florian Haftmann
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] "The following files are required to resolve theory imports"   Larry Paulson
• [isabelle-dev] "The following files are required to resolve theory imports"   Makarius
• [isabelle-dev] testboard   Larry Paulson
• [isabelle-dev] testboard   Makarius
• [isabelle-dev] NEWS: Poly/ML 5.5.3 runs natively on x86-windows   Makarius
• [isabelle-dev] NEWS: IDE support for the source-level debugger of Poly/ML   Makarius
• [isabelle-dev] testboard   Dmitriy Traytel
• [isabelle-dev] NEWS: updated to jdk-8u60, with support for x86_64-windows   Makarius
• [isabelle-dev] status (AFP)   Larry Paulson
• [isabelle-dev] status (AFP)   Gerwin Klein
• [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Rafal Kolanski
• [isabelle-dev] simps_of_case and function types   Lars Noschinski
• [isabelle-dev] simps_of_case and function types   Lars Noschinski
• [isabelle-dev] simps_of_case and function types   Lars Hupel
• [isabelle-dev] "The following files are required to resolve theory imports"   Makarius
• [isabelle-dev] NEWS: IDE support for the source-level debugger of Poly/ML   Florian Haftmann
• [isabelle-dev] State of affairs with simplifier tracing?   Florian Haftmann
• [isabelle-dev] Let and tuple case expressions   Florian Haftmann
• [isabelle-dev] Let and tuple case expressions   Dmitriy Traytel
• [isabelle-dev] NEWS: IDE support for the source-level debugger of Poly/ML   Makarius
• [isabelle-dev] NEWS: IDE support for the source-level debugger of Poly/ML   Florian Haftmann
• [isabelle-dev] Let and tuple case expressions   Florian Haftmann

Last message date: Thu Aug 27 12:11:56 CEST 2015
Archived on: Fri Apr 12 08:42:22 CEST 2019

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