September 2026 Archives by date

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

Starting: Fri Sep 4 20:16:11 CEST 2026
Ending: Mon Sep 21 23:12:33 CEST 2026
Messages: 9

• 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
• Printing of dummy terms in syntax translations   Makarius

Last message date: Mon Sep 21 23:12:33 CEST 2026
Archived on: Mon Sep 21 23:13:21 CEST 2026

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