June 2025 Archives by subject

• Messages sorted by: [ thread ] [ 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
• build_manager down due to maintenance   Makarius
• build_manager down due to maintenance   Makarius
• Failure in build system   Florian Haftmann
• Failure in build system   Fabian Huch
• Failure in build system   Fabian Huch
• Failure in build system   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: Clarified semantics for adding code equations   Florian Haftmann
• NEWS: Isabelle/jEdit GUI scaling on Linux   Makarius
• NEWS: ML platform via system options   Makarius
• NEWS: System option "record_theories"   Makarius

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

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