[isabelle] Default print modes

Hi all,

in Monad_Syntax, there is a print mode (do_notation).

How can I activate this print mode to be applied to all default output
of 1) PG 2) isabelle/jEdit. (Not sure if the above uses technical
correct terminology, so, simply speaking: I want to see do-notation
rather than >>= - syntax)


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