September 2021 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ 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] 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 type constructors and term constants   Peter Lammich
    • [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
      • [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Peter Lammich
      • [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] NEWS: ML antiquotations for type constructors and term constants   Florian Haftmann
    • [isabelle-dev] NEWS: ML antiquotations for type constructors and term constants   Makarius
• [isabelle-dev] NEWS: ML antiquotations for object-logic judgement   Makarius
• [isabelle-dev] Java 17 LTS   Makarius
  • [isabelle-dev] Java 17 LTS   Makarius
    • [isabelle-dev] Java 17 LTS   Martin Desharnais
      • [isabelle-dev] Java 17 LTS   Makarius
• [isabelle-dev] NEWS: Improper proof command 'guess' provided by separate theory "Pure-ex.Guess"   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   Makarius
  • [isabelle-dev] Towards the next release --- and release naming scheme   Martin Desharnais
    • [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
    • [isabelle-dev] Towards the next release --- and release naming scheme   Lawrence Paulson
      • [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
      • [isabelle-dev] Towards the next release --- and release naming scheme   Gerwin Klein
      • [isabelle-dev] Towards the next release --- and release naming scheme   Lawrence Paulson
      • [isabelle-dev] Towards the next release --- and release naming scheme   Florian Haftmann
      • [isabelle-dev] Towards the next release --- and release naming scheme   Martin Desharnais
      • [isabelle-dev] Towards the next release --- and release naming scheme   Christian Sternagel
      • [isabelle-dev] Towards the next release --- and release naming scheme   Makarius
• [isabelle-dev] Normalise theorem wrt an environment   Kevin Kappelmann
  • [isabelle-dev] Normalise theorem wrt an environment   Lawrence Paulson
    • [isabelle-dev] Normalise theorem wrt an environment   Makarius
    • [isabelle-dev] Normalise theorem wrt an environment   Kevin Kappelmann
      • [isabelle-dev] Normalise theorem wrt an environment   Makarius

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

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