December 2020 Archives by thread

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

Starting: Thu Dec 3 21:35:41 CET 2020
Ending: Tue Dec 29 16:44:46 CET 2020
Messages: 12

• [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives   Clemens Ballarin
  • [isabelle-dev] Towards localized syntax: bundle mixins for locale and class specifications – Discussion of alternatives   Florian Haftmann
• [isabelle-dev] NEWS: Message logs from session build database   Makarius
• [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto-entity"   Makarius
  • [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto-entity"   Lawrence Paulson
    • [isabelle-dev] NEWS: Isabelle/jEdit action "isabelle.goto-entity"   Makarius
• [isabelle-dev] Isabelle/Phabricator project tags   Makarius
• [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Lars Hupel
  • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Makarius
    • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Makarius
      • [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"   Lars Hupel
• [isabelle-dev] Isabelle2021 release process   Makarius

Last message date: Tue Dec 29 16:44:46 CET 2020
Archived on: Tue Dec 29 18:29:47 CET 2020

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