November 2025 Archives by subject

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

Starting: Mon Nov 3 19:42:55 CET 2025
Ending: Sun Nov 30 23:00:28 CET 2025
Messages: 70

• [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
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Lawrence Paulson
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Lawrence Paulson
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Manuel Eberl
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Makarius
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Lawrence Paulson
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Makarius
• [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms   Makarius
• AFP entry Neural_Networks   Lawrence Paulson
• AFP entry Neural_Networks   Achim D. Brucker
• AFP entry Neural_Networks   Lawrence Paulson
• Fork of isabelle-dev vs. isabelle-release   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
• More attacks by dump AI-bots   Makarius
• More attacks by dump AI-bots   Makarius
• More attacks by dump AI-bots   Makarius
• NEWS: Isabelle/VSCode GUI panels   Makarius
• NEWS: Isabelle_System.ML_process vs. "isabelle ML_process"   Makarius
• NEWS: support for screen reader technology in Isabelle/jEdit   Makarius
• NEWS: updates on Isabelle/VSCode   Makarius
• OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize   Fabian Huch
• OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize   Makarius
• OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize   Fabian Huch
• Servers offline   Fabian Huch
• Servers offline   Fabian Huch
• Testing macOS 26 Tahoe   Makarius
• Testing macOS 26 Tahoe   Lawrence Paulson
• Testing macOS 26 Tahoe   Makarius
• Towards Isabelle2025-1-RC1   Makarius
• Towards Isabelle2025-1-RC1   Makarius
• Towards Isabelle2025-1-RC2   Makarius
• Towards Isabelle2025-1-RC2   Makarius
• Towards Isabelle2025-1-RC3 and AFP release   Makarius
• Towards Isabelle2025-1-RC3 and AFP release   Makarius
• Towards Isabelle2025-1-RC3 and AFP release   Gerwin Klein
• Towards Isabelle2025-1-RC3 and AFP release   Makarius
• Towards Isabelle2025-1-RC3 and AFP release   Makarius
• Towards Isabelle2025-1-RC3 and AFP release   Tobias Nipkow
• Towards Isabelle2025-1-RC3 and AFP release   Makarius
• Towards Isabelle2025-1-RC3 and AFP release   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   Makarius
• zombie proof processes   Makarius
• zombie proof processes   Lawrence Paulson
• zombie proof processes   Makarius
• zombie proof processes   Lawrence Paulson
• zombie proof processes   Makarius
• zombie proof processes   Peter Lammich
• zombie proof processes   Lawrence Paulson
• zombie proof processes   Peter Lammich
• zombie proof processes   Makarius
• zombie proof processes   Peter Lammich
• zombie proof processes   Manuel Eberl
• zombie proof processes: veriT   Makarius
• zombie proof processes: veriT   Alexander Pach
• zombie proof processes: veriT   Makarius
• zombie proof processes: veriT   Makarius

Last message date: Sun Nov 30 23:00:28 CET 2025
Archived on: Sun Nov 30 23:00:41 CET 2025

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