isabelle-dev

Messages by Date

2020/11/03 Re: [isabelle-dev] A proposal for the website Lawrence Paulson
2020/11/02 Re: [isabelle-dev] A proposal for the website Kevin Kappelmann
2020/11/02 Re: [isabelle-dev] A proposal for the website Makarius
2020/11/02 Re: [isabelle-dev] A proposal for the website Tobias Nipkow
2020/11/02 Re: [isabelle-dev] A proposal for the website Makarius
2020/11/02 Re: [isabelle-dev] A proposal for the website Lawrence Paulson
2020/11/02 Re: [isabelle-dev] A proposal for the website Makarius
2020/11/02 [isabelle-dev] A proposal for the website Lawrence Paulson
2020/11/01 [isabelle-dev] https://isabelle.in.tum.de/components is down Makarius
2020/11/01 [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives Florian Haftmann
2020/11/01 [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications Florian Haftmann
2020/10/29 Re: [isabelle-dev] NEWS: update of external provers Makarius
2020/10/29 [isabelle-dev] NEWS Florian Haftmann
2020/10/26 [isabelle-dev] Update to jdk-11.0.9+11 with arm64-linux Makarius
2020/10/21 Re: [isabelle-dev] [Spam] NEWS: update of external provers Jasmin Blanchette
2020/10/20 Re: [isabelle-dev] [Spam] NEWS: update of external provers Jasmin Blanchette
2020/10/20 Re: [isabelle-dev] [Spam] NEWS: update of external provers Lawrence Paulson
2020/10/20 Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Tobias Nipkow
2020/10/20 Re: [isabelle-dev] [Spam] NEWS: update of external provers Lawrence Paulson
2020/10/19 Re: [isabelle-dev] [Spam] NEWS: update of external provers Jasmin Blanchette
2020/10/19 Re: [isabelle-dev] NEWS: update of external provers Lawrence Paulson
2020/10/19 Re: [isabelle-dev] NEWS: update of external provers Makarius
2020/10/19 Re: [isabelle-dev] NEWS: Consolidated terminology and function signatures for nested targets Makarius
2020/10/19 [isabelle-dev] NEWS: update of external provers Makarius
2020/10/18 Re: [isabelle-dev] Word sessions and theories Klein, Gerwin (Data61, Kensington NSW)
2020/10/17 Re: [isabelle-dev] Word sessions and theories Florian Haftmann
2020/10/16 Re: [isabelle-dev] LuaLaTeX compatibility improvements in AFP Lars Hupel
2020/10/16 Re: [isabelle-dev] LuaLaTeX compatibility improvements in AFP Makarius
2020/10/15 Re: [isabelle-dev] Benchmark suite for Isabelle's `rewrite` tactic Makarius
2020/10/15 [isabelle-dev] Benchmark suite for Isabelle's `rewrite` tactic Zack Grannan
2020/10/14 Re: [isabelle-dev] Registering not available Tobias Nipkow
2020/10/14 Re: [isabelle-dev] Registering not available Manuel Eberl
2020/10/14 Re: [isabelle-dev] Registering not available Peter Lammich
2020/10/14 [isabelle-dev] Registering not available Mathias Fleury
2020/10/12 [isabelle-dev] NEWS: Consolidated terminology and function signatures for nested targets Florian Haftmann
2020/10/09 Re: [isabelle-dev] Word sessions and theories Florian Haftmann
2020/10/09 Re: [isabelle-dev] Word sessions and theories Lawrence Paulson
2020/10/08 Re: [isabelle-dev] Word sessions and theories Klein, Gerwin (Data61, Kensington NSW)
2020/10/08 Re: [isabelle-dev] LuaLaTeX compatibility improvements in AFP Lars Hupel
2020/10/08 Re: [isabelle-dev] LuaLaTeX compatibility improvements in AFP Makarius
2020/10/08 Re: [isabelle-dev] LuaLaTeX compatibility improvements in AFP Lars Hupel
2020/10/08 [isabelle-dev] Word sessions and theories Florian Haftmann
2020/10/08 [isabelle-dev] LuaLaTeX compatibility improvements in AFP Makarius
2020/10/04 Re: [isabelle-dev] Experimental support for arm64-linux Makarius
2020/10/03 Re: [isabelle-dev] Experimental support for arm64-linux Makarius
2020/10/03 [isabelle-dev] Experimental support for arm64-linux Makarius
2020/09/28 Re: [isabelle-dev] Plan for Isabelle2021 release Jasmin Blanchette
2020/09/28 Re: [isabelle-dev] NEWS: Document preparation engine updates Makarius
2020/09/28 Re: [isabelle-dev] Plan for Isabelle2021 release Lawrence Paulson
2020/09/27 [isabelle-dev] NEWS: Document preparation engine updates Makarius
2020/09/25 [isabelle-dev] Plan for Isabelle2021 release Makarius
2020/09/25 Re: [isabelle-dev] NEWS: Nitpick/Kodkod may be invoked in the running Isabelle/Scala session Makarius
2020/09/17 [isabelle-dev] Bits and Words – Current matter of affairs Florian Haftmann
2020/08/25 [isabelle-dev] NEWS: Nitpick/Kodkod may be invoked in the running Isabelle/Scala session Makarius
2020/08/21 Re: [isabelle-dev] lex_prod changes Klein, Gerwin (Data61, Kensington NSW)
2020/08/21 Re: [isabelle-dev] lex_prod changes Lawrence Paulson
2020/08/21 Re: [isabelle-dev] lex_prod changes Jasmin Blanchette
2020/08/21 Re: [isabelle-dev] lex_prod changes Jasmin Blanchette
2020/08/21 Re: [isabelle-dev] lex_prod changes Dmitriy Traytel
2020/08/21 Re: [isabelle-dev] lex_prod changes Lawrence Paulson
2020/08/21 Re: [isabelle-dev] lex_prod changes Klein, Gerwin (Data61, Kensington NSW)
2020/08/21 Re: [isabelle-dev] lex_prod changes Lawrence Paulson
2020/08/21 Re: [isabelle-dev] lex_prod changes Lawrence Paulson
2020/08/21 Re: [isabelle-dev] lex_prod changes Klein, Gerwin (Data61, Kensington NSW)
2020/08/20 Re: [isabelle-dev] lex_prod changes Bertram Felgenhauer
2020/08/20 Re: [isabelle-dev] lex_prod changes Lawrence Paulson
2020/08/20 [isabelle-dev] lex_prod changes Bertram Felgenhauer
2020/08/17 Re: [isabelle-dev] A suggestion: call eval with try0 Florian Haftmann
2020/08/17 Re: [isabelle-dev] A suggestion: call eval with try0 Jasmin Blanchette
2020/08/17 Re: [isabelle-dev] A suggestion: call eval with try0 [email protected]
2020/08/17 Re: [isabelle-dev] A suggestion: call eval with try0 Manuel Eberl
2020/08/17 Re: [isabelle-dev] A suggestion: call eval with try0 [email protected]
2020/08/15 [isabelle-dev] A suggestion: call eval with try0 Dr A. Koutsoukou-Argyraki
2020/08/13 [isabelle-dev] NEWS: Improved monitoring for Isabelle/ML and Java Makarius
2020/08/11 Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Makarius
2020/08/11 Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Makarius
2020/08/09 Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Makarius
2020/08/09 [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Lawrence Paulson
2020/08/08 Re: [isabelle-dev] Debugging help: Hacking the kernel for proof export Makarius
2020/08/08 Re: [isabelle-dev] Debugging help: Hacking the kernel for proof export Makarius
2020/08/08 Re: [isabelle-dev] Debugging help: Hacking the kernel for proof export Makarius
2020/08/08 Re: [isabelle-dev] Debugging help: Hacking the kernel for proof export Kevin Kappelmann
2020/08/08 Re: [isabelle-dev] 496cfe488d72 Tobias Nipkow
2020/08/08 Re: [isabelle-dev] Debugging help: Hacking the kernel for proof export Manuel Eberl
2020/08/08 [isabelle-dev] Debugging help: Hacking the kernel for proof export Mario Carneiro
2020/08/06 Re: [isabelle-dev] 496cfe488d72 Makarius
2020/08/06 [isabelle-dev] 496cfe488d72 Tobias Nipkow
2020/08/06 Re: [isabelle-dev] testboard stuck? Makarius
2020/08/05 [isabelle-dev] testboard failing is groovy? Lawrence Paulson
2020/08/04 [isabelle-dev] Dropout in Iptables_Semantics_Examples_Big in CI Florian Haftmann
2020/08/04 Re: [isabelle-dev] testboard stuck? Makarius
2020/08/04 Re: [isabelle-dev] testboard stuck? Lawrence Paulson
2020/08/04 Re: [isabelle-dev] testboard stuck? Makarius
2020/08/04 Re: [isabelle-dev] testboard stuck? Lawrence Paulson
2020/08/03 Re: [isabelle-dev] testboard stuck? Makarius
2020/08/01 Re: [isabelle-dev] testboard stuck? Tobias Nipkow
2020/08/01 Re: [isabelle-dev] testboard stuck? Lawrence Paulson
2020/07/27 Re: [isabelle-dev] proof state layout Tobias Nipkow
2020/07/26 Re: [isabelle-dev] proof state layout Makarius
2020/07/24 [isabelle-dev] proof state layout Tobias Nipkow
2020/07/14 Re: [isabelle-dev] Isabelle/jEdit won't start today Jasmin Blanchette
2020/07/14 [isabelle-dev] Isabelle/jEdit won't start today Jasmin Blanchette
2020/07/14 Re: [isabelle-dev] Isabelle/jEdit won't start today Tobias Nipkow
2020/07/11 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Makarius
2020/07/11 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Makarius
2020/07/10 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Florian Haftmann
2020/07/02 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Florian Haftmann
2020/07/01 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Makarius
2020/06/29 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Lawrence Paulson
2020/06/28 Re: [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Manuel Eberl
2020/06/28 [isabelle-dev] HOL-Nominal-Examples starving on lxbroy10 Florian Haftmann
2020/06/19 Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Makarius
2020/06/19 Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP Makarius
2020/06/17 [isabelle-dev] NEWS: system option pide_session is enabled by default Makarius
2020/06/11 [isabelle-dev] NEWS: Update of Isabelle/jEdit to jedit-5.6pre1 Makarius
2020/06/08 Re: [isabelle-dev] HOL-ex Makarius
2020/06/08 Re: [isabelle-dev] HOL-ex Makarius
2020/06/06 Re: [isabelle-dev] HOL-ex Tobias Nipkow
2020/06/05 Re: [isabelle-dev] HOL-ex Lawrence Paulson
2020/06/05 Re: [isabelle-dev] HOL-ex Makarius
2020/06/04 Re: [isabelle-dev] HOL-ex Klein, Gerwin (Data61, Kensington NSW)
2020/06/04 Re: [isabelle-dev] HOL-ex Lawrence Paulson
2020/06/04 Re: [isabelle-dev] HOL-ex Tobias Nipkow
2020/06/04 Re: [isabelle-dev] HOL-ex Tobias Nipkow
2020/06/03 Re: [isabelle-dev] HOL-ex Makarius
2020/06/03 Re: [isabelle-dev] HOL-ex Makarius
2020/06/03 Re: [isabelle-dev] HOL-ex Makarius
2020/06/02 Re: [isabelle-dev] HOL-ex Lawrence Paulson
2020/06/01 Re: [isabelle-dev] HOL-ex Florian Haftmann
2020/06/01 Re: [isabelle-dev] HOL-ex Lawrence Paulson
2020/05/31 Re: [isabelle-dev] HOL-ex Klein, Gerwin (Data61, Kensington NSW)
2020/05/31 Re: [isabelle-dev] HOL-ex Klein, Gerwin (Data61, Kensington NSW)
2020/05/31 Re: [isabelle-dev] HOL-ex Makarius
2020/05/31 [isabelle-dev] HOL-ex Lawrence Paulson
2020/05/26 Re: [isabelle-dev] smt in the repository Jasmin Blanchette
2020/05/26 Re: [isabelle-dev] smt in the repository Tobias Nipkow
2020/05/26 Re: [isabelle-dev] smt in the repository Manuel Eberl
2020/05/26 Re: [isabelle-dev] smt in the repository Lawrence Paulson
2020/05/26 Re: [isabelle-dev] smt in the repository Tobias Nipkow
2020/05/26 Re: [isabelle-dev] smt in the repository Manuel Eberl
2020/05/26 [isabelle-dev] smt in the repository Lawrence Paulson
2020/05/26 [isabelle-dev] LRZ cloud outage Manuel Eberl
2020/05/21 [isabelle-dev] Isabelle Workshop Burkhart Wolff
2020/05/13 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/05/12 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Klein, Gerwin (Data61, Kensington NSW)
2020/05/12 Re: [isabelle-dev] Sup{} for type nat Klein, Gerwin (Data61, Kensington NSW)
2020/05/12 Re: [isabelle-dev] Sup{} for type nat Peter Lammich
2020/05/12 Re: [isabelle-dev] Sup{} for type nat Tobias Nipkow
2020/05/12 [isabelle-dev] Sup{} for type nat Lawrence Paulson
2020/05/12 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Makarius
2020/05/11 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/05/11 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/05/11 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Klein, Gerwin (Data61, Kensington NSW)
2020/05/10 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/05/09 Re: [isabelle-dev] Python Bindings API for Isabbele Makarius
2020/05/08 [isabelle-dev] Python Bindings API for Isabbele Miranda, Brando
2020/05/03 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Tobias Nipkow
2020/05/03 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Klein, Gerwin (Data61, Kensington NSW)
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Klein, Gerwin (Data61, Kensington NSW)
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Makarius
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Manuel Eberl
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Makarius
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Manuel Eberl
2020/05/02 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/04/27 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Viktor Kuncak
2020/04/27 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Makarius
2020/04/27 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Tobias Nipkow
2020/04/27 Re: [isabelle-dev] [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/04/27 Re: [isabelle-dev] Fwd: [isabelle] Tiny minor backward-compatible changes to IFOL Tobias Nipkow
2020/04/27 [isabelle-dev] Fwd: [isabelle] Tiny minor backward-compatible changes to IFOL Lawrence Paulson
2020/04/15 Re: [isabelle-dev] developer workflow Makarius
2020/04/15 [isabelle-dev] developer workflow Gergely Buday
2020/03/25 [isabelle-dev] Move `Eisbach`, `rewrite` etc. to Pure Joshua Chen
2020/03/21 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/03/15 Re: [isabelle-dev] CONTEXT exception after locale interpretation with setup_lifting Traytel Dmitriy
2020/03/15 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/03/15 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/03/14 Re: [isabelle-dev] CONTEXT exception after locale interpretation with setup_lifting Makarius
2020/03/10 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/03/02 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/02/28 [isabelle-dev] CONTEXT exception after locale interpretation with setup_lifting Traytel Dmitriy
2020/02/26 Re: [isabelle-dev] [isabelle] strict_mono with an explicit set Lawrence Paulson
2020/02/24 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/02/15 [isabelle-dev] Fwd: Mercurial 5.4 Sprint; Paris, France; March 27th-29th. Makarius
2020/02/11 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/02/10 Re: [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/02/10 [isabelle-dev] Call for Tasks on isabelle-dev.sketis.net Makarius
2020/02/10 [isabelle-dev] Plan for Isabelle2020 release Makarius
2020/02/06 Re: [isabelle-dev] Font license compatibility Makarius
2020/02/06 [isabelle-dev] Font license compatibility Joshua Chen
2020/01/28 Re: [isabelle-dev] lib/classes/Pure.shasum Makarius
2020/01/28 [isabelle-dev] lib/classes/Pure.shasum Lawrence Paulson
2020/01/17 Re: [isabelle-dev] isabelle jedit quickly aborts Jasmin Blanchette
2020/01/17 Re: [isabelle-dev] isabelle jedit quickly aborts Jasmin Blanchette
2020/01/17 [isabelle-dev] Fwd: Re: [isabelle] Formalizing Gaussian integers in Isabelle Lawrence Paulson
2020/01/16 [isabelle-dev] Crash when using quickcheck Christian Weinz
2020/01/15 [isabelle-dev] NEWS: isabelle scala_project for IntelliJ IDEA Makarius
2020/01/13 Re: [isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip Viktor Kunčak
2020/01/13 Re: [isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip Makarius