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.
And a copy of this documentation

To use proteus, merely extract these files into a convenience location for access from the command line.

Now try some examples