Stream: Mirror: Isabelle Development Mailing List

Topics:

• Problems in AFP (4 messages, latest: Feb 14 2026 at 19:42)
• A Missing Lemma Dual to nn_integral_FTC_atLeast (5 messages, latest: Feb 14 2026 at 12:22)
• build_task (2 messages, latest: Jan 30 2026 at 12:10)
• Update to jdk-21.0.10 (1 message, latest: Jan 24 2026 at 16:21)
• The future of macos vs. macos_arm (7 messages, latest: Jan 24 2026 at 15:51)
• NEWS: Multiple hyperlinks in PIDE (3 messages, latest: Jan 24 2026 at 11:40)
• NEWS: Isabelle2025-2 supersedes Isabelle2025-1 (1 message, latest: Jan 19 2026 at 11:39)
• duplicate key value violates unique constraint "isabelle_... (12 messages, latest: Jan 19 2026 at 11:28)
• Thy_Info.use_thy_legacy removed (1 message, latest: Jan 14 2026 at 20:35)
• zombie proof processes: veriT (5 messages, latest: Jan 12 2026 at 14:41)
• NEWS: Build progress and interrupts in Isabelle/Scala (1 message, latest: Jan 11 2026 at 22:23)
• NEWS (1 message, latest: Jan 10 2026 at 08:51)
• Problem in AFP (3 messages, latest: Dec 24 2025 at 15:28)
• Final notice: release snapshot of Isabelle2025-1 tomorrow (2 messages, latest: Dec 17 2025 at 20:43)
• Incorrect result from signed right-shift when using Code_... (14 messages, latest: Dec 16 2025 at 18:09)
• build.proof.cit.tum.de – Key (name)=(Shadow_DOM) already ... (3 messages, latest: Dec 15 2025 at 08:24)
• A different mouse issue (1 message, latest: Dec 05 2025 at 11:45)
• [isabelle] Simplifier fails when dealing with mix of Pure... (8 messages, latest: Dec 04 2025 at 10:47)
• afp-2025-1 fork now available (1 message, latest: Dec 03 2025 at 05:14)
• NEWS: Isabelle/jEdit: more robust and reactive mouse hand... (4 messages, latest: Dec 02 2025 at 15:21)
• Java/AWT/Swing problem with text input boxes vs. mouse se... (1 message, latest: Dec 02 2025 at 13:15)
• Towards Isabelle2025-1-RC3 and AFP release (8 messages, latest: Nov 30 2025 at 22:09)
• zombie proof processes (20 messages, latest: Nov 28 2025 at 20:38)
• Fork of isabelle-dev vs. isabelle-release (1 message, latest: Nov 28 2025 at 17:18)
• OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize (3 messages, latest: Nov 28 2025 at 14:33)
• More attacks by dump AI-bots (8 messages, latest: Nov 26 2025 at 20:01)
• Servers offline (2 messages, latest: Nov 25 2025 at 09:46)
• [Afp-submit] AFP entry Neural_Networks (5 messages, latest: Nov 20 2025 at 15:28)
• AFP entry Neural_Networks (3 messages, latest: Nov 20 2025 at 11:36)
• NEWS: Isabelle_System.ML_process vs. "isabelle ML_process" (1 message, latest: Nov 19 2025 at 21:00)
• Towards Isabelle2025-1-RC2 (2 messages, latest: Nov 19 2025 at 19:50)
• NEWS: updates on Isabelle/VSCode (1 message, latest: Nov 17 2025 at 12:40)
• Towards Isabelle2025-1-RC1 (3 messages, latest: Nov 05 2025 at 18:47)
• Testing macOS 26 Tahoe (3 messages, latest: Nov 04 2025 at 19:38)
• NEWS: support for screen reader technology in Isabelle/jEdit (1 message, latest: Nov 03 2025 at 20:58)
• NEWS: Isabelle/VSCode GUI panels (1 message, latest: Nov 03 2025 at 18:43)
• Architecture problem (21 messages, latest: Oct 23 2025 at 12:32)
• Problem in AFP / AutoCorres2_Main (2 messages, latest: Oct 23 2025 at 09:30)
• NEWS: Discontinue isabelle process -T / use_thy (1 message, latest: Oct 21 2025 at 19:47)
• NEWS: update to polyml-5.9.2 (1 message, latest: Oct 21 2025 at 19:35)
• NEWS: More detailed build progress (1 message, latest: Oct 19 2025 at 18:59)
• Isabelle2025-1-RC0 available for experimentation (2 messages, latest: Oct 13 2025 at 12:51)
• build cluster: java.lang.OutOfMemoryError: Java heap space (1 message, latest: Sep 25 2025 at 21:00)
• Repository version on Isabelle website hidden behind login (4 messages, latest: Sep 24 2025 at 13:23)
• Significant slowdown of HOL-ex and HOL-Codegenerator_Test (2 messages, latest: Sep 14 2025 at 16:23)
• Isabelle/VSCode: update to recent VSCodium 1.104 (1 message, latest: Sep 12 2025 at 21:26)
• Plan for Isabelle2025-1 (December 2025) (1 message, latest: Sep 12 2025 at 14:14)
• »invalid request« for isabelle build_task (3 messages, latest: Sep 11 2025 at 13:15)
• Actuarial_Mathematics FAILED (1 message, latest: Aug 30 2025 at 18:22)
• Default case for non-exhaustive primrec definitions? (2 messages, latest: Aug 11 2025 at 15:23)
• Update to jdk-21.0.8 (1 message, latest: Aug 07 2025 at 21:34)
• Slowdown of AFP/SC_DOM_Components due to changes in "code... (2 messages, latest: Aug 07 2025 at 17:08)
• NEWS: PIDE is able to load theory markup from underlying ... (6 messages, latest: Aug 06 2025 at 18:44)
• Off-line? (2 messages, latest: Aug 06 2025 at 12:59)
• Noteble slowdown of AFP/Native_Word (4 messages, latest: Jul 31 2025 at 10:20)
• NEWS: More uniform and scalable declarations of intro/eli... (3 messages, latest: Jul 26 2025 at 15:11)
• SMT reconstruction failures (5 messages, latest: Jul 21 2025 at 14:51)
• *** [SQLITE_BUSY] The database file is locked (database i... (2 messages, latest: Jul 17 2025 at 07:47)
• [isabelle] DeepSeek experiment (1 message, latest: Jul 10 2025 at 21:50)
• NEWS: Clarified semantics for adding code equations (1 message, latest: Jun 27 2025 at 06:08)
• Failure in build system (4 messages, latest: Jun 26 2025 at 15:20)
• NEWS: ML platform via system options (1 message, latest: Jun 16 2025 at 10:39)
• build_manager down due to maintenance (2 messages, latest: Jun 16 2025 at 09:48)
• NEWS: Isabelle/jEdit GUI scaling on Linux (1 message, latest: Jun 13 2025 at 14:21)
• How possible is it to create an Isabelle plugin for Neovi... (2 messages, latest: Jun 04 2025 at 07:51)
• AFP broken (2 messages, latest: Jun 01 2025 at 18:31)
• NEWS: System option "record_theories" (1 message, latest: Jun 01 2025 at 18:29)
• Breakdown in build system (2 messages, latest: May 22 2025 at 06:47)
• NEWS: Isabelle/jEdit dark mode (2 messages, latest: May 20 2025 at 18:52)
• Should we use branches? (7 messages, latest: May 16 2025 at 12:18)
• recent.xml – java.lang.IllegalArgumentException: requirem... (3 messages, latest: May 11 2025 at 10:11)
• After more AI bot attacks: isabelle-dev.sketis.net is now... (2 messages, latest: May 07 2025 at 08:42)
• A Missing Lemma Dual to Lim_right_bound (2 messages, latest: May 06 2025 at 18:26)
• [isabelle-dev] type class ordered_semiring_1 (6 messages, latest: May 05 2025 at 10:06)
• Builds keep failing (2 messages, latest: Apr 29 2025 at 11:23)
• legacy_Complex_simps (3 messages, latest: Apr 25 2025 at 11:26)
• Orphaned Code_* theory imports (4 messages, latest: Apr 23 2025 at 18:40)
• Code generation: bit shifts (1 message, latest: Apr 22 2025 at 17:49)
• Problem with polyml-e266a93fe8fe and Generate_Target_Bit_... (3 messages, latest: Apr 15 2025 at 07:36)
• Jedit run failure (2 messages, latest: Apr 05 2025 at 13:26)
• Total build failure in AFP (1 message, latest: Apr 05 2025 at 12:50)
• isabelle-dev.sketis.net and isabelle.sketis.net down for ... (7 messages, latest: Mar 27 2025 at 23:33)
• build_task not working (2 messages, latest: Mar 27 2025 at 14:48)
• NEWS: Support for "isabelle jedit -o OPTION" (1 message, latest: Mar 23 2025 at 15:56)
• NEWS: ZGC of Java 21 now used by default (1 message, latest: Mar 20 2025 at 16:37)
• NEWS: SSH connections allow both bash and zsh (1 message, latest: Mar 20 2025 at 10:39)
• Final Isabelle2025 planned for tomorrow (3 messages, latest: Mar 13 2025 at 15:17)
• Towards Isabelle2025-RC3 and repository fork (6 messages, latest: Feb 19 2025 at 22:15)
• Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:2... (2 messages, latest: Feb 16 2025 at 10:35)
• -- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scal... (1 message, latest: Feb 16 2025 at 10:24)
• Update to scala-3.3.5 (2 messages, latest: Feb 13 2025 at 16:29)
• Towards Isabelle2025-RC2 (5 messages, latest: Feb 12 2025 at 22:20)
• NEWS: update to MLton 20241230 (1 message, latest: Feb 03 2025 at 20:10)
• Towards Isabelle2025-RC1 (3 messages, latest: Feb 03 2025 at 19:49)
• channel events (1 message, latest: Feb 03 2025 at 09:52)
• NEWS: update to FlatLaf 3.5.4 (Update) (1 message, latest: Feb 02 2025 at 16:09)
• NEWS: update to FlatLaf 3.5.4 (2 messages, latest: Feb 01 2025 at 22:38)
• NEWS: move from CVC4 to cvc5 (4 messages, latest: Feb 01 2025 at 12:19)
• Failure of AFP/Go_Test_Slow (3 messages, latest: Jan 31 2025 at 22:38)
• NEWS: Improvements of Adhoc Overloading (1 message, latest: Jan 28 2025 at 14:52)
• MLton [was: Failure of AFP/Native_Word_Test_SMLNJ2 with S... (2 messages, latest: Jan 28 2025 at 12:04)
• Build_Manager breakdown (2 messages, latest: Jan 27 2025 at 19:35)
• Failure of AFP/Native_Word_Test_SMLNJ2 with SML/NJ (4 messages, latest: Jan 27 2025 at 11:43)
• Update to jdk-21.0.6 (2 messages, latest: Jan 24 2025 at 21:44)
• Build Manager Server Down (2 messages, latest: Jan 17 2025 at 11:38)
• An Isabelle Foundation? (2 messages, latest: Jan 15 2025 at 08:36)
• Broken AFP/SCL_Simulates_Ground_Resolution (2 messages, latest: Jan 12 2025 at 10:17)
• NEWS and CONTRIBUTORS for Isabelle2025 (1 message, latest: Jan 10 2025 at 21:16)
• NEWS: more LaTeX markup (10 messages, latest: Jan 08 2025 at 10:06)
• Remaining uses of show_brackets (1 message, latest: Jan 07 2025 at 22:18)
• Address (6 messages, latest: Jan 07 2025 at 16:07)
• build.proof.cit.tum.de: Connection closed / Internal serv... (2 messages, latest: Jan 07 2025 at 11:54)
• Problem with isabelle build_task (4 messages, latest: Dec 20 2024 at 07:41)
• Something weird in Nat.thy (3 messages, latest: Dec 19 2024 at 15:49)
• NEWS: Isabelle/jEdit improvements (2 messages, latest: Nov 22 2024 at 19:58)
• NEWS: jEdit 5.7.0 (1 message, latest: Nov 15 2024 at 22:30)
• [isabelle-dev] Failure of AFP/Proof_Strategy_Language (4 messages, latest: Oct 28 2024 at 10:21)
• [isabelle-dev] NEWS: Build Manager (1 message, latest: Oct 28 2024 at 09:38)
• [isabelle-dev] NEWS: Improved strategy for printing term ... (1 message, latest: Oct 24 2024 at 21:30)
• [isabelle-dev] Build Manager problem (3 messages, latest: Oct 21 2024 at 17:50)
• [isabelle-dev] NEWS: Type constraints for constants (inne... (3 messages, latest: Oct 18 2024 at 20:56)
• [isabelle-dev] Remaining uses of show_brackets (12 messages, latest: Oct 11 2024 at 11:52)
• [isabelle-dev] NEWS: Inner-syntax markup and declaration ... (5 messages, latest: Oct 10 2024 at 14:32)
• [isabelle-dev] Brief TUM server outage (1 message, latest: Oct 02 2024 at 11:21)
• [isabelle-dev] Plan for Isabelle2025 release (4 messages, latest: Sep 28 2024 at 10:40)
• [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point... (7 messages, latest: Apr 22 2024 at 10:18)
• [isabelle-dev] Last minute acknowledgement (1 message, latest: Apr 18 2024 at 13:28)
• [isabelle-dev] Towards Isabelle2024-RC1 (3 messages, latest: Apr 03 2024 at 15:06)
• [isabelle-dev] NEWS: isabelle go_setup (6 messages, latest: Mar 28 2024 at 09:56)
• [isabelle-dev] Admin/components/README.md (2 messages, latest: Mar 27 2024 at 13:46)
• [isabelle-dev] Timing for AFP/CakeML_Codegen (4 messages, latest: Mar 25 2024 at 13:26)
• [isabelle-dev] 20 years of AFP (5 messages, latest: Mar 22 2024 at 14:54)
• [isabelle-dev] Proven support for Linux ARM64 (20 messages, latest: Mar 21 2024 at 09:47)
• [isabelle-dev] HOL-ex.Sketch_and_Explore (5 messages, latest: Mar 20 2024 at 10:47)
• [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muench... (7 messages, latest: Mar 19 2024 at 21:11)
• [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenc... (1 message, latest: Mar 19 2024 at 11:51)
• [isabelle-dev] Something wrong with lxbroy10.informatik.t... (1 message, latest: Mar 18 2024 at 11:06)
• [isabelle-dev] Failure of AFP/Polylog (3 messages, latest: Mar 12 2024 at 22:09)
• [isabelle-dev] Isabelle2024-RC0: Issue with LargeInt.int ... (2 messages, latest: Mar 12 2024 at 16:44)
• [isabelle-dev] Script characters in words (5 messages, latest: Mar 06 2024 at 16:41)
• [isabelle-dev] Testboard timeout (3 messages, latest: Mar 05 2024 at 16:20)
• [isabelle-dev] Update to scala-3.3.3 (1 message, latest: Mar 01 2024 at 20:47)
• [isabelle-dev] e-3.0.03 available for testing (1 message, latest: Mar 01 2024 at 20:43)
• [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^ (10 messages, latest: Feb 29 2024 at 22:36)
• [isabelle-dev] [isabelle] Relaxing type class constraints... (1 message, latest: Jan 26 2024 at 12:34)
• [isabelle-dev] Update to OpenJDK 21.0.2 (1 message, latest: Jan 24 2024 at 22:33)
• [isabelle-dev] Plan for Isabelle2024 release (2 messages, latest: Jan 09 2024 at 10:19)
• [isabelle-dev] Digitology: Leading the Digital Revolution... (1 message, latest: Dec 25 2023 at 13:19)
• [isabelle-dev] NEWS: Update to OpenJDK 21 (2 messages, latest: Nov 24 2023 at 21:21)
• [isabelle-dev] Session builds with threads>1 but never te... (2 messages, latest: Nov 14 2023 at 10:50)
• [isabelle-dev] NEWS: Update of GHC stack with full suppor... (1 message, latest: Oct 17 2023 at 11:19)
• [isabelle-dev] NEWS: Discontinuation of very old Linux an... (1 message, latest: Oct 17 2023 at 11:12)
• [isabelle-dev] Pink tactics (4 messages, latest: Oct 12 2023 at 20:13)
• [isabelle-dev] ML: distinguish proper interrupts from Pol... (1 message, latest: Oct 12 2023 at 20:06)
• [isabelle-dev] Is the distribution broken? (2 messages, latest: Oct 04 2023 at 06:42)
• [isabelle-dev] NEWS: Robust handling of program exception... (1 message, latest: Sep 29 2023 at 12:24)
• [isabelle-dev] testboard (6 messages, latest: Sep 11 2023 at 07:16)
• [isabelle-dev] Latex problem on the AFP (3 messages, latest: Sep 01 2023 at 09:48)
• [isabelle-dev] Status of Isabelle "go" component (1 message, latest: Aug 25 2023 at 12:25)
• [isabelle-dev] Isabelle2023-RC3 release fork today (3 messages, latest: Aug 10 2023 at 21:43)
• [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release (8 messages, latest: Aug 08 2023 at 13:10)
• [isabelle-dev] Release Candidates for Isabelle2023 (1 message, latest: Jul 02 2023 at 13:15)
• [isabelle-dev] quickcheck throws "Type unification failed... (2 messages, latest: Jun 26 2023 at 10:52)
• [isabelle-dev] NEWS: significantly reduced ML heap usage (3 messages, latest: May 31 2023 at 10:53)
• [isabelle-dev] Proposal to add a new \<notapprox> symbol ... (2 messages, latest: May 29 2023 at 11:21)
• [isabelle-dev] Update to jdk-17.0.7 (1 message, latest: May 09 2023 at 21:51)
• [isabelle-dev] Towards the Isabelle2023 release (1 message, latest: Apr 24 2023 at 09:27)
• [isabelle-dev] AFP: PAPP_Impossibility not terminating (9 messages, latest: Apr 18 2023 at 21:37)
• [isabelle-dev] Sous-traitance Isabelle_DOF (1 message, latest: Mar 30 2023 at 15:53)
• [isabelle-dev] Problem in AFP (4 messages, latest: Mar 26 2023 at 18:55)
• [isabelle-dev] Application of method algebra fails (2 messages, latest: Mar 22 2023 at 22:55)
• [isabelle-dev] Two new experimental features in Sledgehammer (6 messages, latest: Mar 10 2023 at 10:08)
• How to build for arm64-darwin from source? (1 message, latest: Feb 15 2023 at 10:11)
• [isabelle-dev] Function package creates duplicate simp rule (1 message, latest: Jan 25 2023 at 17:04)
• [isabelle-dev] Update to OpenJDK 17.0.6 (1 message, latest: Jan 23 2023 at 22:17)
• [isabelle-dev] Error in "cite" anitquotation (4 messages, latest: Jan 21 2023 at 20:17)
• [isabelle-dev] HOL/Library/BigO.thy (12 messages, latest: Jan 11 2023 at 16:04)
• [isabelle-dev] NEWS: Support for interactive document pre... (1 message, latest: Dec 21 2022 at 21:42)
• [isabelle-dev] lemma top_empty_eq should not have attribu... (3 messages, latest: Dec 05 2022 at 09:35)
• [isabelle-dev] Update to scala-3.2.1 (1 message, latest: Nov 25 2022 at 22:06)
• [isabelle-dev] Update to jdk-17.0.5 (Oct-2022) (1 message, latest: Nov 25 2022 at 22:03)
• [isabelle-dev] Syntax highlighting for approx. 300 langua... (1 message, latest: Nov 13 2022 at 20:22)
• [isabelle-dev] NEWS: Demo documents for well-known LaTeX ... (5 messages, latest: Nov 10 2022 at 21:59)
• [isabelle-dev] From name string to Sledgehammer_Fact.fact... (1 message, latest: Nov 10 2022 at 10:51)
• [isabelle-dev] New Code Generator Target: F# (20 messages, latest: Nov 05 2022 at 23:10)
• [isabelle-dev] Fossil SCM (SQLite) (2 messages, latest: Nov 05 2022 at 21:36)
• [isabelle-dev] NEWS: Zstd compression for Isabelle/Scala ... (3 messages, latest: Oct 21 2022 at 20:01)
• [isabelle-dev] Isabelle/VSCode bootstrap issue: "SML lexi... (1 message, latest: Oct 17 2022 at 14:38)
• [isabelle-dev] [isabelle] Suggestions for src/HOL/Fun.thy (1 message, latest: Oct 10 2022 at 10:29)
• [isabelle-dev] Isabelle2022-RC3 with repository fork: Sun... (10 messages, latest: Oct 06 2022 at 12:43)
• [isabelle-dev] Isabelle2022-RC3 after repository fork (1 message, latest: Oct 02 2022 at 18:27)
• [isabelle-dev] Isabelle2022-RC2 still before the release ... (6 messages, latest: Oct 01 2022 at 16:58)
• [isabelle-dev] NEWS: A new, verified order prover. (2 messages, latest: Sep 30 2022 at 17:58)
• [isabelle-dev] AFP Entries failing (3 messages, latest: Sep 26 2022 at 19:08)
• [isabelle-dev] NEWS: MLton compiler for x86_64-linux (2 messages, latest: Sep 18 2022 at 11:23)
• [isabelle-dev] NEWS: Isabelle/Scala SSH connections use O... (1 message, latest: Sep 15 2022 at 09:59)
• [isabelle-dev] Testboard (1 message, latest: Sep 11 2022 at 13:38)
• [isabelle-dev] Isabelle2022 process (1 message, latest: Sep 11 2022 at 11:03)
• [isabelle-dev] NEWS: Command-line tool "isabelle log" and... (2 messages, latest: Sep 11 2022 at 05:27)
• [isabelle-dev] NEWS: Display of schematic goal instance (2 messages, latest: Sep 09 2022 at 16:02)
• [isabelle-dev] Isabelle/CTT (2 messages, latest: Sep 09 2022 at 14:17)
• [isabelle-dev] [SQLITE_READONLY_DBMOVED] The database fil... (2 messages, latest: Sep 09 2022 at 09:37)
• [isabelle-dev] Group theory developments on Jacobson Basi... (1 message, latest: Sep 02 2022 at 13:35)
• [isabelle-dev] Update of VSCodium/Electron/Node.js (1 message, latest: Aug 30 2022 at 10:27)
• [isabelle-dev] NEWS: Session ROOT files support 'chapter_... (1 message, latest: Aug 27 2022 at 20:11)
• [isabelle-dev] Sum_of_Powers and "potential disaster" (2 messages, latest: Aug 26 2022 at 14:13)
• [isabelle-dev] Towards the Isabelle2022 release (1 message, latest: Aug 22 2022 at 09:26)
• [isabelle-dev] Query panel not working in rev. d7e0b6620c07 (2 messages, latest: Aug 20 2022 at 21:59)
• [isabelle-dev] Sum_of_powers (6 messages, latest: Aug 16 2022 at 06:29)
• [isabelle-dev] Quick and dirty evaluation of reals (2 messages, latest: Aug 11 2022 at 21:51)
• [isabelle-dev] lists of n elements (5 messages, latest: Aug 04 2022 at 17:12)
• [isabelle-dev] [gdr.gpl ] New funding opportunity for Ope... (1 message, latest: Jul 29 2022 at 05:39)
• [isabelle-dev] Cannot compile the latest version (3 messages, latest: Jul 07 2022 at 16:06)
• [isabelle-dev] NEWS: Isabelle/Scala is now based on Scala 3 (1 message, latest: Jul 06 2022 at 15:17)
• [isabelle-dev] NEWS: Isabelle/ML type Bytes.T and XZ comp... (1 message, latest: Jul 06 2022 at 13:46)
• [isabelle-dev] NEWS: command-line tools "isabelle hg_sync... (1 message, latest: Jun 11 2022 at 21:09)
• [isabelle-dev] Missing generic predication for monotone f... (6 messages, latest: May 23 2022 at 11:20)
• [isabelle-dev] Moving towards Scala 3 (2 messages, latest: Apr 07 2022 at 07:57)
• [isabelle-dev] Isabelle/VSCode as bundled application (an... (2 messages, latest: Mar 25 2022 at 13:02)
• [isabelle-dev] Isabelle/VSCode as bundled application (1 message, latest: Mar 25 2022 at 12:38)
• [isabelle-dev] New lemmas about count_list (5 messages, latest: Mar 10 2022 at 19:08)
• [isabelle-dev] Moving some library material to the AFP (1 message, latest: Mar 03 2022 at 14:45)
• [isabelle-dev] Theories Code_*Int* in AFP entry Native_Word (1 message, latest: Feb 26 2022 at 19:37)
• [isabelle-dev] Indexing the Isabelle-users archive (1 message, latest: Feb 08 2022 at 11:32)
• [isabelle-dev] Testboard web interface seems to be down (2 messages, latest: Feb 02 2022 at 14:23)
• [isabelle-dev] New Sledgehammer multitheading model (2 messages, latest: Feb 01 2022 at 10:06)
• [isabelle-dev] HOL/Examples vs HOL/ex (2 messages, latest: Jan 30 2022 at 12:30)
• [isabelle-dev] polyml-test-15c840d48c9a with updated ARM6... (2 messages, latest: Jan 28 2022 at 17:55)
• [isabelle-dev] jdk-17.0.2+8 (1 message, latest: Jan 21 2022 at 18:25)
• [isabelle-dev] Locale morphisms (1 message, latest: Jan 07 2022 at 14:37)
• [isabelle-dev] Using commands in custom tools (2 messages, latest: Dec 13 2021 at 15:33)
• [isabelle-dev] Find_Theorems interface (5 messages, latest: Nov 25 2021 at 17:06)
• [isabelle-dev] [Afp-submit] AFP build times out in file/t... (12 messages, latest: Nov 17 2021 at 06:23)
• [isabelle-dev] AFP build times out in file/theory present... (9 messages, latest: Nov 16 2021 at 23:14)
• [isabelle-dev] Back to Z3 4.4.0pre for all platforms exce... (1 message, latest: Nov 16 2021 at 21:37)
• [isabelle-dev] polyml-5.9-610a153b941d (1 message, latest: Nov 16 2021 at 21:14)
• [isabelle-dev] Wish for warning of unescaped underscores ... (2 messages, latest: Nov 13 2021 at 15:41)
• [isabelle-dev] Scala error (5 messages, latest: Nov 13 2021 at 12:13)
• [isabelle-dev] State of the Isabelle2021-1 release process (2 messages, latest: Nov 13 2021 at 11:56)
• [isabelle-dev] Potential problems isabelle-dev mailing li... (2 messages, latest: Nov 13 2021 at 11:42)
• [isabelle-dev] Isabelle2021-1 release fork (2 messages, latest: Nov 13 2021 at 11:19)
• [isabelle-dev] Word Libraries (23 messages, latest: Nov 04 2021 at 21:55)
• [isabelle-dev] [polyml] Towards the next release (5.9) (1 message, latest: Oct 30 2021 at 20:12)
• [isabelle-dev] NEWS: ML antiquotation "instantiate" (1 message, latest: Oct 28 2021 at 20:05)
• [isabelle-dev] Linear arithmetic should have refuted the ... (1 message, latest: Oct 23 2021 at 15:53)
• [isabelle-dev] NEWS: More robust (and more strict) treatm... (1 message, latest: Oct 19 2021 at 20:00)
• [isabelle-dev] Towards the next release --- and release n... (12 messages, latest: Oct 14 2021 at 15:27)
• [isabelle-dev] NEWS: ML antiquotations for type construct... (15 messages, latest: Oct 14 2021 at 13:15)
• [isabelle-dev] Missing Isabelle components: Failed to dow... (8 messages, latest: Oct 11 2021 at 17:53)
• [isabelle-dev] NEWS: Nitpick with external/portable MiniSat (1 message, latest: Oct 08 2021 at 09:29)
• [isabelle-dev] Normalise theorem wrt an environment (5 messages, latest: Sep 29 2021 at 15:50)
• [isabelle-dev] NEWS: Improper proof command 'guess' provi... (2 messages, latest: Sep 27 2021 at 15:23)
• [isabelle-dev] Java 17 LTS (4 messages, latest: Sep 24 2021 at 11:48)
• [isabelle-dev] NEWS: ML antiquotations for object-logic j... (1 message, latest: Sep 22 2021 at 10:55)
• [isabelle-dev] NEWS: Isabelle/ML "build" combinators (1 message, latest: Sep 22 2021 at 10:39)
• [isabelle-dev] NEWS: Scalable operations for Thm.instanti... (1 message, latest: Sep 22 2021 at 10:32)
• [isabelle-dev] NEWS: Configuration option "show_results" (1 message, latest: Sep 22 2021 at 10:27)
• [isabelle-dev] NEWS: Bundles for lattice syntax (1 message, latest: Sep 22 2021 at 10:24)
• [isabelle-dev] NEWS: Localized commands 'syntax' and 'no_... (1 message, latest: Sep 22 2021 at 10:20)
• [isabelle-dev] Extension for jEdit Console Active Area (2 messages, latest: Jul 23 2021 at 13:19)
• [isabelle-dev] NEWS: Isabelle/Scala improvements (1 message, latest: Jul 18 2021 at 20:31)
• [isabelle-dev] [CI] Jenkins build control (1 message, latest: Jul 05 2021 at 14:34)
• [isabelle-dev] complex argument function(s) (10 messages, latest: Jul 03 2021 at 20:22)
• [isabelle-dev] Failure to update isabelle repo checkout (3 messages, latest: Jun 28 2021 at 05:46)
• [isabelle-dev] NEWS (2 messages, latest: Jun 16 2021 at 11:17)
• [isabelle-dev] NEWS: Reactivated ML profiling (1 message, latest: Jun 09 2021 at 12:01)
• [isabelle-dev] NEWS: System options short form (e.g. "-o ... (1 message, latest: Jun 07 2021 at 12:50)
• [isabelle-dev] TUM repository is down? (6 messages, latest: Jun 07 2021 at 09:10)
• [isabelle-dev] testboard directory missing (1 message, latest: Jun 03 2021 at 09:57)
• [isabelle-dev] Problem to push to AFP at heptapod (3 messages, latest: May 27 2021 at 21:51)
• [isabelle-dev] map_ran's type in HOL-Library.AList is too... (2 messages, latest: May 12 2021 at 06:35)
• [isabelle-dev] Admin/init (1 message, latest: Apr 27 2021 at 20:47)
• [isabelle-dev] Sedicated session for material on combinat... (1 message, latest: Mar 28 2021 at 09:07)
• [isabelle-dev] NEWS: High-quality blackboard-bold symbols (1 message, latest: Mar 21 2021 at 23:06)
• [isabelle-dev] NEWS: Remote provers from SystemOnTPTP via... (2 messages, latest: Mar 14 2021 at 21:44)
• [isabelle-dev] Isabelle repository version, problems star... (8 messages, latest: Mar 12 2021 at 15:57)
• [isabelle-dev] [RESOLVED] Isabelle repository version, pr... (4 messages, latest: Mar 12 2021 at 13:31)
• [isabelle-dev] NEWS: Improved LaTeX typesetting of ‹...› (1 message, latest: Mar 11 2021 at 10:30)
• [isabelle-dev] Clarified timeouts for Isabelle/ML tools (1 message, latest: Mar 05 2021 at 21:32)
• [isabelle-dev] Using ML files in subdirectories for code ... (3 messages, latest: Mar 02 2021 at 07:17)
• [isabelle-dev] NEWS: External bash processes are always m... (4 messages, latest: Feb 27 2021 at 15:14)
• [isabelle-dev] lots of interesting lemmas in the AFP entr... (4 messages, latest: Feb 25 2021 at 16:28)
• [isabelle-dev] Problem with the AFP repository at heptapod (11 messages, latest: Feb 14 2021 at 23:32)
• [isabelle-dev] Discontinued archive for devel mailing list (2 messages, latest: Feb 13 2021 at 11:27)
• [isabelle-dev] Potential HTML generation bug (1 message, latest: Jan 23 2021 at 18:31)
• [isabelle-dev] Build of session JEdit requires previous b... (2 messages, latest: Jan 23 2021 at 12:51)
• [isabelle-dev] scala-2.13.4 (1 message, latest: Jan 17 2021 at 11:39)
• [isabelle-dev] Isabelle2021-RC1/2: broken tar balls for L... (4 messages, latest: Jan 13 2021 at 08:53)
• [isabelle-dev] Isabelle2021 release process (8 messages, latest: Jan 12 2021 at 08:10)
• [isabelle-dev] NEWS: Improved GUI look-and-feel (4 messages, latest: Jan 10 2021 at 14:28)
• [isabelle-dev] Java 15 ("zulu") (1 message, latest: Jan 07 2021 at 13:43)
• [isabelle-dev] HOL-ex (1 message, latest: Jan 03 2021 at 11:42)
• [isabelle-dev] Incoherent use of file name "hoare_syntax.ML" (10 messages, latest: Jan 02 2021 at 23:51)
• [isabelle-dev] A proposal for the website (17 messages, latest: Jan 02 2021 at 10:20)
• [isabelle-dev] Isabelle/Phabricator project tags (1 message, latest: Dec 18 2020 at 11:19)
• [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto... (3 messages, latest: Dec 18 2020 at 11:11)
• [isabelle-dev] NEWS: Message logs from session build data... (1 message, latest: Dec 10 2020 at 23:22)
• [isabelle-dev] Towards localized syntax: bundle mixins f... (4 messages, latest: Dec 04 2020 at 14:11)
• [isabelle-dev] Bug in Isabelle 2019/2020 (3 messages, latest: Nov 20 2020 at 09:39)
• [isabelle-dev] Manually using a SideKick parser (3 messages, latest: Nov 18 2020 at 12:26)
• [isabelle-dev] Issues with unnamed top-level facts in Isa... (7 messages, latest: Nov 09 2020 at 13:40)
• [isabelle-dev] Experimental support for arm64-linux (6 messages, latest: Nov 05 2020 at 11:48)
• [isabelle-dev] https://isabelle.in.tum.de/components is down (1 message, latest: Nov 01 2020 at 17:26)
• [isabelle-dev] Towards localized syntax: bundle mixins fo... (2 messages, latest: Nov 01 2020 at 17:09)
• [isabelle-dev] NEWS: update of external provers (4 messages, latest: Oct 29 2020 at 16:51)
• [isabelle-dev] Update to jdk-11.0.9+11 with arm64-linux (1 message, latest: Oct 26 2020 at 20:58)
• [isabelle-dev] [Spam] NEWS: update of external provers (5 messages, latest: Oct 21 2020 at 04:48)
• [isabelle-dev] [Isabelle-ci] Build failure in AFP (6 messages, latest: Oct 20 2020 at 11:03)
• [isabelle-dev] NEWS: Consolidated terminology and functio... (2 messages, latest: Oct 19 2020 at 15:36)
• [isabelle-dev] Word sessions and theories (6 messages, latest: Oct 18 2020 at 22:44)
• [isabelle-dev] LuaLaTeX compatibility improvements in AFP (6 messages, latest: Oct 16 2020 at 14:28)
• [isabelle-dev] Benchmark suite for Isabelle's `rewrite` t... (2 messages, latest: Oct 15 2020 at 11:28)
• [isabelle-dev] Registering not available (4 messages, latest: Oct 14 2020 at 13:29)
• [isabelle-dev] NEWS: Document preparation engine updates (2 messages, latest: Sep 28 2020 at 11:01)
• [isabelle-dev] Plan for Isabelle2021 release (3 messages, latest: Sep 28 2020 at 09:30)
• [isabelle-dev] NEWS: Nitpick/Kodkod may be invoked in the... (2 messages, latest: Sep 25 2020 at 14:10)
• [isabelle-dev] Bits and Words – Current matter of affairs (1 message, latest: Sep 17 2020 at 12:40)
• [isabelle-dev] lex_prod changes (13 messages, latest: Aug 22 2020 at 02:37)
• [isabelle-dev] A suggestion: call eval with try0 (6 messages, latest: Aug 17 2020 at 17:28)
• [isabelle-dev] NEWS: Improved monitoring for Isabelle/ML ... (1 message, latest: Aug 13 2020 at 17:15)
• [isabelle-dev] Debugging help: Hacking the kernel for pro... (6 messages, latest: Aug 08 2020 at 20:55)
• [isabelle-dev] 496cfe488d72 (3 messages, latest: Aug 08 2020 at 16:19)
• [isabelle-dev] testboard stuck? (9 messages, latest: Aug 06 2020 at 13:37)
• [isabelle-dev] testboard failing is groovy? (1 message, latest: Aug 05 2020 at 22:26)
• [isabelle-dev] Dropout in Iptables_Semantics_Examples_Big... (1 message, latest: Aug 05 2020 at 06:33)
• [isabelle-dev] proof state layout (3 messages, latest: Jul 28 2020 at 05:54)
• [isabelle-dev] Isabelle/jEdit won't start today (3 messages, latest: Jul 14 2020 at 13:29)
• stream events (1 message, latest: Jul 13 2020 at 21:27)

Last updated: Feb 19 2026 at 05:22 UTC