[isabelle-dev] NEWS: op <infix> -> (<infix>)

Lawrence Paulson lp15 at cam.ac.uk
Tue Jan 16 17:31:45 CET 2018

I know how to do it, but no beginner could ever find this.

> On 16 Jan 2018, at 16:20, Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch> wrote:
> It's not too hard: Go to Plugins/Plugin Options/Isabelle/General and enter "brackets" under Print mode.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180116/5344a20b/attachment-0002.html>

More information about the isabelle-dev mailing list