November 2015 Archives by date

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