January 2016 Archives by thread

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

Starting: Fri Jan 1 20:24:49 CET 2016
Ending: Sun Jan 31 23:41:25 CET 2016
Messages: 98

• [isabelle-dev] Towards the release   Makarius
  • [isabelle-dev] Towards the release   Lawrence Paulson
    • [isabelle-dev] Towards the release   Makarius
  • [isabelle-dev] Towards the release   Manuel Eberl
    • [isabelle-dev] Towards the release   Manuel Eberl
      • [isabelle-dev] Towards the release   Makarius
      • [isabelle-dev] Towards the release   Manuel Eberl
  • [isabelle-dev] Towards the release   Johannes Hölzl
    • [isabelle-dev] Towards the release   Lawrence Paulson
  • [isabelle-dev] Towards the release   Makarius
    • [isabelle-dev] Towards the release   Makarius
      • [isabelle-dev] Towards the release   Makarius
      • [isabelle-dev] Towards the release   Makarius
  • [isabelle-dev] Towards the release   Makarius
• [isabelle-dev] NEWS: print mode ASCII vs. xsymbols   Makarius
• [isabelle-dev] CoreC++ broken   Andreas Lochbihler
• [isabelle-dev] CONTRIBUTIONS: The central limit theorem is now in Isabelle   Johannes Hölzl
  • [isabelle-dev] CONTRIBUTIONS: The central limit theorem is now in Isabelle   Makarius
• [isabelle-dev] Problem with code generation for non-executable types   Johannes Hölzl
  • [isabelle-dev] Problem with code generation for non-executable types   Johannes Hölzl
    • [isabelle-dev] Problem with code generation for non-executable types   Andreas Lochbihler
      • [isabelle-dev] Problem with code generation for non-executable types   Johannes Hölzl
      • [isabelle-dev] Problem with code generation for non-executable types   Florian Haftmann
      • [isabelle-dev] Problem with code generation for non-executable types   Johannes Hölzl
      • [isabelle-dev] Problem with code generation for non-executable types   Florian Haftmann
      • [isabelle-dev] Problem with code generation for non-executable types   Johannes Hölzl
• [isabelle-dev] Lemmas about tranclp and lexn   Tobias Nipkow
• [isabelle-dev] Line breaks in pretty-printed output   Tobias Nipkow
  • [isabelle-dev] Line breaks in pretty-printed output   Makarius
    • [isabelle-dev] Line breaks in pretty-printed output   Makarius
• [isabelle-dev] State of affairs with simplifier tracing?   Makarius
• [isabelle-dev] NEWS: print_record   Gerwin Klein
• [isabelle-dev] Isabelle2016-RC0: potential changes   Thiemann, Rene
  • [isabelle-dev] Isabelle2016-RC0: potential changes   Manuel Eberl
    • [isabelle-dev] Isabelle2016-RC0: potential changes   Thiemann, Rene
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Manuel Eberl
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Thiemann, Rene
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Manuel Eberl
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Thiemann, Rene
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Manuel Eberl
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Makarius
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Florian Haftmann
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Thiemann, Rene
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Florian Haftmann
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Makarius
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Thiemann, Rene
      • [isabelle-dev] Isabelle2016-RC0: potential changes   Makarius
• [isabelle-dev] HOL-Codegenerator_Test error   Lawrence Paulson
  • [isabelle-dev] HOL-Codegenerator_Test error   Manuel Eberl
    • [isabelle-dev] HOL-Codegenerator_Test error   Makarius
      • [isabelle-dev] HOL-Codegenerator_Test error   Lars Hupel
    • [isabelle-dev] HOL-Codegenerator_Test error   Manuel Eberl
      • [isabelle-dev] HOL-Codegenerator_Test error   Andreas Lochbihler
      • [isabelle-dev] HOL-Codegenerator_Test error   Lars Hupel
      • [isabelle-dev] HOL-Codegenerator_Test error   Manuel Eberl
      • [isabelle-dev] HOL-Codegenerator_Test error   Lawrence Paulson
      • [isabelle-dev] HOL-Codegenerator_Test error   Makarius
      • [isabelle-dev] HOL-Codegenerator_Test error   Manuel Eberl
      • [isabelle-dev] HOL-Codegenerator_Test error   Makarius
      • [isabelle-dev] HOL-Codegenerator_Test error   Florian Haftmann
• [isabelle-dev] Impossible_Geometry   Lawrence Paulson
  • [isabelle-dev] Impossible_Geometry   Johannes Hölzl
• [isabelle-dev] AFP status   Makarius
  • [isabelle-dev] AFP status   Andreas Lochbihler
    • [isabelle-dev] AFP status   Manuel Eberl
• [isabelle-dev] NEWS: better resource usage on all platforms   Makarius
• [isabelle-dev] next release   Lawrence Paulson
  • [isabelle-dev] next release   Thomas Sewell
    • [isabelle-dev] Localized record package [was: next release]   Florian Haftmann
      • [isabelle-dev] Localized record package [was: next release]   Makarius
      • [isabelle-dev] Localized record package [was: next release]   Thomas Sewell
      • [isabelle-dev] Localized record package [was: next release]   Makarius
    • [isabelle-dev] next release   Makarius
      • [isabelle-dev] next release   Thomas Sewell
• [isabelle-dev] Multicore timings   Makarius
  • [isabelle-dev] Multicore timings   Gerwin Klein
  • [isabelle-dev] Multicore timings   Lawrence Paulson
    • [isabelle-dev] Multicore timings   Makarius
• [isabelle-dev] Regression in Approximation – Does this belong into NEWS?   Manuel Eberl
  • [isabelle-dev] Regression in Approximation – Does this belong into NEWS?   Makarius
• [isabelle-dev] Update of jdk and jedit components   Makarius
• [isabelle-dev] jdk-8u72   Makarius
• [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
  • [isabelle-dev] Maintenance work on Jenkins VM   Dmitriy Traytel
    • [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
  • [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
    • [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
      • [isabelle-dev] Maintenance work on Jenkins VM   Lars Hupel
• [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
  • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Makarius
    • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lawrence Paulson
    • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
      • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
      • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Makarius
      • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Lars Hupel
      • [isabelle-dev] Grouping ISABELLE_FULL_TEST?   Makarius
• [isabelle-dev] Mail on build failures   Lars Hupel
  • [isabelle-dev] Mail on build failures   Gerwin Klein

Last message date: Sun Jan 31 23:41:25 CET 2016
Archived on: Fri Apr 12 08:42:23 CEST 2019

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