[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What should I do next in the Hyperbook?
The "Goto PCal Source" command is documented on a help page linked to
from "The PlusCal Translator" page that is listed in the table of
I didn't mean to propose what I wrote in those two classes as stellar
examples of what documentation should be like. I just wanted to show
the level of formality that I had in mind.