[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What should I do next in the Hyperbook?

Hi Frederic,

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.