August 2026 Archives by thread

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

Starting: Sat Aug 1 15:32:29 CEST 2026
Ending: Thu Aug 27 11:32:04 CEST 2026
Messages: 2

• Printing of dummy terms in syntax translations   Makarius
• Changed behaviour of (*<*) ... (*>*)   Achim D. Brucker

Last message date: Thu Aug 27 11:32:04 CEST 2026
Archived on: Thu Aug 27 11:32:23 CEST 2026

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