November 2015 Archives by thread

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

Starting: Mon Nov 2 17:55:34 CET 2015
Ending: Mon Nov 30 15:40:47 CET 2015
Messages: 119

• [isabelle-dev] real v of_nat   Lawrence Paulson
• [isabelle-dev] Update of jdk and jedit components   Mathias Fleury
  • [isabelle-dev] Update of jdk and jedit components   Makarius
    • [isabelle-dev] Update of jdk and jedit components   Mathias Fleury
    • [isabelle-dev] Update of jdk and jedit components   Makarius
• [isabelle-dev] Towards the Isabelle release   Makarius
• [isabelle-dev] Changes to the locale syntax   Clemens Ballarin
  • [isabelle-dev] Changes to the locale syntax   Makarius
• [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Clemens Ballarin
  • [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Makarius
    • [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Makarius
      • [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Makarius
      • [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Clemens Ballarin
  • [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Florian Haftmann
• [isabelle-dev] Future of permanent_interpretation   Clemens Ballarin
  • [isabelle-dev] Future of permanent_interpretation   Makarius
    • [isabelle-dev] Future of permanent_interpretation   Clemens Ballarin
    • [isabelle-dev] Future of permanent_interpretation   Florian Haftmann
      • [isabelle-dev] Future of permanent_interpretation   Florian Haftmann
      • [isabelle-dev] Future of permanent_interpretation   Clemens Ballarin
      • [isabelle-dev] Future of permanent_interpretation   Florian Haftmann
• [isabelle-dev] code abbreviation for mapping over a fixed range   Bertram Felgenhauer
  • [isabelle-dev] code abbreviation for mapping over a fixed range   Florian Haftmann
    • [isabelle-dev] code abbreviation for mapping over a fixed range   Jose Divasón
      • [isabelle-dev] code abbreviation for mapping over a fixed range   Florian Haftmann
• [isabelle-dev] NEWS: timeout_scale   Makarius
• [isabelle-dev] NEWS: completion of explicit symbols   Makarius
• [isabelle-dev] NEWS: undefined ML expression   Makarius
• [isabelle-dev] Repository version of Isabelle on Windows 7   Anders Schlichtkrull
  • [isabelle-dev] Repository version of Isabelle on Windows 7   Makarius
    • [isabelle-dev] Repository version of Isabelle on Windows 7   Anders Schlichtkrull
• [isabelle-dev] NEWS: State panel   Makarius
  • [isabelle-dev] NEWS: State panel   Mathias Fleury
  • [isabelle-dev] NEWS: State panel   Gerwin Klein
    • [isabelle-dev] NEWS: State panel   Tobias Nipkow
  • [isabelle-dev] NEWS: State panel   Fabian Immler
  • [isabelle-dev] Non-responding Isabelle/jEdit and Monitor panel   Fabian Immler
    • [isabelle-dev] Non-responding Isabelle/jEdit and Monitor panel   Makarius
• [isabelle-dev] Isabelle/jEdit - Sidekick   Mathias Fleury
  • [isabelle-dev] Isabelle/jEdit - Sidekick   Makarius
• [isabelle-dev] Jenkins testboard   Lars Hupel
• [isabelle-dev] the function "real"   Lawrence Paulson
  • [isabelle-dev] the function "real"   Manuel Eberl
    • [isabelle-dev] the function "real"   Lawrence Paulson
      • [isabelle-dev] the function "real"   Johannes Hölzl
      • [isabelle-dev] the function "real"   Lawrence Paulson
      • [isabelle-dev] the function "real"   Johannes Hölzl
      • [isabelle-dev] the function "real"   Johannes Hölzl
      • [isabelle-dev] the function "real"   Manuel Eberl
      • [isabelle-dev] the function "real"   Lawrence Paulson
      • [isabelle-dev] the function "real"   Tobias Nipkow
      • [isabelle-dev] the function "real"   Lawrence Paulson
      • [isabelle-dev] the function "real"   Tobias Nipkow
      • [isabelle-dev] the function "real"   Florian Haftmann
      • [isabelle-dev] the function "real"   Lawrence Paulson
      • [isabelle-dev] the function "real"   Lars Noschinski
      • [isabelle-dev] the function "real"   Lars Noschinski
      • [isabelle-dev] the function "real"   Fabian Immler
      • [isabelle-dev] the function "real"   Fabian Immler
• [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Japheth Lim
  • [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Lars Hupel
    • [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Japheth Lim
  • [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Makarius
  • [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Rafal Kolanski
    • [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Makarius
      • [isabelle-dev] Proposal to use hierarchical heaps with Poly/ML   Rafal Kolanski
• [isabelle-dev] MIR decision procedure   Lawrence Paulson
  • [isabelle-dev] MIR decision procedure   Tobias Nipkow
    • [isabelle-dev] MIR decision procedure   Lawrence Paulson
• [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Florian Haftmann
  • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Andreas Lochbihler
    • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Johannes Hölzl
      • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Florian Haftmann
      • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Lars Hupel
      • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Lawrence Paulson
  • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Peter Gammie
    • [isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves   Florian Haftmann
• [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Peter Gammie
  • [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Peter Gammie
  • [isabelle-dev] Fwd: minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Lawrence Paulson
    • [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Jasmin Blanchette
      • [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Florian Haftmann
      • [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Peter Lammich
      • [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Lawrence Paulson
      • [isabelle-dev] minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Makarius
    • [isabelle-dev] Fwd: minor generalisation to Imperative_HOL/ex/Imperative_Quicksort, rename Imperative_HOL/ex/Sublist to List_Sublist   Peter Lammich
• [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Makarius
  • [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Rafal Kolanski
• [isabelle-dev] CGSCreateKeyboardEvent   Makarius
  • [isabelle-dev] CGSCreateKeyboardEvent   Lawrence Paulson
• [isabelle-dev] find_theorems and type class axioms   Lawrence Paulson
  • [isabelle-dev] find_theorems and type class axioms   Florian Haftmann
    • [isabelle-dev] find_theorems and type class axioms   Andreas Lochbihler
      • [isabelle-dev] find_theorems and type class axioms   Lawrence Paulson
      • [isabelle-dev] find_theorems and type class axioms   Manuel Eberl
      • [isabelle-dev] find_theorems and type class axioms   Gerwin Klein
      • [isabelle-dev] find_theorems and type class axioms   Florian Haftmann
      • [isabelle-dev] find_theorems and type class axioms   Lawrence Paulson
      • [isabelle-dev] find_theorems and type class axioms   Andreas Lochbihler
      • [isabelle-dev] find_theorems and type class axioms   Johannes Hölzl
      • [isabelle-dev] find_theorems and type class axioms   Lawrence Paulson
• [isabelle-dev] extra lemmas   Peter Gammie
  • [isabelle-dev] extra lemmas   Lawrence Paulson
• [isabelle-dev] test failed (Archive of Formal Proofs)   Peter Gammie
  • [isabelle-dev] test failed (Archive of Formal Proofs)   Lars Hupel
    • [isabelle-dev] test failed (Archive of Formal Proofs)   Peter Gammie
• [isabelle-dev] popup in ce6320b9ef9b   Tobias Nipkow
  • [isabelle-dev] popup in ce6320b9ef9b   Florian Haftmann
    • [isabelle-dev] popup in ce6320b9ef9b   Lars Hupel
      • [isabelle-dev] popup in ce6320b9ef9b   Florian Haftmann
• [isabelle-dev] Future of isatest/afptest   Lars Hupel
  • [isabelle-dev] Future of isatest/afptest   Peter Gammie
    • [isabelle-dev] Future of isatest/afptest   Lars Hupel
• [isabelle-dev] Immediate completion does not work anymore   Manuel Eberl
  • [isabelle-dev] Immediate completion does not work anymore   Makarius
    • [isabelle-dev] Immediate completion does not work anymore   Manuel Eberl
• [isabelle-dev] Infinite_Set.thy   Lawrence Paulson
  • [isabelle-dev] Infinite_Set.thy   Tobias Nipkow
    • [isabelle-dev] Infinite_Set.thy   Lawrence Paulson

Last message date: Mon Nov 30 15:40:47 CET 2015
Archived on: Fri Apr 12 08:42:22 CEST 2019

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