Re: [isabelle] how to set "brackets" mode

On 20/12/2016 12:52, Lawrence Paulson wrote:
People often ask how to enable the [| ... |] ==> output, which many find more readable than the default. Itâs certainly my preference.

Some students recently asked me about it, too.


To do this, open the Plugin Options panel and type the word âbracketsâ into Print Mode as shown.

Larry Paulson

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.