June 2025 Archives by thread

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

Starting: Sun Jun 1 14:12:51 CEST 2025
Ending: Fri Jun 27 08:07:49 CEST 2025
Messages: 14

• AFP broken   Florian Haftmann
  • AFP broken   Makarius
• NEWS: System option "record_theories"   Makarius
• How possible is it to create an Isabelle plugin for Neovim/Vim?   humamalhusaini at tutamail.com
  • How possible is it to create an Isabelle plugin for Neovim/Vim?   Fabian Huch
• NEWS: Isabelle/jEdit GUI scaling on Linux   Makarius
• build_manager down due to maintenance   Makarius
  • build_manager down due to maintenance   Makarius
• NEWS: ML platform via system options   Makarius
• Failure in build system   Florian Haftmann
  • Failure in build system   Fabian Huch
    • Failure in build system   Fabian Huch
      • Failure in build system   Makarius
• NEWS: Clarified semantics for adding code equations   Florian Haftmann

Last message date: Fri Jun 27 08:07:49 CEST 2025
Archived on: Fri Jun 27 08:07:57 CEST 2025

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