March 2025 Archives by thread

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

Starting: Wed Mar 12 14:46:31 CET 2025
Ending: Fri Mar 28 00:32:49 CET 2025
Messages: 15

• Final Isabelle2025 planned for tomorrow   Makarius
  • Final Isabelle2025 planned for tomorrow   Makarius
  • Final Isabelle2025 planned for tomorrow   Makarius
• NEWS: SSH connections allow both bash and zsh   Makarius
• NEWS: ZGC of Java 21 now used by default   Makarius
• NEWS: Support for "isabelle jedit -o OPTION"   Makarius
• isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   Makarius
  • isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   Makarius
    • isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   Makarius
      • isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   Makarius
  • isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   Makarius
    • isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   Tobias Nipkow
    • isabelle-dev.sketis.net and isabelle.sketis.net down for maintenance   伊藤洋介
• build_task not working   Lawrence Paulson
  • build_task not working   Fabian Huch

Last message date: Fri Mar 28 00:32:49 CET 2025
Archived on: Fri Mar 28 00:33:13 CET 2025

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