March 2014 Archives by subject

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

Starting: Sat Mar 1 01:02:33 CET 2014
Ending: Mon Mar 31 23:14:23 CEST 2014
Messages: 76

• [isabelle-dev] 'specification' and 'ax_specification'   Makarius
• [isabelle-dev] 'specification' and 'ax_specification'   Andreas Lochbihler
• [isabelle-dev] 'specification' and 'ax_specification'   Johannes Hölzl
• [isabelle-dev] [ jEdit-devel ] jEdit 5.2 release plan (fwd)   Makarius
• [isabelle-dev] Abbreviation for \<leftarrow>   Lars Noschinski
• [isabelle-dev] Abbreviation for \<leftarrow>   Makarius
• [isabelle-dev] Abbreviation for \<leftarrow>   Lars Noschinski
• [isabelle-dev] Abbreviation for \<leftarrow>   Makarius
• [isabelle-dev] Abbreviation for \<leftarrow>   Florian Haftmann
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Makarius
• [isabelle-dev] Annotations in Theories panel not visible   Lars Noschinski
• [isabelle-dev] Annotations in Theories panel not visible   Makarius
• [isabelle-dev] Collections FAILED   Florian Haftmann
• [isabelle-dev] Collections FAILED   Florian Haftmann
• [isabelle-dev] Consolidation of manual naming   Florian Haftmann
• [isabelle-dev] Consolidation of manual naming   Johannes Hölzl
• [isabelle-dev] Consolidation of manual naming   Makarius
• [isabelle-dev] Consolidation of manual naming   Makarius
• [isabelle-dev] Facts and semantic completion   Makarius
• [isabelle-dev] Facts and semantic completion   Makarius
• [isabelle-dev] Hints on Isabelle/ML IDE   Makarius
• [isabelle-dev] HOL-Decision_Procs FAILED   Florian Haftmann
• [isabelle-dev] HOL-Decision_Procs FAILED   Makarius
• [isabelle-dev] HOL-Decision_Procs FAILED   Brian Huffman
• [isabelle-dev] HOL-Decision_Procs FAILED   Makarius
• [isabelle-dev] HOL-Decision_Procs FAILED   Brian Huffman
• [isabelle-dev] HOL-Decision_Procs FAILED   Lawrence Paulson
• [isabelle-dev] HOL-Decision_Procs FAILED   Makarius
• [isabelle-dev] HOL-Decision_Procs FAILED   Makarius
• [isabelle-dev] HOL-Decision_Procs FAILED   Lawrence Paulson
• [isabelle-dev] HOL-Decision_Procs FAILED   Gerwin Klein
• [isabelle-dev] HOL-Decision_Procs FAILED   Johannes Hölzl
• [isabelle-dev] HOL-Decision_Procs FAILED   Makarius
• [isabelle-dev] HOL-Multivariate-Analysis [was: HOL-Decision_Procs FAILED]   Florian Haftmann
• [isabelle-dev] Isabelle_makeall not finishing on testboard   Brian Huffman
• [isabelle-dev] Isabelle_makeall not finishing on testboard   Lars Noschinski
• [isabelle-dev] JDK 8 release   Makarius
• [isabelle-dev] looping continues in the background   Ondřej Kunčar
• [isabelle-dev] NEWS: clean up Series and Deriv in Complex_Main   Johannes Hölzl
• [isabelle-dev] NEWS: constants of Pure use more conventional names   Makarius
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Makarius
• [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism   Makarius
• [isabelle-dev] NEWS: interactive simplifier trace   Lars Hupel
• [isabelle-dev] NEWS: interactive simplifier trace   Makarius
• [isabelle-dev] NEWS: Isabelle support for Standard ML   Makarius
• [isabelle-dev] NEWS: Isabelle support for Standard ML   Makarius
• [isabelle-dev] NEWS: Isabelle support for Standard ML   Lars Noschinski
• [isabelle-dev] NEWS: Isabelle support for Standard ML   Makarius
• [isabelle-dev] NEWS: Isabelle support for Standard ML (fwd)   Makarius
• [isabelle-dev] Notes and updates on Isabelle/ML   Makarius
• [isabelle-dev] Performance of datatype_new   Makarius
• [isabelle-dev] Performance of datatype_new   Jasmin Christian Blanchette
• [isabelle-dev] Performance of datatype_new   Jasmin Christian Blanchette
• [isabelle-dev] Semantic completion of antiquotation styles   Makarius
• [isabelle-dev] set_comprehension_pointfree simproc   Makarius
• [isabelle-dev] set_comprehension_pointfree simproc   Dmitriy Traytel
• [isabelle-dev] set_comprehension_pointfree simproc   Tobias Nipkow
• [isabelle-dev] Shadowing of theorem names in locales   Makarius
• [isabelle-dev] Shadowing of theorem names in locales   Clemens Ballarin
• [isabelle-dev] smt2   Jasmin Christian Blanchette
• [isabelle-dev] smt2   Jasmin Christian Blanchette
• [isabelle-dev] smt2   Makarius
• [isabelle-dev] smt2   Jasmin Blanchette
• [isabelle-dev] smt2   Andreas Lochbihler
• [isabelle-dev] smt2   Jasmin Blanchette
• [isabelle-dev] smt2   Makarius
• [isabelle-dev] smt2   Andreas Lochbihler
• [isabelle-dev] smt2   Jasmin Blanchette
• [isabelle-dev] smt2   Makarius
• [isabelle-dev] smt2   Gerwin Klein
• [isabelle-dev] smt2   Lawrence Paulson
• [isabelle-dev] smt2   Makarius
• [isabelle-dev] smt2   Jasmin Blanchette
• [isabelle-dev] Sum_of_Squares_Remote.thy dropout   Makarius
• [isabelle-dev] Sum_of_Squares_Remote.thy dropout   Tobias Nipkow
• [isabelle-dev] Yet another encounter with HOL-Word   Gerwin Klein

Last message date: Mon Mar 31 23:14:23 CEST 2014
Archived on: Fri Apr 12 08:42:19 CEST 2019

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