[isabelle] "global" pretty printing



Hi,
what is the difference between the normal and the global pretty printing functions defined in syntax.ML?

Best regards,
Steffen



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