[isabelle] Markup in Comment



Hello all,

could someone kindly tell me, what the pattern 

// some text @{text A} more text

means and how this looks like when printed?

I am currently working on a new version of my software Elbe and would
like to process these patterns.

Jens
http://cococo.de /Elbe





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