Email Gateway (Aug 22 2022 at 18:21): Email Gateway (Aug 22 2022 at 18:21):From: Tobias Nipkow <nipkow@in.tum.de>
Now that the comment syntax (* ... *) within terms has gone:
Infix operators that begin or end with a "*" can/must now be paranthesized
without additional spaces, eg "(*)" instead of "( * )".
Enjoy!
Tobias
smime.p7s
Email Gateway (Aug 22 2022 at 18:21):From: Makarius <makarius@sketis.net>
This refers to the following Isabelle repository version:
http://isabelle.in.tum.de/repos/isabelle/rev/5f83db57e8c2
Thus it will be part of the next official release, presumably
Isabelle2019 in June 2019. In Isabelle2018 (August 2018) we've had the
first stage of that update of infix syntax, in Isabelle2019 it will be
completed as described here.
Makarius
Last updated: Apr 25 2024 at 20:15 UTC