[isabelle] Markup in Comment



Hello all,

the matter of the question is still a miracle to me. Could someone kindly tell me, what the pattern 

// .....  @{text A} .............

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.