Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle 2014 isar-ref.pdf p149 - parentheses ...

view this post on Zulip Email Gateway (Aug 19 2022 at 16:21):

From: Harry Butterworth <heb1001@gmail.com>
The mixfix syntax diagram seems to require mismatched parentheses.

view this post on Zulip Email Gateway (Aug 19 2022 at 16:21):

From: Makarius <makarius@sketis.net>
Thanks for reporting this. The rail diagram got accidentally messed up in
Isabelle2013-1. I will improve that for the next release.

Makarius

http://stop-ttip.org

Last updated: Apr 25 2024 at 01:08 UTC