September 2026 Archives by thread

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

Starting: Fri Sep 4 20:16:11 CEST 2026
Ending: Sat Sep 19 18:02:37 CEST 2026
Messages: 8

• PIDE regression in changeset 85282:4bc8b5568fd9   Manuel Eberl
  • PIDE regression in changeset 85282:4bc8b5568fd9   Makarius
• Changed behaviour of (*<*) ... (*>*)   Achim D. Brucker
  • Changed behaviour of (*<*) ... (*>*)   Makarius
• Towards the Isabelle2026 (October 2026) release   Makarius
• HOL-Computational_Algebra   Lawrence Paulson
• repeated build failures   Lawrence Paulson
  • repeated build failures   Makarius

Last message date: Sat Sep 19 18:02:37 CEST 2026
Archived on: Sat Sep 19 18:02:54 CEST 2026

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