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 30 20:54:40 CEST 2025
Messages: 15

• 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
• NEWS: PIDE is able to load theory markup from underlying database   Makarius

Last message date: Mon Jun 30 20:54:40 CEST 2025
Archived on: Mon Jun 30 20:54:52 CEST 2025

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