April 2014 Archives by author

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

Starting: Tue Apr 1 07:54:14 CEST 2014
Ending: Tue Apr 29 20:32:08 CEST 2014
Messages: 128

• [isabelle-dev] html output of theories   Gottfried Barrow
• [isabelle-dev] html output of theories   Gottfried Barrow
• [isabelle-dev] Issues with "interpretations"   Jasmin Blanchette
• [isabelle-dev] AFP hg down?   Jasmin Blanchette
• [isabelle-dev] Issues with "interpretations"   Jasmin Christian Blanchette
• [isabelle-dev] AFP hg down?   Jasmin Christian Blanchette
• [isabelle-dev] Remaining uses of Proof General?   Manuel Eberl
• [isabelle-dev] logging and debugging output   Matthew Fernandez
• [isabelle-dev] Remaining uses of Proof General?   Matthew Fernandez
• [isabelle-dev] Remaining uses of Proof General?   Matthew Fernandez
• [isabelle-dev] Consolidation of manual naming   Florian Haftmann
• [isabelle-dev] Default simprules for division in fields   Florian Haftmann
• [isabelle-dev] Default simprules for division in fields   Florian Haftmann
• [isabelle-dev] Pie charts   Florian Haftmann
• [isabelle-dev] Pie charts   Florian Haftmann
• [isabelle-dev] Consolidation of manual naming   Florian Haftmann
• [isabelle-dev] Consolidation of manual naming   Florian Haftmann
• [isabelle-dev] Consolidation of manual naming   Florian Haftmann
• [isabelle-dev] Transfer for 'a => 'a => bool vs. ('a * 'a) set   Florian Haftmann
• [isabelle-dev] Unqualified swap?   Florian Haftmann
• [isabelle-dev] Scalablity problem with pdflatex on lxbroy10 for AFP session Collections   Florian Haftmann
• [isabelle-dev] Unqualified swap?   Florian Haftmann
• [isabelle-dev] AFP error on testboard   Florian Haftmann
• [isabelle-dev] Making Scala Graph_View happy [was: jdk-8u5]   Florian Haftmann
• [isabelle-dev] Making Scala Graph_View happy [was: jdk-8u5]   Florian Haftmann
• [isabelle-dev] Unresponsive Isabelle/jEdit   Johannes Hölzl
• [isabelle-dev] Remaining uses of Proof General?   Peter Lammich
• [isabelle-dev] Issues with "interpretations"   Andreas Lochbihler
• [isabelle-dev] Remaining uses of Proof General?   Andreas Lochbihler
• [isabelle-dev] Remaining uses of Proof General?   Andreas Lochbihler
• [isabelle-dev] Remaining uses of Proof General?   Andreas Lochbihler
• [isabelle-dev] Remaining uses of Proof General?   Andreas Lochbihler
• [isabelle-dev] Unresponsive Isabelle/jEdit   Makarius
• [isabelle-dev] logging and debugging output   Makarius
• [isabelle-dev] Annotations in Theories panel not visible   Makarius
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Makarius
• [isabelle-dev] Issues with "interpretations"   Makarius
• [isabelle-dev] Extra line spacing   Makarius
• [isabelle-dev] NEWS: ML antiquotation @{print}   Makarius
• [isabelle-dev] NEWS: ML antiquotation @{print}   Makarius
• [isabelle-dev] NEWS: Support for Navigator plugin   Makarius
• [isabelle-dev] NEWS: renamed isabelle-process   Makarius
• [isabelle-dev] NEWS: Support for Navigator plugin   Makarius
• [isabelle-dev] Pie charts   Makarius
• [isabelle-dev] Issues with "interpretations"   Makarius
• [isabelle-dev] NEWS: Support for Navigator plugin   Makarius
• [isabelle-dev] Consolidation of manual naming   Makarius
• [isabelle-dev] Abbreviation for \<leftarrow>   Makarius
• [isabelle-dev] Consolidation of manual naming   Makarius
• [isabelle-dev] Consolidation of manual naming   Makarius
• [isabelle-dev] Odd "hash tags" getting   Makarius
• [isabelle-dev] NEWS: cartouches in "text" and "altstring"   Makarius
• [isabelle-dev] NEWS: more support for remote files   Makarius
• [isabelle-dev] logging and debugging output   Makarius
• [isabelle-dev] logging and debugging output   Makarius
• [isabelle-dev] logging and debugging output   Makarius
• [isabelle-dev] NEWS: session 'document_files'   Makarius
• [isabelle-dev] NEWS: session 'document_files'   Makarius
• [isabelle-dev] NEWS: Spell-checker support   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] NEWS: session 'document_files'   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] NEWS: Spell-checker support   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] html output of theories   Makarius
• [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism   Makarius
• [isabelle-dev] jdk-8u5   Makarius
• [isabelle-dev] jdk-8u5   Makarius
• [isabelle-dev] jdk-8u5   Makarius
• [isabelle-dev] NEWS: session 'document_files'   Makarius
• [isabelle-dev] AFP error on testboard   Makarius
• [isabelle-dev] NEWS: Isabelle support for Standard ML   Makarius
• [isabelle-dev] scala-2.11.0   Makarius
• [isabelle-dev] scala-2.11.0   Makarius
• [isabelle-dev] jdk-8u5   Makarius
• [isabelle-dev] Making Scala Graph_View happy [was: jdk-8u5]   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] NEWS: find_consts   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] scala-2.11.0   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] Remaining uses of Proof General?   Makarius
• [isabelle-dev] NEWS: session 'document_files'   Makarius
• [isabelle-dev] Notes on Isabelle/Scala systems programming   Makarius
• [isabelle-dev] Notes on Isabelle/Scala systems programming   Makarius
• [isabelle-dev] Remaining uses of Proof General?   René Neumann
• [isabelle-dev] Default simprules for division in fields   Tobias Nipkow
• [isabelle-dev] Default simprules for division in fields   Tobias Nipkow
• [isabelle-dev] Default simprules for division in fields   Tobias Nipkow
• [isabelle-dev] Default simprules for division in fields   Tobias Nipkow
• [isabelle-dev] Default simprules for division in fields   Tobias Nipkow
• [isabelle-dev] Consolidation of manual naming   Tobias Nipkow
• [isabelle-dev] NEWS: session 'document_files'   Tobias Nipkow
• [isabelle-dev] Unqualified swap?   Tobias Nipkow
• [isabelle-dev] NEWS: session 'document_files'   Tobias Nipkow
• [isabelle-dev] NEWS: Spell-checker support   Tobias Nipkow
• [isabelle-dev] Annotations in Theories panel not visible   Lars Noschinski
• [isabelle-dev] Annotations in Theories panel not visible   Lars Noschinski
• [isabelle-dev] NEWS: ML antiquotation @{print}   Lars Noschinski
• [isabelle-dev] NEWS: Support for Navigator plugin   Lars Noschinski
• [isabelle-dev] NEWS: Support for Navigator plugin   Lars Noschinski
• [isabelle-dev] NEWS: improved syntactic and semantic completion mechanism   Lars Noschinski
• [isabelle-dev] Default simprules for division in fields   Lawrence Paulson
• [isabelle-dev] Default simprules for division in fields   Lawrence Paulson
• [isabelle-dev] Default simprules for division in fields   Lawrence Paulson
• [isabelle-dev] html output of theories   Lawrence Paulson
• [isabelle-dev] html output of theories   Lawrence Paulson
• [isabelle-dev] html output of theories   Lawrence Paulson
• [isabelle-dev] lemma   Lawrence Paulson
• [isabelle-dev] jdk-8u5   Lawrence Paulson
• [isabelle-dev] Default simprules for division in fields   Thomas Sewell
• [isabelle-dev] Remaining uses of Proof General?   Thomas Sewell
• [isabelle-dev] html output of theories   Christian Sternagel
• [isabelle-dev] lemma   Christian Sternagel
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Dmitriy Traytel
• [isabelle-dev] html output of theories   John Wickerson
• [isabelle-dev] html output of theories   John Wickerson
• [isabelle-dev] html output of theories   John Wickerson
• [isabelle-dev] html output of theories   John Wickerson
• [isabelle-dev] logging and debugging output   stvienna wiener
• [isabelle-dev] logging and debugging output   stvienna wiener

Last message date: Tue Apr 29 20:32:08 CEST 2014
Archived on: Fri Apr 12 08:42:19 CEST 2019

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