Programatica Tools
Browsing the source
Some recent version of the source is available for browsing
via the links below. See the LICENSE for info
on how these files may be used.
- Some of the source directories contain
README.html files that tell you a little about the structure of
the source code, and (when applicable) how to compile the
programs in that directory.
- In some of the directories, there is also an HTML version of the
source code, with syntax highlighting and hyperlinks from uses
to definitions. (This is rather experimental, see the
notes on the
conversion tool.)