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: Mon Jun 16 12:38:32 CEST 2025
Messages: 9

• 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

Last message date: Mon Jun 16 12:38:32 CEST 2025
Archived on: Mon Jun 16 12:38:44 CEST 2025

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