July 2026 Archives by thread

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

Starting: Tue Jul 7 13:09:51 CEST 2026
Ending: Wed Jul 15 00:30:52 CEST 2026
Messages: 10

• Printing of dummy terms in syntax translations   Lukas Stevens
  • Printing of dummy terms in syntax translations   Lukas Stevens
    • Printing of dummy terms in syntax translations   Makarius
• [isabelle] Isabelle theory name clash   Makarius
• NEWS: Poly/ML 64_32 heap size 32 GiB instead of 16 GiB   Makarius
  • NEWS: Poly/ML 64_32 heap size 32 GiB instead of 16 GiB   Makarius
  • NEWS: Poly/ML 64_32 heap size 32 GiB instead of 16 GiB   Makarius
• NEWS: Separate application bundles for "macos" (Intel) vs. "macos_arm" (Apple Silicon)   Makarius
  • NEWS: Separate application bundles for "macos" (Intel) vs. "macos_arm" (Apple Silicon)   Makarius
• Plan for Isabelle2026 (October 2026)   Makarius

Last message date: Wed Jul 15 00:30:52 CEST 2026
Archived on: Wed Jul 15 00:31:03 CEST 2026

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