January 2025 Archives by thread

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

Starting: Fri Jan 3 20:03:11 CET 2025
Ending: Fri Jan 31 23:44:55 CET 2025
Messages: 38

• NEWS: more LaTeX markup   Makarius
  • NEWS: more LaTeX markup   Tobias Nipkow
  • NEWS: more LaTeX markup   Tobias Nipkow
    • NEWS: more LaTeX markup   Makarius
      • NEWS: more LaTeX markup   Tobias Nipkow
• build.proof.cit.tum.de: Connection closed / Internal server error   Fabian Huch
  • build.proof.cit.tum.de: Connection closed / Internal server error   Fabian Huch
• Address   Tobias Nipkow
  • Address   Makarius
    • Address   Tobias Nipkow
      • Address   Makarius
      • Address   Roland Lutz
      • Address   Makarius
• Remaining uses of show_brackets   Makarius
• An Isabelle Foundation?   Lawrence Paulson
• NEWS and CONTRIBUTORS for Isabelle2025   Makarius
• Broken AFP/SCL_Simulates_Ground_Resolution   Makarius
  • Broken AFP/SCL_Simulates_Ground_Resolution   Martin Desharnais
• Fwd: An Isabelle Foundation?   Gerwin Klein
• Build Manager Server Down   Fabian Huch
  • Build Manager Server Down   Fabian Huch
• Update to jdk-21.0.6   Makarius
  • Update to jdk-21.0.6   Makarius
• Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ   Makarius
  • Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ   Florian Haftmann
    • Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ   Florian Haftmann
  • Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ   Makarius
    • MLton [was: Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ]   Florian Haftmann
      • MLton [was: Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ]   Florian Haftmann
• Build_Manager breakdown   Makarius
  • Build_Manager breakdown   Makarius
• NEWS: Improvements of Adhoc Overloading   Makarius
• Towards Isabelle2025-RC1   Makarius
• NEWS: move from CVC4 to cvc5   Makarius
  • NEWS: move from CVC4 to cvc5   Makarius
• Failure of AFP/Go_Test_Slow   Makarius
  • Failure of AFP/Go_Test_Slow   Florian Haftmann
    • Failure of AFP/Go_Test_Slow   Makarius

Last message date: Fri Jan 31 23:44:55 CET 2025
Archived on: Fri Jan 31 23:45:06 CET 2025

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