May 2011 Archives by thread

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

Starting: Thu May 5 23:54:48 CEST 2011
Ending: Tue May 31 17:30:34 CEST 2011
Messages: 47

• [isabelle-dev] NEWS: antiquotation @{rail}   Makarius
  • [isabelle-dev] NEWS: Isabelle_Process.is_active   Makarius
  • [isabelle-dev] build and run Isabelle/jEdit on the spot   Makarius
    • [isabelle-dev] build and run Isabelle/jEdit on the spot   Alexander Krauss
      • [isabelle-dev] build and run Isabelle/jEdit on the spot   Christian Sternagel
• [isabelle-dev] Theory to Local Theory   munddr at gmail.com
  • [isabelle-dev] Theory to Local Theory   Makarius
• [isabelle-dev] Constructing types from strings   munddr at gmail.com
  • [isabelle-dev] Constructing types from strings   Makarius
• [isabelle-dev] NEWS: classical tactics use Proof.context (f092945f0ef7)   Makarius
• [isabelle-dev] AFP statistics   Makarius
  • [isabelle-dev] AFP statistics   Gerwin Klein
    • [isabelle-dev] AFP statistics   Alexander Krauss
      • [isabelle-dev] AFP statistics   Makarius
      • [isabelle-dev] AFP statistics   Gerwin Klein
• [isabelle-dev] Context of a locale?   John Munroe
  • [isabelle-dev] Context of a locale?   Clemens Ballarin
• [isabelle-dev] unhelpful low-level error message from primrec   Brian Huffman
  • [isabelle-dev] unhelpful low-level error message from primrec   Tjark Weber
    • [isabelle-dev] unhelpful low-level error message from primrec   Alexander Krauss
      • [isabelle-dev] unhelpful low-level error message from primrec   Florian Haftmann
  • [isabelle-dev] unhelpful low-level error message from primrec   Alexander Krauss
• [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Lawrence Paulson
  • [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Andreas Lochbihler
  • [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Stefan Berghofer
    • [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Lawrence Paulson
      • [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Andreas Lochbihler
      • [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Andreas Lochbihler
      • [isabelle-dev] Fwd: [isabelle] Exception in conv.ML   Lawrence Paulson
• [isabelle-dev] [isabelle] Congruence rules for the code preprocessor   Tobias Nipkow
  • [isabelle-dev] [isabelle] Congruence rules for the code preprocessor   Lukas Bulwahn
    • [isabelle-dev] [isabelle] Congruence rules for the code preprocessor   Andreas Lochbihler
      • [isabelle-dev] [isabelle] Congruence rules for the code preprocessor   Lukas Bulwahn
      • [isabelle-dev] [isabelle] Congruence rules for the code preprocessor   Andreas Lochbihler
      • [isabelle-dev] [isabelle] Congruence rules for the code preprocessor   Lukas Bulwahn
• [isabelle-dev] New Testing Infrastructure -- status report   Alexander Krauss
  • [isabelle-dev] New Testing Infrastructure -- status report   Lawrence Paulson
  • [isabelle-dev] New Testing Infrastructure -- status report   Jasmin Christian Blanchette
    • [isabelle-dev] New Testing Infrastructure -- status report   Alexander Krauss
  • [isabelle-dev] New Testing Infrastructure -- status report   Florian Haftmann
  • [isabelle-dev] New Testing Infrastructure -- status report   Clemens Ballarin
  • [isabelle-dev] New Testing Infrastructure -- status report   Gerwin Klein
• [isabelle-dev] Latex issue (Fwd: isabelle dist build failed)   Alexander Krauss
  • [isabelle-dev] Latex issue (Fwd: isabelle dist build failed)   Lawrence Paulson
    • [isabelle-dev] Latex issue (Fwd: isabelle dist build failed)   Lawrence Paulson
      • [isabelle-dev] Latex issue (Fwd: isabelle dist build failed)   Lawrence Paulson
      • [isabelle-dev] Latex issue (Fwd: isabelle dist build failed)   Alexander Krauss

Last message date: Tue May 31 17:30:34 CEST 2011
Archived on: Fri Apr 12 08:42:12 CEST 2019

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