[isabelle] print modes

Hi there,

is there a mode (for document antiquotations) such that plain ASCII symbols are used. If yes, what is it's name?

More specifically, I would like to get

  datatype 'a * 'b = Pair 'a 'b

as the result of

  @{datatype[mode=...] "*"}

Is this possible?



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