November 2025 Archives by date

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

Starting: Mon Nov 3 19:42:55 CET 2025
Ending: Thu Nov 20 16:28:20 CET 2025
Messages: 38

• NEWS: Isabelle/VSCode GUI panels   Makarius
• Towards Isabelle2025-1-RC1   Makarius
• NEWS: support for screen reader technology in Isabelle/jEdit   Makarius
• Testing macOS 26 Tahoe   Makarius
• Testing macOS 26 Tahoe   Lawrence Paulson
• Testing macOS 26 Tahoe   Makarius
• Towards Isabelle2025-1-RC1   Makarius
• zombie proof processes   Lawrence Paulson
• zombie proof processes   Manuel Eberl
• zombie proof processes   Makarius
• zombie proof processes   Peter Lammich
• zombie proof processes   Makarius
• zombie proof processes   Peter Lammich
• zombie proof processes: veriT   Makarius
• zombie proof processes: veriT   Alexander Pach
• zombie proof processes: veriT   Makarius
• zombie proof processes: veriT   Makarius
• More attacks by dump AI-bots   Makarius
• More attacks by dump AI-bots   Makarius
• More attacks by dump AI-bots   Achim D. Brucker
• More attacks by dump AI-bots   Makarius
• More attacks by dump AI-bots   Achim D. Brucker
• zombie proof processes   Makarius
• NEWS: updates on Isabelle/VSCode   Makarius
• More attacks by dump AI-bots   Makarius
• Towards Isabelle2025-1-RC2   Makarius
• AFP entry Neural_Networks   Lawrence Paulson
• Towards Isabelle2025-1-RC2   Makarius
• NEWS: Isabelle_System.ML_process vs. "isabelle ML_process"   Makarius
• zombie proof processes   Makarius
• AFP entry Neural_Networks   Achim D. Brucker
• AFP entry Neural_Networks   Lawrence Paulson
• zombie proof processes   Lawrence Paulson
• [Afp-submit] AFP entry Neural_Networks   Peter Lammich
• [Afp-submit] AFP entry Neural_Networks   Achim D. Brucker
• [Afp-submit] AFP entry Neural_Networks   Makarius
• [Afp-submit] AFP entry Neural_Networks   Lawrence Paulson
• [Afp-submit] AFP entry Neural_Networks   Peter Lammich

Last message date: Thu Nov 20 16:28:20 CET 2025
Archived on: Thu Nov 20 16:28:22 CET 2025

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