Installing Proteus
The download of the proteus binary is a zip file with the following files
bin\core.jar
bin\runtime.jar
bin\Proteus.jar
And the following file from the JDK 1.6 (32bit) - This provided merely for convenience. This can be replaced with any appropriate tools.jar for your system.
bin\tools.jar
And a copy of this documentation
docs\...
To use proteus, merely extract these files into a convenience location for access from the command line.