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.

Tobias

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.