Standard updoc prelude
From Erights
(Difference between revisions)
Latest revision as of 17:11, 9 May 2008
The following line
? pragma.syntax("0.9")
declares to updoc that further updoc passages on this page are in E 0.9 syntax.