April 2016 Archives by date

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

Starting: Sat Apr 2 00:23:25 CEST 2016
Ending: Thu Apr 28 14:50:17 CEST 2016
Messages: 42

• [isabelle-dev] NEWS: mixfix annotations and Unicode   Makarius
• [isabelle-dev] src/Doc/Corec fails   Makarius
• [isabelle-dev] NEWS: mixfix annotations and Unicode   Makarius
• [isabelle-dev] src/Doc/Corec fails   Jasmin Blanchette
• [isabelle-dev] src/Doc/Corec fails   Makarius
• [isabelle-dev] structure PolyML sealed after bootstrap   Makarius
• [isabelle-dev] pretty-printing of DIM('a)   Lawrence Paulson
• [isabelle-dev] NEWS: ISABELLE_TOOL_JAVA_OPTIONS   Makarius
• [isabelle-dev] NEWS: 'corec' command   Jasmin Blanchette
• [isabelle-dev] Failures in HOL-Codegenerator_Test   Lars Hupel
• [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap   Makarius
• [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap   Makarius
• [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap   Makarius
• [isabelle-dev] Preferred syntax for big GCD?   Makarius
• [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit   Lars Hupel
• [isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML   Lawrence Paulson
• [isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML   Lawrence Paulson
• [isabelle-dev] NEWS: type-inference for object-logic   Makarius
• [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit   Makarius
• [isabelle-dev] NEWS: type-inference for object-logic   Peter Lammich
• [isabelle-dev] NEWS: type-inference for object-logic   Makarius
• [isabelle-dev] Fwd: [isabelle] TERM exception in fologic.ML   Makarius
• [isabelle-dev] java.lang.ExceptionInInitializerError when starting Isabelle/jEdit   Lars Hupel
• [isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)   Makarius
• [isabelle-dev] NEWS: HOL-Probability -- type of emeasure and nn_integral was changed from ereal to ennreal   Johannes Hölzl
• [isabelle-dev] NEWS: HOL-Probability -- type of emeasure and nn_integral was changed from ereal to ennreal   Johannes Hölzl
• [isabelle-dev] Build NEWS   Lars Hupel
• [isabelle-dev] Build NEWS   Makarius
• [isabelle-dev] Build NEWS   Lars Hupel
• [isabelle-dev] NEWS: Highlighting of entity def/ref positions   Makarius
• [isabelle-dev] NEWS: Highlighting of entity def/ref positions   Dmitriy Traytel
• [isabelle-dev] NEWS: Highlighting of entity def/ref positions   Makarius
• [isabelle-dev] Build NEWS   Lars Hupel
• [isabelle-dev] NEWS: IDE support for Isabelle/Pure bootstrap   Makarius
• [isabelle-dev] Preferred syntax for big GCD?   Florian Haftmann
• [isabelle-dev] Remaining uses of isatest/afptest   Lars Hupel
• [isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)   Jasmin Blanchette
• [isabelle-dev] PIDE reports on mixfix annotations (notably for datatype)   Jasmin Blanchette
• [isabelle-dev] NEWS: Highlighting of entity def/ref positions   Jasmin Blanchette
• [isabelle-dev] NEWS: command 'define'   Makarius
• [isabelle-dev] Remaining uses of isatest/afptest   Lars Hupel
• [isabelle-dev] Remaining uses of isatest/afptest   Makarius

Last message date: Thu Apr 28 14:50:17 CEST 2016
Archived on: Fri Apr 12 08:42:23 CEST 2019

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