Σοφία User Manual

Before following any instructions in this document, make sure you have performed the setup tasks described in the Installation Instructions. This manual will walk you through the use of the various tools provided by Σοφία. Please note that at this time, all of the tools in Σοφία are command-line driven.

The instructions in this manual are for version 2.0.0 of Σοφία, and may not be applicable to earlier versions. To check what version of Σοφία you are using, run the command:

java sofya.base.ProjectDescription

You should see the version number printed on your console.

This manual is organized into the following sections. In many cases, these sections correspond to the Java packages found in Σοφία.


Page last updated by Alex Kinneer: 04/18/2006