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

http://cococo.de /Elbe

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