isabelle-dev  

Messages by Thread

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

• Earlier messages
• Later messages