isabelle-dev  

Messages by Date

• 2026/04/14 included jfreechart sources break scala_project Fabian Huch
• 2026/04/13 Time limiting apply and by commands Lawrence Paulson via isabelle-dev
• 2026/03/21 NEWS: Simplifier declarations Florian Haftmann
• 2026/03/11 instantiate_laws.py in AFP entry Registers Florian Haftmann
• 2026/03/09 Re: Problems with unsupported Isabelle/PIDE editors Makarius
• 2026/03/09 Re: Problems with unsupported Isabelle/PIDE editors Andreas Kurz via isabelle-dev
• 2026/03/09 Re: Problems with unsupported Isabelle/PIDE editors Makarius
• 2026/03/07 Re: [PATCH] VSCode fix: Dynamic_Ouput JSON serialization error `Bad JSON value: isabelle.vscode.LSP$$$Lambda` Andreas Kurz via isabelle-dev
• 2026/03/07 Re: [PATCH] VSCode fix: Dynamic_Ouput JSON serialization error `Bad JSON value: isabelle.vscode.LSP$$$Lambda` Makarius
• 2026/03/06 [PATCH] VSCode fix: Dynamic_Ouput JSON serialization error `Bad JSON value: isabelle.vscode.LSP$$$Lambda` Andreas Kurz via isabelle-dev
• 2026/03/05 Re: Auto-insert error in current development version Makarius
• 2026/03/05 Auto-insert error in current development version Lawrence Paulson via isabelle-dev
• 2026/02/28 Re: NEWS: Isabelle/jEdit hyperlinks and navigation Makarius
• 2026/02/28 NEWS: Isabelle/jEdit F1 versus S+F1 Makarius
• 2026/02/28 NEWS: Isabelle/jEdit menus Makarius
• 2026/02/28 NEWS: Isabelle/jEdit hyperlinks and navigation Makarius
• 2026/02/14 Re: Problems in AFP Lawrence Paulson via isabelle-dev
• 2026/02/14 Problems in AFP Florian Haftmann
• 2026/02/14 Re: A Missing Lemma Dual to nn_integral_FTC_atLeast 伊藤洋介
• 2026/02/14 Re: A Missing Lemma Dual to nn_integral_FTC_atLeast Lawrence Paulson via isabelle-dev
• 2026/02/14 Re: A Missing Lemma Dual to nn_integral_FTC_atLeast 伊藤洋介
• 2026/02/14 Re: A Missing Lemma Dual to nn_integral_FTC_atLeast Lawrence Paulson via isabelle-dev
• 2026/02/11 A Missing Lemma Dual to nn_integral_FTC_atLeast 伊藤洋介
• 2026/01/30 Re: build_task Fabian Huch
• 2026/01/30 build_task Lawrence Paulson via isabelle-dev
• 2026/01/24 Update to jdk-21.0.10 Makarius
• 2026/01/24 Re: The future of macos vs. macos_arm Lawrence Paulson via isabelle-dev
• 2026/01/24 Re: The future of macos vs. macos_arm Makarius
• 2026/01/24 Re: The future of macos vs. macos_arm Lawrence Paulson via isabelle-dev
• 2026/01/24 Re: The future of macos vs. macos_arm Makarius
• 2026/01/24 Re: The future of macos vs. macos_arm Makarius
• 2026/01/24 Re: The future of macos vs. macos_arm Lawrence Paulson via isabelle-dev
• 2026/01/24 Re: NEWS: Multiple hyperlinks in PIDE Makarius
• 2026/01/23 Re: NEWS: Multiple hyperlinks in PIDE Makarius
• 2026/01/23 The future of macos vs. macos_arm Makarius
• 2026/01/23 NEWS: Multiple hyperlinks in PIDE Makarius
• 2026/01/19 NEWS: Isabelle2025-2 supersedes Isabelle2025-1 Makarius
• 2026/01/14 Thy_Info.use_thy_legacy removed Makarius
• 2026/01/14 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Makarius
• 2026/01/13 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Makarius
• 2026/01/13 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Fabian Huch
• 2026/01/12 Re: zombie proof processes: veriT Peter Lammich
• 2026/01/11 NEWS: Build progress and interrupts in Isabelle/Scala Makarius
• 2026/01/10 NEWS Florian Haftmann
• 2026/01/06 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Fabian Huch
• 2026/01/02 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Makarius
• 2026/01/02 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Tobias Nipkow
• 2026/01/01 Re: duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Makarius
• 2025/12/30 duplicate key value violates unique constraint "isabelle_build_sessions_pkey" Florian Haftmann
• 2025/12/24 Re: Problem in AFP Makarius
• 2025/12/24 Problem in AFP Florian Haftmann
• 2025/12/17 Re: Final notice: release snapshot of Isabelle2025-1 tomorrow Makarius
• 2025/12/16 Final notice: release snapshot of Isabelle2025-1 tomorrow Makarius
• 2025/12/16 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Florian Haftmann
• 2025/12/15 Re: build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists Fabian Huch
• 2025/12/14 Re: build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists Achim D. Brucker
• 2025/12/14 build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already exists Florian Haftmann
• 2025/12/08 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/06 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/06 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/06 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Florian Haftmann
• 2025/12/06 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Peter Lammich
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Daniel Matichuk via isabelle-dev
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Daniel Matichuk via isabelle-dev
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/05 Re: Incorrect result from signed right-shift when using Code_Target_Numeral Makarius
• 2025/12/05 A different mouse issue Lawrence Paulson via isabelle-dev
• 2025/12/04 Incorrect result from signed right-shift when using Code_Target_Numeral Daniel Matichuk via isabelle-dev
• 2025/12/04 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Florian Haftmann
• 2025/12/02 afp-2025-1 fork now available Gerwin Klein via isabelle-dev
• 2025/12/02 Java/AWT/Swing problem with text input boxes vs. mouse selection Makarius
• 2025/12/02 Re: NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse Makarius
• 2025/12/02 Re: NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse Lawrence Paulson via isabelle-dev
• 2025/12/01 NEWS: Isabelle/jEdit: more robust and reactive mouse handler, notably for macOS with Magic Mouse Makarius
• 2025/11/30 Re: Towards Isabelle2025-1-RC3 and AFP release Makarius
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Makarius
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Makarius
• 2025/11/28 Re: zombie proof processes Manuel Eberl
• 2025/11/28 Re: zombie proof processes Peter Lammich
• 2025/11/28 Re: Towards Isabelle2025-1-RC3 and AFP release Makarius
• 2025/11/28 Re: Towards Isabelle2025-1-RC3 and AFP release Tobias Nipkow
• 2025/11/28 Fork of isabelle-dev vs. isabelle-release Makarius
• 2025/11/28 Re: zombie proof processes Makarius
• 2025/11/28 Re: Towards Isabelle2025-1-RC3 and AFP release Makarius
• 2025/11/28 Re: zombie proof processes Peter Lammich
• 2025/11/28 Re: zombie proof processes Lawrence Paulson via isabelle-dev
• 2025/11/28 Re: zombie proof processes Peter Lammich
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Lawrence Paulson via isabelle-dev
• 2025/11/28 Re: zombie proof processes Makarius
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Makarius
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Manuel Eberl
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Lawrence Paulson via isabelle-dev
• 2025/11/28 Re: OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize Fabian Huch
• 2025/11/28 Re: [isabelle] Simplifier fails when dealing with mix of Pure and HOL terms Lawrence Paulson via isabelle-dev
• 2025/11/28 Re: OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize Makarius
• 2025/11/28 OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize Fabian Huch
• 2025/11/28 Re: Towards Isabelle2025-1-RC3 and AFP release Makarius
• 2025/11/27 Re: Towards Isabelle2025-1-RC3 and AFP release Gerwin Klein via isabelle-dev
• 2025/11/27 Re: zombie proof processes Lawrence Paulson via isabelle-dev
• 2025/11/27 Re: zombie proof processes Makarius
• 2025/11/27 Towards Isabelle2025-1-RC3 and AFP release Makarius
• 2025/11/27 Towards Isabelle2025-1-RC3 and AFP release Makarius
• 2025/11/26 Re: More attacks by dump AI-bots Makarius
• 2025/11/26 Re: More attacks by dump AI-bots Makarius
• 2025/11/25 Re: Servers offline Fabian Huch
• 2025/11/25 Servers offline Fabian Huch
• 2025/11/20 Re: [Afp-submit] AFP entry Neural_Networks Peter Lammich
• 2025/11/20 Re: [Afp-submit] AFP entry Neural_Networks Lawrence Paulson via isabelle-dev
• 2025/11/20 Re: [Afp-submit] AFP entry Neural_Networks Makarius
• 2025/11/20 Re: [Afp-submit] AFP entry Neural_Networks Achim D. Brucker
• 2025/11/20 Re: [Afp-submit] AFP entry Neural_Networks Peter Lammich
• 2025/11/20 Re: zombie proof processes Lawrence Paulson via isabelle-dev
• 2025/11/20 Re: AFP entry Neural_Networks Lawrence Paulson via isabelle-dev
• 2025/11/19 Re: AFP entry Neural_Networks Achim D. Brucker
• 2025/11/19 Re: zombie proof processes Makarius
• 2025/11/19 NEWS: Isabelle_System.ML_process vs. "isabelle ML_process" Makarius
• 2025/11/19 Re: Towards Isabelle2025-1-RC2 Makarius
• 2025/11/19 AFP entry Neural_Networks Lawrence Paulson via isabelle-dev
• 2025/11/18 Towards Isabelle2025-1-RC2 Makarius
• 2025/11/17 Re: More attacks by dump AI-bots Makarius
• 2025/11/17 NEWS: updates on Isabelle/VSCode Makarius
• 2025/11/17 Re: zombie proof processes Makarius
• 2025/11/17 Re: More attacks by dump AI-bots Achim D. Brucker
• 2025/11/17 Re: More attacks by dump AI-bots Makarius
• 2025/11/17 Re: More attacks by dump AI-bots Achim D. Brucker
• 2025/11/17 Re: More attacks by dump AI-bots Makarius
• 2025/11/16 More attacks by dump AI-bots Makarius
• 2025/11/16 Re: zombie proof processes: veriT Makarius
• 2025/11/10 Re: zombie proof processes: veriT Makarius
• 2025/11/10 Re: zombie proof processes: veriT Alexander Pach via isabelle-dev
• 2025/11/10 Re: zombie proof processes: veriT Makarius
• 2025/11/07 Re: zombie proof processes Peter Lammich
• 2025/11/07 Re: zombie proof processes Makarius
• 2025/11/06 Re: zombie proof processes Peter Lammich
• 2025/11/06 Re: zombie proof processes Makarius
• 2025/11/06 Re: zombie proof processes Manuel Eberl
• 2025/11/06 zombie proof processes Lawrence Paulson via isabelle-dev
• 2025/11/05 Re: Towards Isabelle2025-1-RC1 Makarius
• 2025/11/04 Re: Testing macOS 26 Tahoe Makarius
• 2025/11/04 Re: Testing macOS 26 Tahoe Lawrence Paulson via isabelle-dev
• 2025/11/04 Testing macOS 26 Tahoe Makarius
• 2025/11/03 NEWS: support for screen reader technology in Isabelle/jEdit Makarius
• 2025/11/03 Re: Towards Isabelle2025-1-RC1 Makarius
• 2025/11/03 NEWS: Isabelle/VSCode GUI panels Makarius
• 2025/10/27 Problem in AFP Florian Haftmann
• 2025/10/27 Towards Isabelle2025-1-RC1 Makarius
• 2025/10/23 Re: Architecture problem Jasmin Blanchette
• 2025/10/23 Re: Architecture problem Tjark Weber
• 2025/10/23 Re: Problem in AFP / AutoCorres2_Main Lawrence Paulson via isabelle-dev
• 2025/10/23 Problem in AFP / AutoCorres2_Main Florian Haftmann
• 2025/10/23 Re: Architecture problem Jasmin Blanchette
• 2025/10/22 Re: Architecture problem Mathias Fleury
• 2025/10/22 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/22 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/22 Re: Architecture problem Manuel Eberl
• 2025/10/22 Re: Architecture problem Jasmin Blanchette
• 2025/10/21 Re: Architecture problem Tobias Nipkow
• 2025/10/21 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/21 NEWS: Discontinue isabelle process -T / use_thy Makarius
• 2025/10/21 NEWS: update to polyml-5.9.2 Makarius
• 2025/10/21 Re: Architecture problem Makarius
• 2025/10/21 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/21 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/21 Re: Architecture problem Jasmin Blanchette
• 2025/10/21 Re: Architecture problem Makarius
• 2025/10/21 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/21 Re: Architecture problem Makarius
• 2025/10/21 Re: Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/21 Re: Architecture problem Makarius
• 2025/10/21 Re: Architecture problem Makarius
• 2025/10/21 Architecture problem Lawrence Paulson via isabelle-dev
• 2025/10/19 NEWS: More detailed build progress Makarius
• 2025/10/18 Re: Repository version on Isabelle website hidden behind login Tobias Nipkow
• 2025/10/17 Isabelle2025-1-RC0 available for experimentation Makarius
• 2025/10/13 Re: Isabelle2025-1-RC0 available for experimentation Makarius
• 2025/09/25 build cluster: java.lang.OutOfMemoryError: Java heap space Makarius
• 2025/09/24 Re: Repository version on Isabelle website hidden behind login Makarius
• 2025/09/24 Re: Repository version on Isabelle website hidden behind login Kevin Kappelmann via isabelle-dev
• 2025/09/14 Re: Significant slowdown of HOL-ex and HOL-Codegenerator_Test Lawrence Paulson via isabelle-dev
• 2025/09/13 Significant slowdown of HOL-ex and HOL-Codegenerator_Test Makarius
• 2025/09/12 Isabelle/VSCode: update to recent VSCodium 1.104 Makarius
• 2025/09/12 Plan for Isabelle2025-1 (December 2025) Makarius
• 2025/09/11 Re: »invalid request« for isabelle build_task Florian Haftmann
• 2025/09/10 Re: »invalid request« for isabelle build_task Fabian Huch
• 2025/09/09 »invalid request« for isabelle build_task Florian Haftmann
• 2025/08/30 Actuarial_Mathematics FAILED Florian Haftmann
• 2025/08/11 Re: Default case for non-exhaustive primrec definitions? Dmitriy Traytel via isabelle-dev
• 2025/08/07 Update to jdk-21.0.8 Makarius
• 2025/08/07 Re: Slowdown of AFP/SC_DOM_Components due to changes in "code-only operations" Florian Haftmann
• 2025/08/06 Re: NEWS: PIDE is able to load theory markup from underlying database Makarius
• 2025/08/06 Re: NEWS: PIDE is able to load theory markup from underlying database Makarius
• 2025/08/06 Re: Off-line? Fabian Huch
• 2025/08/06 Off-line? Lawrence Paulson via isabelle-dev
• 2025/07/31 Re: Noteble slowdown of AFP/Native_Word Florian Haftmann
• 2025/07/31 Re: NEWS: PIDE is able to load theory markup from underlying database Kevin Kappelmann
• 2025/07/27 Re: Noteble slowdown of AFP/Native_Word Makarius
• 2025/07/27 Re: Noteble slowdown of AFP/Native_Word Florian Haftmann

• Earlier messages