[isabelle] how to set "brackets" mode

People often ask how to enable the [| ... |] ==> output, which many find more readable than the default. Itâs certainly my preference.

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

Larry Paulson

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