October 2012 Archives by date

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

Starting: Mon Oct 1 09:38:44 CEST 2012
Ending: Wed Oct 31 20:43:42 CET 2012
Messages: 151

• [isabelle-dev] failing tests   Gerwin Klein
• [isabelle-dev] failing tests   Makarius
• [isabelle-dev] Mira settings   Makarius
• [isabelle-dev] failing tests   Makarius
• [isabelle-dev] Unification of doc sessions vs. doc names   Makarius
• [isabelle-dev] Variations on show_types/show_sorts   Makarius
• [isabelle-dev] jedit Replace & Find   Tobias Nipkow
• [isabelle-dev] jedit Replace & Find   Makarius
• [isabelle-dev] jedit Replace & Find   Tobias Nipkow
• [isabelle-dev] exception XML_BODY with Simpl in recent jEdit   Lars Noschinski
• [isabelle-dev] exception XML_BODY with Simpl in recent jEdit   Makarius
• [isabelle-dev] exception XML_BODY with Simpl in recent jEdit   Makarius
• [isabelle-dev] status (AFP)   Gerwin Klein
• [isabelle-dev] isatest ~/.ssh/known_hosts   Gerwin Klein
• [isabelle-dev] status (AFP)   Makarius
• [isabelle-dev] status (AFP)   Florian Haftmann
• [isabelle-dev] typedef (open) legacy   Christian Urban
• [isabelle-dev] NEWS: show_markup   Makarius
• [isabelle-dev] typedef (open) legacy   Makarius
• [isabelle-dev] Locale interpretation with mixins   Florian Haftmann
• [isabelle-dev] An note on code generator bookkeeping and the code generator preprocessor [was: Locale interpretation with mixins]   Florian Haftmann
• [isabelle-dev] Missing Isabelle component   Lawrence Paulson
• [isabelle-dev] Missing Isabelle component   Tobias Nipkow
• [isabelle-dev] typedef (open) legacy   Brian Huffman
• [isabelle-dev] typedef (open) legacy   Florian Haftmann
• [isabelle-dev] typedef (open) legacy   Christian Urban
• [isabelle-dev] Isabelle/jEdit output panel   Christian Sternagel
• [isabelle-dev] typedef (open) legacy   Makarius
• [isabelle-dev] typedef (open) legacy   Makarius
• [isabelle-dev] strange behaviour with Z3 and smt method   Lukas Bulwahn
• [isabelle-dev] strange behaviour with Z3 and smt method   Jasmin Christian Blanchette
• [isabelle-dev] An note on code generator bookkeeping and the code generator preprocessor [was: Locale interpretation with mixins]   Makarius
• [isabelle-dev] jedit Replace & Find   Makarius
• [isabelle-dev] Isabelle/jEdit output panel   Makarius
• [isabelle-dev] Isabelle/jEdit output panel   Makarius
• [isabelle-dev] Finite_Set.filter clone of Set.project   Florian Haftmann
• [isabelle-dev] Editing HOL theories interactively   Florian Haftmann
• [isabelle-dev] Shadowing of theorem names in locales   Florian Haftmann
• [isabelle-dev] Shadowing of theorem names in locales   Peter Lammich
• [isabelle-dev] Shadowing of theorem names in locales   Lars Noschinski
• [isabelle-dev] Shadowing of theorem names in locales   Johannes Hölzl
• [isabelle-dev] typedef (open) legacy   Brian Huffman
• [isabelle-dev] Shadowing of theorem names in locales   Clemens Ballarin
• [isabelle-dev] typedef (open) legacy   Makarius
• [isabelle-dev] Releasing the Z3 source code   Lawrence Paulson
• [isabelle-dev] Shadowing of theorem names in locales   Makarius
• [isabelle-dev] Releasing the Z3 source code   Jasmin Christian Blanchette
• [isabelle-dev] Finite_Set.filter clone of Set.project   Ondřej Kunčar
• [isabelle-dev] typedef (open) legacy   Lukas Bulwahn
• [isabelle-dev] Testboard [was: typedef (open) legacy]   Florian Haftmann
• [isabelle-dev] Testboard [was: typedef (open) legacy]   Lukas Bulwahn
• [isabelle-dev] AFP entry Grith_Chromatic fails with "THM 0"   Johannes Hölzl
• [isabelle-dev] Shadowing of theorem names in locales   Makarius
• [isabelle-dev] Shadowing of theorem names in locales   Makarius
• [isabelle-dev] Shadowing of theorem names in locales   Makarius
• [isabelle-dev] AFP entry Grith_Chromatic fails with "THM 0"   Makarius
• [isabelle-dev] superfluous [?]   Ondřej Kunčar
• [isabelle-dev] superfluous [?]   Makarius
• [isabelle-dev] AFP entry Grith_Chromatic fails with "THM 0"   Lukas Bulwahn
• [isabelle-dev] superfluous [?]   Peter Lammich
• [isabelle-dev] superfluous [?]   Makarius
• [isabelle-dev] Isabelle/jEdit output panel   Christian Sternagel
• [isabelle-dev] Isabelle/jEdit output panel   Walther Neuper
• [isabelle-dev] Graphview   Florian Haftmann
• [isabelle-dev] An note on code generator bookkeeping and the code generator preprocessor [was: Locale interpretation with mixins]   Florian Haftmann
• [isabelle-dev] Hooks for postprocessing sessions!?   Florian Haftmann
• [isabelle-dev] Shadowing of theorem names in locales   Johannes Hölzl
• [isabelle-dev] Hooks for postprocessing sessions!?   Lukas Bulwahn
• [isabelle-dev] Graphview   Lukas Bulwahn
• [isabelle-dev] Isabelle/jEdit output panel   Makarius
• [isabelle-dev] Graphview   Makarius
• [isabelle-dev] Hooks for postprocessing sessions!?   Makarius
• [isabelle-dev] Graphview   Florian Haftmann
• [isabelle-dev] Hooks for postprocessing sessions!?   Lars Noschinski
• [isabelle-dev] Graphview   Makarius
• [isabelle-dev] Hooks for postprocessing sessions!?   Makarius
• [isabelle-dev] Editing HOL theories interactively   Lukas Bulwahn
• [isabelle-dev] NEWS: simplified typedef   Makarius
• [isabelle-dev] Auxiliary contexts again   Makarius
• [isabelle-dev] Folding in jEdit   Lars Noschinski
• [isabelle-dev] Auxiliary contexts again   Christian Sternagel
• [isabelle-dev] Auxiliary contexts again   Andreas Lochbihler
• [isabelle-dev] Folding in jEdit   Makarius
• [isabelle-dev] Auxiliary contexts again   Makarius
• [isabelle-dev] HOL/Rings.thy: {left,right}_distrib   Tjark Weber
• [isabelle-dev] HOL/Rings.thy: {left,right}_distrib   Jasmin Christian Blanchette
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Dmitriy Traytel
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Lukas Bulwahn
• [isabelle-dev] HOL/Rings.thy: {left,right}_distrib   Brian Huffman
• [isabelle-dev] HOL/Rings.thy: {left,right}_distrib   Florian Haftmann
• [isabelle-dev] HOL/Rings.thy: {left,right}_distrib   Tobias Nipkow
• [isabelle-dev] Is theorem Pair_inject in Product_Type still considered legacy or duplicate?   Lukas Bulwahn
• [isabelle-dev] the testboard is working unstable   Lukas Bulwahn
• [isabelle-dev] Is theorem Pair_inject in Product_Type still considered legacy or duplicate?   Jasmin Christian Blanchette
• [isabelle-dev] Is theorem Pair_inject in Product_Type still considered legacy or duplicate?   Florian Haftmann
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Makarius
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Peter Lammich
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Makarius
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Makarius
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Tobias Nipkow
• [isabelle-dev] 0::'a   Tobias Nipkow
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Lukas Bulwahn
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Andreas Lochbihler
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Florian Haftmann
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Makarius
• [isabelle-dev] isatest stability   Makarius
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Lukas Bulwahn
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Makarius
• [isabelle-dev] NEWS: more informative errors in lazy enumerations   Makarius
• [isabelle-dev] Isabelle cs. 70300f1b6835   Florian Haftmann
• [isabelle-dev] Isabelle cs. 70300f1b6835   Ondřej Kunčar
• [isabelle-dev] Isabelle cs. 70300f1b6835   Florian Haftmann
• [isabelle-dev] Testing AFP at TUM [was: Isabelle cs. 70300f1b6835]   Florian Haftmann
• [isabelle-dev] HOL/Rings.thy: {left,right}_distrib   Tjark Weber
• [isabelle-dev] the testboard is working unstable   Lukas Bulwahn
• [isabelle-dev] Testing AFP at TUM [was: Isabelle cs. 70300f1b6835]   Gerwin Klein
• [isabelle-dev] HOL-Proofs slow   Makarius
• [isabelle-dev] "set_comprehension_pointfree" simproc losing bounds   Lukas Bulwahn
• [isabelle-dev] Testing AFP at TUM [was: Isabelle cs. 70300f1b6835]   Makarius
• [isabelle-dev] HOL-Proofs slow   Makarius
• [isabelle-dev] Testing AFP at TUM   Tjark Weber
• [isabelle-dev] Testing AFP at TUM   Makarius
• [isabelle-dev] Testing AFP at TUM   Tobias Nipkow
• [isabelle-dev] HOL-Proofs slow   Florian Haftmann
• [isabelle-dev] HOL-Proofs slow   Florian Haftmann
• [isabelle-dev] HOL-Proofs slow   Makarius
• [isabelle-dev] HOL-Proofs slow   Florian Haftmann
• [isabelle-dev] HOL-Proofs slow   Makarius
• [isabelle-dev] Testing AFP at TUM   Makarius
• [isabelle-dev] HOL-Proofs slow   Makarius
• [isabelle-dev] HOL-Proofs slow   Florian Haftmann
• [isabelle-dev] Testing AFP at TUM   Florian Haftmann
• [isabelle-dev] eq_list   Christian Sternagel
• [isabelle-dev] Isatest report [...]   Jasmin Christian Blanchette
• [isabelle-dev] jEdit: tooltips don't have proper size   Steffen Juilf Smolka
• [isabelle-dev] priority queues   Steffen Juilf Smolka
• [isabelle-dev] priority queues   Lukas Bulwahn
• [isabelle-dev] jEdit: tooltips don't have proper size   Makarius
• [isabelle-dev] priority queues   Makarius
• [isabelle-dev] priority queues   Makarius
• [isabelle-dev] priority queues   Tobias Nipkow
• [isabelle-dev] priority queues   Makarius
• [isabelle-dev] eq_list   Makarius
• [isabelle-dev] priority queues   Steffen Juilf Smolka
• [isabelle-dev] priority queues   Steffen Juilf Smolka
• [isabelle-dev] Isatest report [...]   Makarius
• [isabelle-dev] jEdit: tooltips don't have proper size   Steffen Juilf Smolka
• [isabelle-dev] priority queues   Tobias Nipkow
• [isabelle-dev] isabelle build glitch   Lars Noschinski
• [isabelle-dev] user errors   Christian Sternagel
• [isabelle-dev] user errors   Florian Haftmann

Last message date: Wed Oct 31 20:43:42 CET 2012
Archived on: Fri Apr 12 08:42:15 CEST 2019

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