March 2013 Archives by thread

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

Starting: Fri Mar 1 06:49:07 CET 2013
Ending: Sat Mar 30 17:53:17 CET 2013
Messages: 103

• [isabelle-dev] Zorn's lemma, the well-ordering-theorem, and extending well-founded relations to (total) well-orders   Christian Sternagel
• [isabelle-dev] Fwd: A possible bug with Isabelle 2013   Makarius
  • [isabelle-dev] A possible bug with Isabelle 2013   Lawrence Paulson
    • [isabelle-dev] A possible bug with Isabelle 2013   Makarius
      • [isabelle-dev] A possible bug with Isabelle 2013   Makarius
• [isabelle-dev] Problem with simproc enat_eq_cancel   Andreas Lochbihler
  • [isabelle-dev] Problem with simproc enat_eq_cancel   Lars Noschinski
  • [isabelle-dev] Problem with simproc enat_eq_cancel   Makarius
    • [isabelle-dev] Problem with simproc enat_eq_cancel   Brian Huffman
• [isabelle-dev] Feature suggestion: apply (meth[1!])   Joachim Breitner
  • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
    • [isabelle-dev] Feature suggestion: apply (meth[1!])   David Greenaway
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Gerwin Klein
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Lars Noschinski
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Lars Noschinski
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Michael Norrish
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Lawrence Paulson
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Lars Noschinski
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Joachim Breitner
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
  • [isabelle-dev] Feature suggestion: apply (meth[1!])   Lars Noschinski
    • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
  • [isabelle-dev] Feature suggestion: apply (meth[1!])   David Greenaway
    • [isabelle-dev] Feature suggestion: apply (meth[1!])   Lawrence Paulson
      • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
    • [isabelle-dev] Feature suggestion: apply (meth[1!])   Makarius
• [isabelle-dev] jEdit: Automatic popup menus on hovers   Lars Noschinski
  • [isabelle-dev] jEdit: Automatic popup menus on hovers   Makarius
    • [isabelle-dev] jEdit: Automatic popup menus on hovers   Alexander Krauss
• [isabelle-dev] Community Involvement in Isabelle Development   David Greenaway
  • [isabelle-dev] Community Involvement in Isabelle Development   Makarius
• [isabelle-dev] Debugging low-level exceptions   Alexander Krauss
  • [isabelle-dev] Debugging low-level exceptions   Florian Haftmann
    • [isabelle-dev] Debugging low-level exceptions   Makarius
      • [isabelle-dev] Debugging low-level exceptions   Alexander Krauss
• [isabelle-dev] multiple weirdnesses   Lawrence Paulson
  • [isabelle-dev] multiple weirdnesses   Tobias Nipkow
  • [isabelle-dev] multiple weirdnesses   Makarius
    • [isabelle-dev] multiple weirdnesses   Lawrence Paulson
      • [isabelle-dev] multiple weirdnesses   Lawrence Paulson
  • [isabelle-dev] multiple weirdnesses   Makarius
    • [isabelle-dev] multiple weirdnesses   Lawrence Paulson
      • [isabelle-dev] multiple weirdnesses   Makarius
• [isabelle-dev] Automated testing questions   Clemens Ballarin
  • [isabelle-dev] Automated testing questions   Dmitriy Traytel
    • [isabelle-dev] Automated testing questions   Makarius
      • [isabelle-dev] Automated testing questions   Tjark Weber
      • [isabelle-dev] Automated testing questions   Makarius
      • [isabelle-dev] Automated testing questions   Makarius
  • [isabelle-dev] Automated testing questions   Makarius
• [isabelle-dev] crashes   Lawrence Paulson
  • [isabelle-dev] crashes   Makarius
• [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   David Greenaway
  • [isabelle-dev] [PATCH 1 of 3] pretty: Add ScalaDoc comments to "Pure/General/pretty.scala"   David Greenaway
  • [isabelle-dev] [PATCH 2 of 3] pretty: Ensure we are consistent in our use of space-widths versus character-widths   David Greenaway
  • [isabelle-dev] [PATCH 3 of 3] pretty: Use a more accurate method of measuring string lengths   David Greenaway
  • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   Makarius
    • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   Makarius
    • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   David Greenaway
      • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   Makarius
      • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   David Greenaway
      • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   Makarius
      • [isabelle-dev] [PATCH 0 of 3] Reduce Isabelle/jEdit output window overflow.   David Greenaway
• [isabelle-dev] [isabelle] Very counterintuitive set notation for tuples, introducing new variable without warning   Tjark Weber
  • [isabelle-dev] [isabelle] Very counterintuitive set notation for tuples, introducing new variable without warning   Lawrence Paulson
  • [isabelle-dev] [isabelle] Very counterintuitive set notation for tuples, introducing new variable without warning   Makarius
• [isabelle-dev] AFP access confusion   Florian Haftmann
  • [isabelle-dev] AFP access confusion   Christian Sternagel
  • [isabelle-dev] AFP access confusion   René Thiemann
    • [isabelle-dev] AFP access confusion   Florian Haftmann
    • [isabelle-dev] AFP access confusion   Gerwin Klein
• [isabelle-dev] NEWS: Revision of Big Operators on sets   Florian Haftmann
  • [isabelle-dev] NEWS: Revision of Big Operators on sets   Lars Noschinski
    • [isabelle-dev] NEWS: Revision of Big Operators on sets   Florian Haftmann
      • [isabelle-dev] NEWS: Revision of Big Operators on sets   Florian Haftmann
• [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
  • [isabelle-dev] Interpretation in arbitrary targets.   Makarius
    • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
    • [isabelle-dev] Interpretation in arbitrary targets.   Makarius
  • [isabelle-dev] Interpretation in arbitrary targets.   Clemens Ballarin
    • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
      • [isabelle-dev] Interpretation in arbitrary targets.   Makarius
      • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
      • [isabelle-dev] Interpretation in arbitrary targets.   Makarius
      • [isabelle-dev] Interpretation in arbitrary targets.   Makarius
      • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
      • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
      • [isabelle-dev] Interpretation in arbitrary targets.   Makarius
      • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
    • [isabelle-dev] Interpretation in arbitrary targets.   Florian Haftmann
• [isabelle-dev] NEWS: Timing dockable   Makarius
• [isabelle-dev] Code export to Haskell and lower-case theory names   Manuel Eberl
  • [isabelle-dev] Code export to Haskell and lower-case theory names   Makarius
    • [isabelle-dev] Code export to Haskell and lower-case theory names   Tobias Nipkow
      • [isabelle-dev] Code export to Haskell and lower-case theory names   Makarius
      • [isabelle-dev] Code export to Haskell and lower-case theory names   Joachim Breitner
      • [isabelle-dev] Code export to Haskell and lower-case theory names   Brian Huffman
      • [isabelle-dev] Code export to Haskell and lower-case theory names   Joachim Breitner
  • [isabelle-dev] Code export to Haskell and lower-case theory names   Florian Haftmann

Last message date: Sat Mar 30 17:53:17 CET 2013
Archived on: Fri Apr 12 08:42:17 CEST 2019

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