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

[Lawrence Paulson]

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

> 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>