February 2019 Archives by thread

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

Starting: Fri Feb 1 11:58:52 CET 2019
Ending: Thu Feb 28 11:55:20 CET 2019
Messages: 67

• [isabelle-dev] NEWS: generated code as proper theory export   Peter Lammich
  • [isabelle-dev] NEWS: generated code as proper theory export   Lars Hupel
    • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
      • [isabelle-dev] NEWS: generated code as proper theory export   Lars Hupel
      • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
      • [isabelle-dev] NEWS: generated code as proper theory export   Lars Hupel
      • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
      • [isabelle-dev] NEWS: generated code as proper theory export   Lars Hupel
      • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
      • [isabelle-dev] NEWS: generated code as proper theory export   Salomon Sickert
      • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
      • [isabelle-dev] NEWS: generated code as proper theory export   Salomon Sickert
      • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
      • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
  • [isabelle-dev] NEWS: generated code as proper theory export   Florian Haftmann
    • [isabelle-dev] NEWS: generated code as proper theory export   Makarius
• [isabelle-dev] NEWS: File Browser and Virtual File-systems for Isabelle resources   Makarius
• [isabelle-dev] polyml-test-b68438d33c69   Makarius
• [isabelle-dev] Analysis not building   Lawrence Paulson
  • [isabelle-dev] Analysis not building   Florian Haftmann
    • [isabelle-dev] Analysis not building   Lawrence Paulson
      • [isabelle-dev] Analysis not building   Makarius
      • [isabelle-dev] Analysis not building   Makarius
      • [isabelle-dev] Analysis not building   Lawrence Paulson
      • [isabelle-dev] Analysis not building   Makarius
    • [isabelle-dev] Analysis not building   Bertram Felgenhauer
• [isabelle-dev] Timeouts in Flyspeck_Tame   Lars Hupel
  • [isabelle-dev] Timeouts in Flyspeck_Tame   Makarius
    • [isabelle-dev] Timeouts in Flyspeck_Tame   Makarius
      • [isabelle-dev] Timeouts in Flyspeck_Tame   Florian Haftmann
      • [isabelle-dev] Timeouts in Flyspeck_Tame   Makarius
      • [isabelle-dev] Timeouts in Flyspeck_Tame   Florian Haftmann
      • [isabelle-dev] Timeouts in Flyspeck_Tame   Makarius
      • [isabelle-dev] Timeouts in Flyspeck_Tame   Florian Haftmann
      • [isabelle-dev] Timeouts in Flyspeck_Tame   Makarius
• [isabelle-dev] Uniform Isabelle repository clones via https://isabelle.sketis.net/repos   Makarius
• [isabelle-dev] Exponentiation by squaring   Manuel Eberl
  • [isabelle-dev] Exponentiation by squaring   Thiemann, René
• [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Peter Lammich
  • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
    • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
    • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
  • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Christian Sternagel
    • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
      • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Christian Sternagel
      • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Peter Lammich
      • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
      • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
      • [isabelle-dev] Isabelle DejaVu against old Isabelle Text font   Makarius
• [isabelle-dev] polyml-test-8fda4fd22441 available for testing   Makarius
• [isabelle-dev] Towards Poly/ML 5.8   Makarius
  • [isabelle-dev] Towards Poly/ML 5.8   Lars Hupel
    • [isabelle-dev] Towards Poly/ML 5.8   Makarius
• [isabelle-dev] Specification packages in Isabelle/HOL, particularly primrec   Florian Haftmann
• [isabelle-dev] Wrong position information in 3bfa28b3a5b2   Manuel Eberl
  • [isabelle-dev] Wrong position information in 3bfa28b3a5b2   Makarius
    • [isabelle-dev] Wrong position information in 3bfa28b3a5b2   Makarius
• [isabelle-dev] infix line breaking   Lawrence Paulson
  • [isabelle-dev] infix line breaking   Tobias Nipkow
    • [isabelle-dev] infix line breaking   Lawrence Paulson
  • [isabelle-dev] infix line breaking   Makarius
  • [isabelle-dev] infix line breaking   Manuel Eberl
    • [isabelle-dev] infix line breaking   Lawrence Paulson
      • [isabelle-dev] infix line breaking   Makarius
      • [isabelle-dev] infix line breaking   Lawrence Paulson
• [isabelle-dev] Creating Theorems in ML   Achermann Reto
  • [isabelle-dev] Creating Theorems in ML   Makarius

Last message date: Thu Feb 28 11:55:20 CET 2019
Archived on: Fri Apr 12 08:42:27 CEST 2019

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