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.)