October 2015 Archives by subject

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

Starting: Thu Oct 1 16:50:08 CEST 2015
Ending: Fri Oct 30 20:02:28 CET 2015
Messages: 88

• [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Clemens Ballarin
• [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Florian Haftmann
• [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Florian Haftmann
• [isabelle-dev] [isabelle] Contracting Abbreviations of Locale Definitions   Makarius
• [isabelle-dev] AFP/Lifting_Definition_Option   Makarius
• [isabelle-dev] AFP/Lifting_Definition_Option   Gerwin Klein
• [isabelle-dev] AFP/Lifting_Definition_Option   Ondřej Kunčar
• [isabelle-dev] AFP/Lifting_Definition_Option   Gerwin Klein
• [isabelle-dev] Broken AFP sessions   Makarius
• [isabelle-dev] Broken AFP sessions   Dmitriy Traytel
• [isabelle-dev] Broken AFP sessions   Larry Paulson
• [isabelle-dev] Broken AFP sessions   Makarius
• [isabelle-dev] Changes to the locale syntax   Clemens Ballarin
• [isabelle-dev] Changes to the locale syntax   Florian Haftmann
• [isabelle-dev] Changes to the locale syntax   Makarius
• [isabelle-dev] code abbreviation for mapping over a fixed range   Christian Sternagel
• [isabelle-dev] code abbreviation for mapping over a fixed range   Florian Haftmann
• [isabelle-dev] copy_bnf   Lars Hupel
• [isabelle-dev] copy_bnf   Dmitriy Traytel
• [isabelle-dev] copy_bnf   Lars Hupel
• [isabelle-dev] Definite name for case combinator on products [was: NEWS]   Florian Haftmann
• [isabelle-dev] Explicit option "open" for code_reflect   Frédéric Tuong
• [isabelle-dev] Explicit option "open" for code_reflect   Florian Haftmann
• [isabelle-dev] Explicit option "open" for code_reflect   Frédéric Tuong
• [isabelle-dev] Explicit option "open" for code_reflect   Florian Haftmann
• [isabelle-dev] Exposing some functions of the API   Florian Haftmann
• [isabelle-dev] Exposing some functions of the API   Jasmin Blanchette
• [isabelle-dev] Exposing some functions of the API   Makarius
• [isabelle-dev] Exposing some functions of the API   Frédéric Tuong
• [isabelle-dev] Exposing some functions of the API   Makarius
• [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] Future of permanent_interpretation   Florian Haftmann
• [isabelle-dev] Future of permanent_interpretation   Clemens Ballarin
• [isabelle-dev] Future of permanent_interpretation   Tobias Nipkow
• [isabelle-dev] Future of permanent_interpretation   Clemens Ballarin
• [isabelle-dev] Future of permanent_interpretation   Tobias Nipkow
• [isabelle-dev] Future of permanent_interpretation   Florian Haftmann
• [isabelle-dev] Future of permanent_interpretation   Florian Haftmann
• [isabelle-dev] Future of permanent_interpretation   Tobias Nipkow
• [isabelle-dev] HOL-Proofs broken?   Makarius
• [isabelle-dev] HOL-Proofs broken?   Jasmin Blanchette
• [isabelle-dev] HOL-Proofs broken?   Dmitriy Traytel
• [isabelle-dev] HOL-Proofs broken?   Makarius
• [isabelle-dev] HOL-Proofs broken?   Makarius
• [isabelle-dev] HOL-Proofs broken?   Jasmin Blanchette
• [isabelle-dev] HOL-Proofs broken?   Jasmin Blanchette
• [isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle   Makarius
• [isabelle-dev] http://isabelle.in.tum.de/reports/Isabelle   Lars Hupel
• [isabelle-dev] Implicit eta-contraction during printing and product binders [was: NEWS]   Florian Haftmann
• [isabelle-dev] Implicit eta-contraction during printing and product binders [was: NEWS]   Makarius
• [isabelle-dev] isatest/afptest logs   Lars Hupel
• [isabelle-dev] isatest/afptest logs   Gerwin Klein
• [isabelle-dev] isatest/afptest logs   Makarius
• [isabelle-dev] local ghc and happy installations in Munich   Lars Noschinski
• [isabelle-dev] Mac OS X 10.11 (El Capitan)   Makarius
• [isabelle-dev] Mac OS X 10.11 (El Capitan)   Larry Paulson
• [isabelle-dev] Mac OS X 10.11 (El Capitan)   Makarius
• [isabelle-dev] Mac OS X 10.11 (El Capitan)   Gerwin Klein
• [isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2   Dmitriy Traytel
• [isabelle-dev] Multiset missing Nitpick_Model.unrep in 2007ea8615a2   Jasmin Blanchette
• [isabelle-dev] NEWS   Ondřej Kunčar
• [isabelle-dev] NEWS   Andreas Lochbihler
• [isabelle-dev] NEWS: document preparation refinements   Makarius
• [isabelle-dev] NEWS: document preparation refinements   Makarius
• [isabelle-dev] NEWS: document preparation refinements   Tobias Nipkow
• [isabelle-dev] NEWS: document preparation refinements   Makarius
• [isabelle-dev] NEWS: document preparation refinements   Tobias Nipkow
• [isabelle-dev] NEWS: document preparation refinements   Makarius
• [isabelle-dev] NEWS: editor reactivity and State panel   Makarius
• [isabelle-dev] NEWS: toplevel theorem statements   Makarius
• [isabelle-dev] NEWS: toplevel theorem statements   Tobias Nipkow
• [isabelle-dev] NEWS: toplevel theorem statements   Lawrence Paulson
• [isabelle-dev] NEWS: toplevel theorem statements   Makarius
• [isabelle-dev] New testing infrastructure   Lars Hupel
• [isabelle-dev] New testing infrastructure   Lars Hupel
• [isabelle-dev] Notes on GHC an mutable data structures   Makarius
• [isabelle-dev] Repository version of Isabelle on Windows 7   Anders Schlichtkrull
• [isabelle-dev] Repository version of Isabelle on Windows 7   Makarius
• [isabelle-dev] Scrollbar, where are thou?   Dmitriy Traytel
• [isabelle-dev] Scrollbar, where are thou?   Makarius
• [isabelle-dev] Scrollbar, where are thou?   Dmitriy Traytel
• [isabelle-dev] Scrollbar, where are thou?   Makarius
• [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Florian Haftmann
• [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Makarius
• [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Michael Norrish
• [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Tobias Nipkow
• [isabelle-dev] Update of jdk and jedit components   Makarius

Last message date: Fri Oct 30 20:02:28 CET 2015
Archived on: Fri Apr 12 08:42:22 CEST 2019

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