December 2015 Archives by thread

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

Starting: Tue Dec 1 17:14:27 CET 2015
Ending: Wed Dec 30 15:25:44 CET 2015
Messages: 26

• [isabelle-dev] MIR decision procedure   Amine Chaieb
  • [isabelle-dev] MIR decision procedure   Lawrence Paulson
• [isabelle-dev] Build problems in AFP   Florian Haftmann
  • [isabelle-dev] Build problems in AFP   Lawrence Paulson
• [isabelle-dev] Update of jdk and jedit components   Dmitriy Traytel
• [isabelle-dev] Robust Windows support   Makarius
  • [isabelle-dev] Robust Windows support   Alfio Martini
• [isabelle-dev] Non-responding Isabelle/jEdit and Monitor panel   Makarius
• [isabelle-dev] NEWS: fundamental PIDE GUI changes   Makarius
• [isabelle-dev] NEWS: State panel   Makarius
  • [isabelle-dev] NEWS: State panel   Makarius
• [isabelle-dev] Towards the Isabelle2016 release   Makarius
  • [isabelle-dev] Towards the Isabelle2016 release   Jasmin Blanchette
  • [isabelle-dev] Towards the Isabelle2016 release   Florian Haftmann
• [isabelle-dev] Example for global interpretation into instantiation [was: Future of permanent_interpretation]   Florian Haftmann
  • [isabelle-dev] Example for global interpretation into instantiation [was: Future of permanent_interpretation]   Clemens Ballarin
    • [isabelle-dev] Example for global interpretation into instantiation [was: Future of permanent_interpretation]   Florian Haftmann
• [isabelle-dev] find_theorems and type class axioms   Florian Haftmann
  • [isabelle-dev] find_theorems and type class axioms   Lawrence Paulson
• [isabelle-dev] Spontaneous disappearance of a fixed variable   Florian Haftmann
• [isabelle-dev] Isabelle_23-Dec-2015   Makarius
  • [isabelle-dev] Isabelle_23-Dec-2015   Florian Haftmann
• [isabelle-dev] NEWS: print mode ASCII vs. xsymbols   Makarius
• [isabelle-dev] Future of isatest/afptest   Lars Hupel
• [isabelle-dev] CoreC++ broken   Makarius
• [isabelle-dev] Lemmas about tranclp and lexn   Mathias Fleury

Last message date: Wed Dec 30 15:25:44 CET 2015
Archived on: Fri Apr 12 08:42:23 CEST 2019

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