isabelle-dev
Thread
Date
Earlier messages
Messages by Date
2024/04/22
Re: [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Makarius
2024/04/18
Re: [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Gerwin Klein
2024/04/18
Re: [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Makarius
2024/04/18
Re: [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Makarius
2024/04/18
Re: [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Makarius
2024/04/18
Re: [isabelle-dev] Last minute acknowledgement
Makarius
2024/04/17
Re: [isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Makarius
2024/04/14
[isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository
Makarius
2024/04/03
Re: [isabelle-dev] Towards Isabelle2024-RC1
Makarius
2024/04/02
Re: [isabelle-dev] Towards Isabelle2024-RC1
Makarius
2024/03/28
Re: [isabelle-dev] NEWS: isabelle go_setup
Makarius
2024/03/28
Re: [isabelle-dev] NEWS: isabelle go_setup
Fabian Huch
2024/03/27
Re: [isabelle-dev] NEWS: isabelle go_setup
Makarius
2024/03/27
Re: [isabelle-dev] NEWS: isabelle go_setup
Makarius
2024/03/27
Re: [isabelle-dev] NEWS: isabelle go_setup
Makarius
2024/03/27
Re: [isabelle-dev] Admin/components/README.md
Makarius
2024/03/26
[isabelle-dev] NEWS: isabelle go_setup
Makarius
2024/03/25
[isabelle-dev] Admin/components/README.md
Makarius
2024/03/25
[isabelle-dev] Towards Isabelle2024-RC1
Makarius
2024/03/25
Re: [isabelle-dev] Timing for AFP/CakeML_Codegen
Tobias Nipkow
2024/03/25
Re: [isabelle-dev] Timing for AFP/CakeML_Codegen
Makarius
2024/03/25
Re: [isabelle-dev] Timing for AFP/CakeML_Codegen
Tobias Nipkow
2024/03/25
[isabelle-dev] Timing for AFP/CakeML_Codegen
Makarius
2024/03/22
Re: [isabelle-dev] 20 years of AFP
Tobias Nipkow
2024/03/21
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/03/20
Re: [isabelle-dev] 20 years of AFP
Fabian Huch
2024/03/20
Re: [isabelle-dev] HOL-ex.Sketch_and_Explore
Lawrence Paulson
2024/03/20
Re: [isabelle-dev] HOL-ex.Sketch_and_Explore
Makarius
2024/03/19
Re: [isabelle-dev] Proven support for Linux ARM64
Haniel Barbosa
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Manuel Eberl
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Lawrence Paulson
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Manuel Eberl
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Makarius
2024/03/19
Re: [isabelle-dev] 20 years of AFP
Makarius
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Peter Lammich
2024/03/19
Re: [isabelle-dev] 20 years of AFP
Fabian Huch
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Lawrence Paulson
2024/03/19
Re: [isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Jasmin Blanchette
2024/03/19
[isabelle-dev] 20 years of AFP
Fabian Huch
2024/03/19
[isabelle-dev] Mercurial on lxbroy10.informatik.tu-muenchen.de
Lawrence Paulson
2024/03/18
Re: [isabelle-dev] HOL-ex.Sketch_and_Explore
Lawrence Paulson
2024/03/18
[isabelle-dev] Something wrong with lxbroy10.informatik.tu-muenchen.de?
Lawrence Paulson
2024/03/15
Re: [isabelle-dev] HOL-ex.Sketch_and_Explore
Simon Wimmer
2024/03/12
Re: [isabelle-dev] Failure of AFP/Polylog
Makarius
2024/03/12
Re: [isabelle-dev] Isabelle2024-RC0: Issue with LargeInt.int <> int unification
Makarius
2024/03/12
[isabelle-dev] Isabelle2024-RC0: Issue with LargeInt.int <> int unification
Joshua K .
2024/03/12
Re: [isabelle-dev] Failure of AFP/Polylog
Lawrence Paulson
2024/03/12
[isabelle-dev] Failure of AFP/Polylog
Makarius
2024/03/06
Re: [isabelle-dev] Script characters in words
Makarius
2024/03/06
Re: [isabelle-dev] Script characters in words
Tobias Nipkow
2024/03/06
Re: [isabelle-dev] Script characters in words
Makarius
2024/03/06
Re: [isabelle-dev] Script characters in words
Makarius
2024/03/06
[isabelle-dev] Script characters in words
Lawrence Paulson
2024/03/05
Re: [isabelle-dev] Testboard timeout
Tobias Nipkow
2024/03/05
Re: [isabelle-dev] Testboard timeout
Fabian Huch
2024/03/05
[isabelle-dev] Testboard timeout
Jasmin Blanchette
2024/03/01
Re: [isabelle-dev] Proven support for Linux ARM64
Haniel Barbosa
2024/03/01
[isabelle-dev] Update to scala-3.3.3
Makarius
2024/03/01
[isabelle-dev] e-3.0.03 available for testing
Makarius
2024/03/01
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/03/01
Re: [isabelle-dev] Proven support for Linux ARM64
Haniel Barbosa
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Makarius
2024/02/29
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/02/29
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Makarius
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Fabian Immler
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Makarius
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Fabian Huch
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Tobias Nipkow
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Makarius
2024/02/29
Re: [isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Makarius
2024/02/29
[isabelle-dev] AFP: "enable proof in session Lorenz_C1"^
Makarius
2024/02/19
Re: [isabelle-dev] Proven support for Linux ARM64
Jasmin Blanchette
2024/02/17
Re: [isabelle-dev] Proven support for Linux ARM64
Florian Haftmann
2024/02/16
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/02/16
Re: [isabelle-dev] Proven support for Linux ARM64
Jasmin Blanchette
2024/02/15
Re: [isabelle-dev] Proven support for Linux ARM64
Jasmin Blanchette
2024/02/15
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/02/14
Re: [isabelle-dev] Proven support for Linux ARM64
Lawrence Paulson
2024/02/14
Re: [isabelle-dev] Proven support for Linux ARM64
Jasmin Blanchette
2024/02/14
Re: [isabelle-dev] Proven support for Linux ARM64
Lawrence Paulson
2024/02/14
Re: [isabelle-dev] Proven support for Linux ARM64
Jasmin Blanchette
2024/02/13
Re: [isabelle-dev] Proven support for Linux ARM64
Jasmin Blanchette
2024/02/13
Re: [isabelle-dev] Proven support for Linux ARM64
Makarius
2024/02/06
[isabelle-dev] Proven support for Linux ARM64
Makarius
2024/01/26
Re: [isabelle-dev] [isabelle] Relaxing type class constraints on interval multiplication (HOL-Library.Interval)
Lawrence Paulson
2024/01/24
[isabelle-dev] Update to OpenJDK 21.0.2
Makarius
2024/01/09
Re: [isabelle-dev] Plan for Isabelle2024 release
Makarius
2024/01/09
[isabelle-dev] Plan for Isabelle2024 release
Makarius
2023/12/25
[isabelle-dev] Digitology: Leading the Digital Revolution in Egypt - Your Ultimate Choice for Digital Marketing Excellence
seo 2023
2023/11/24
Re: [isabelle-dev] NEWS: Update to OpenJDK 21
Makarius
2023/11/20
[isabelle-dev] NEWS: Update to OpenJDK 21
Makarius
2023/11/14
Re: [isabelle-dev] Session builds with threads>1 but never terminates for threads=1
Lawrence Paulson
2023/11/14
[isabelle-dev] Session builds with threads>1 but never terminates for threads=1
Fabian Huch
2023/10/23
[isabelle-dev] HOL-ex.Sketch_and_Explore
Lawrence Paulson
2023/10/17
[isabelle-dev] NEWS: Update of GHC stack with full support for ARM64 platforms
Makarius
2023/10/17
[isabelle-dev] NEWS: Discontinuation of very old Linux and macOS versions
Makarius
2023/10/12
Re: [isabelle-dev] Pink tactics
Makarius
2023/10/12
[isabelle-dev] ML: distinguish proper interrupts from Poly/ML RTS breakdown
Makarius
2023/10/03
Re: [isabelle-dev] Is the distribution broken?
Martin Desharnais
2023/10/03
[isabelle-dev] Is the distribution broken?
Lawrence Paulson
2023/09/29
[isabelle-dev] NEWS: Robust handling of program exceptions in Isabelle/ML
Makarius
2023/09/11
Re: [isabelle-dev] testboard
Fabian Huch
2023/09/10
[isabelle-dev] testboard
Lawrence Paulson
2023/09/06
Re: [isabelle-dev] Pink tactics
Makarius
2023/09/01
Re: [isabelle-dev] Latex problem on the AFP
Lawrence Paulson
2023/09/01
Re: [isabelle-dev] Latex problem on the AFP
Anders Schlichtkrull
2023/09/01
Re: [isabelle-dev] Latex problem on the AFP
Makarius
2023/09/01
Re: [isabelle-dev] Latex problem on the AFP
Anders Schlichtkrull
2023/08/30
Re: [isabelle-dev] Pink tactics
Makarius
2023/08/28
[isabelle-dev] Pink tactics
Jasmin Blanchette
2023/08/25
[isabelle-dev] Status of Isabelle "go" component
Makarius
2023/08/25
Re: [isabelle-dev] Latex problem on the AFP
Achim D. Brucker
2023/08/25
[isabelle-dev] Latex problem on the AFP
Anders Schlichtkrull
2023/08/10
Re: [isabelle-dev] Isabelle2023-RC3 release fork today
Makarius
2023/08/10
Re: [isabelle-dev] Isabelle2023-RC3 release fork today
Makarius
2023/08/10
[isabelle-dev] Isabelle2023-RC3 release fork today
Makarius
2023/08/08
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Makarius
2023/08/08
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Gerwin Klein
2023/08/08
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Makarius
2023/08/08
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Gerwin Klein
2023/08/06
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Makarius
2023/07/26
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Makarius
2023/07/26
Re: [isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Makarius
2023/07/25
[isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
Makarius
2023/07/12
Re: [isabelle-dev] testboard
Fabian Huch
2023/07/12
Re: [isabelle-dev] testboard
Lawrence Paulson
2023/07/12
Re: [isabelle-dev] testboard
Fabian Huch
2023/07/12
[isabelle-dev] testboard
Lawrence Paulson
2023/07/02
[isabelle-dev] Release Candidates for Isabelle2023
Makarius
2023/06/26
Re: [isabelle-dev] quickcheck throws "Type unification failed: No type arity t :: full_exhaustive" on simple example
Jasmin Blanchette
2023/06/26
[isabelle-dev] quickcheck throws "Type unification failed: No type arity t :: full_exhaustive" on simple example
Fabian Huch
2023/05/31
Re: [isabelle-dev] NEWS: significantly reduced ML heap usage
Lawrence Paulson
2023/05/30
Re: [isabelle-dev] NEWS: significantly reduced ML heap usage
Makarius
2023/05/30
[isabelle-dev] NEWS: significantly reduced ML heap usage
Makarius
2023/05/29
Re: [isabelle-dev] Proposal to add a new \<notapprox> symbol and corresponding glyph to the Isabelle font
Lawrence Paulson
2023/05/28
[isabelle-dev] Proposal to add a new \<notapprox> symbol and corresponding glyph to the Isabelle font
Martin Desharnais
2023/05/09
[isabelle-dev] Update to jdk-17.0.7
Makarius
2023/04/24
[isabelle-dev] Towards the Isabelle2023 release
Makarius
2023/04/18
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Makarius
2023/04/18
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Makarius
2023/04/18
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Makarius
2023/04/18
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Manuel Eberl
2023/04/18
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Makarius
2023/04/18
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Manuel Eberl
2023/04/17
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Makarius
2023/04/17
Re: [isabelle-dev] AFP: PAPP_Impossibility not terminating
Fabian Huch
2023/04/17
[isabelle-dev] AFP: PAPP_Impossibility not terminating
Makarius
2023/03/30
Re: [isabelle-dev] Sous-traitance Isabelle_DOF
Burkhart Wolff
2023/03/26
Re: [isabelle-dev] Problem in AFP
Florian Haftmann
2023/03/26
Re: [isabelle-dev] Problem in AFP
Tobias Nipkow
2023/03/23
[isabelle-dev] Problem in AFP
Florian Haftmann
2023/03/23
Re: [isabelle-dev] Problem in AFP
Makarius
2023/03/22
Re: [isabelle-dev] Application of method algebra fails
christian
2023/03/22
[isabelle-dev] Application of method algebra fails
christian
2023/03/10
Re: [isabelle-dev] Two new experimental features in Sledgehammer
Jasmin Blanchette
2023/03/10
Re: [isabelle-dev] Two new experimental features in Sledgehammer
Tobias Nipkow
2023/03/08
Re: [isabelle-dev] Two new experimental features in Sledgehammer
Tobias Nipkow
2023/03/08
Re: [isabelle-dev] Two new experimental features in Sledgehammer
Jasmin Blanchette
2023/03/07
Re: [isabelle-dev] Two new experimental features in Sledgehammer
Tobias Nipkow
2023/03/07
[isabelle-dev] Two new experimental features in Sledgehammer
Jasmin Blanchette
2023/01/25
[isabelle-dev] Function package creates duplicate simp rule
Fabian Huch
2023/01/23
[isabelle-dev] Update to OpenJDK 17.0.6
Makarius
2023/01/21
Re: [isabelle-dev] Error in "cite" anitquotation
Makarius
2023/01/21
Re: [isabelle-dev] Error in "cite" anitquotation
Lawrence Paulson
2023/01/21
Re: [isabelle-dev] Error in "cite" anitquotation
Makarius
2023/01/21
[isabelle-dev] Error in "cite" anitquotation
Lawrence Paulson
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Lawrence Paulson
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Makarius
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Lawrence Paulson
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Makarius
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Makarius
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Lawrence Paulson
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Tobias Nipkow
2023/01/11
Re: [isabelle-dev] HOL/Library/BigO.thy
Gerwin Klein
2023/01/10
Re: [isabelle-dev] HOL/Library/BigO.thy
Makarius
2023/01/10
Re: [isabelle-dev] HOL/Library/BigO.thy
Makarius
2023/01/10
Re: [isabelle-dev] HOL/Library/BigO.thy
Tobias Nipkow
2023/01/10
[isabelle-dev] HOL/Library/BigO.thy
Lawrence Paulson
2022/12/21
[isabelle-dev] NEWS: Support for interactive document preparation in PIDE
Makarius
2022/12/05
Re: [isabelle-dev] lemma top_empty_eq should not have attribute pred_set_conv
Martin Desharnais
2022/11/28
Re: [isabelle-dev] lemma top_empty_eq should not have attribute pred_set_conv
Tobias Nipkow
2022/11/25
[isabelle-dev] Update to jdk-17.0.5 (Oct-2022)
Makarius
2022/11/25
[isabelle-dev] Update to scala-3.2.1
Makarius
2022/11/22
[isabelle-dev] lemma top_empty_eq should not have attribute pred_set_conv
Martin Desharnais
2022/11/13
[isabelle-dev] Syntax highlighting for approx. 300 languages via Prism.js
Makarius
2022/11/10
Re: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles
Jørgen Villadsen
2022/11/10
[isabelle-dev] From name string to Sledgehammer_Fact.fact_override
Albert Jiang
2022/11/06
Re: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles
Makarius
2022/11/06
Re: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles
Jørgen Villadsen
2022/11/05
Re: [isabelle-dev] New Code Generator Target: F#
Makarius
2022/11/05
Re: [isabelle-dev] New Code Generator Target: F#
Makarius
2022/11/05
Re: [isabelle-dev] New Code Generator Target: F#
Makarius
2022/11/05
Re: [isabelle-dev] Fossil SCM (SQLite)
Urban, Christian
2022/11/05
[isabelle-dev] Fossil SCM (SQLite)
Makarius
2022/11/04
Re: [isabelle-dev] New Code Generator Target: F#
Florian Haftmann
2022/11/02
Re: [isabelle-dev] NEWS: Demo documents for well-known LaTeX styles
Tobias Nipkow
2022/11/02
[isabelle-dev] NEWS: Demo documents for well-known LaTeX styles
Makarius
2022/10/21
Re: [isabelle-dev] NEWS: Zstd compression for Isabelle/Scala and Isabelle/ML
Makarius
2022/10/21
Re: [isabelle-dev] NEWS: Zstd compression for Isabelle/Scala and Isabelle/ML
Makarius
Earlier messages