March 2026 Archives by thread

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

Starting: Thu Mar 5 19:49:14 CET 2026
Ending: Sat Mar 21 10:35:52 CET 2026
Messages: 10

• Auto-insert error in current development version   Lawrence Paulson
  • Auto-insert error in current development version   Makarius
• [PATCH] VSCode fix: Dynamic_Ouput JSON serialization error `Bad JSON value: isabelle.vscode.LSP$$$Lambda`   Andreas Kurz
  • [PATCH] VSCode fix: Dynamic_Ouput JSON serialization error `Bad JSON value: isabelle.vscode.LSP$$$Lambda`   Makarius
    • [PATCH] VSCode fix: Dynamic_Ouput JSON serialization error `Bad JSON value: isabelle.vscode.LSP$$$Lambda`   Andreas Kurz
      • Problems with unsupported Isabelle/PIDE editors   Makarius
      • Problems with unsupported Isabelle/PIDE editors   Andreas Kurz
      • Problems with unsupported Isabelle/PIDE editors   Makarius
• instantiate_laws.py in AFP entry Registers   Florian Haftmann
• NEWS: Simplifier declarations   Florian Haftmann

Last message date: Sat Mar 21 10:35:52 CET 2026
Archived on: Sat Mar 21 10:35:56 CET 2026

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