Old 0.8 updoc prelude
From Erights
The following line
? pragma.syntax("0.8")
declares to updoc that further updoc passages on this page are in the now-deprecated E 0.8 syntax.
The following line
? pragma.syntax("0.8")
declares to updoc that further updoc passages on this page are in the now-deprecated E 0.8 syntax.