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