September 2021 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed Sep 22 12:20:19 CEST 2021
Ending: Wed Sep 29 23:02:35 CEST 2021
Messages: 36

• [isabelle-dev] Java 17 LTS   Martin Desharnais
• [isabelle-dev] Towards the next release --- and release naming scheme   Martin Desharnais
• [isabelle-dev] Towards the next release --- and release naming scheme   Martin Desharnais
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Florian Haftmann
• [isabelle-dev] Towards the next release --- and release naming scheme   Florian Haftmann
• [isabelle-dev] Normalise theorem wrt an environment   Kevin Kappelmann
• [isabelle-dev] Normalise theorem wrt an environment   Kevin Kappelmann
• [isabelle-dev] Towards the next release --- and release naming scheme   Gerwin Klein
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Peter Lammich
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Peter Lammich
• [isabelle-dev] NEWS: Localized commands 'syntax' and 'no_syntax'   Makarius
• [isabelle-dev] NEWS: Bundles for lattice syntax   Makarius
• [isabelle-dev] NEWS: Configuration option "show_results"   Makarius
• [isabelle-dev] NEWS: Scalable operations for Thm.instantiate and Thm.generalize   Makarius
• [isabelle-dev] NEWS: Isabelle/ML "build" combinators   Makarius
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
• [isabelle-dev] NEWS: ML antiquotations for object-logic judgement   Makarius
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
• [isabelle-dev] Java 17 LTS   Makarius
• [isabelle-dev] Java 17 LTS   Makarius
• [isabelle-dev] Java 17 LTS   Makarius
• [isabelle-dev] NEWS: Improper proof command 'guess' provided by separate theory "Pure-ex.Guess"   Makarius
• [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
• [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
• [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
• [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
• [isabelle-dev] Normalise theorem wrt an environment   Makarius
• [isabelle-dev] Normalise theorem wrt an environment   Makarius
• [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
• [isabelle-dev] NEWS: Improper proof command 'guess' provided by separate theory "Pure-ex.Guess"   Lawrence Paulson
• [isabelle-dev] Towards the next release --- and release naming scheme   Lawrence Paulson
• [isabelle-dev] Towards the next release --- and release naming scheme   Lawrence Paulson
• [isabelle-dev] Normalise theorem wrt an environment   Lawrence Paulson
• [isabelle-dev] Towards the next release --- and release naming scheme   Christian Sternagel

Last message date: Wed Sep 29 23:02:35 CEST 2021
Archived on: Wed Sep 29 23:02:40 CEST 2021

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...