OtterFace8

For Mac and Windows users who don't like to use a command line ...

There is now a simple GUI for Otter and Mace2:

(this is just a picture---the buttons don't work :-)

What It Doesn't Do

It doesn't help you prepare input to Otter/Mace2. You still have to know the input language and prepare input files with your favorite plain text editor.

Implementation

Java2 1.4.1 and 1.4.2 were used to build OtterFace8. It seems to work well in Mac OS X and Linux, and a bit of testing has been done in Windows. Mac and Windows versions are available here. The java source code is included in case you wish to modify it.

Feedback

If you download OtterFace8, please let us know ([email protected]) whether or not it works, and if you have any suggestions for improvement.

Macintosh OS X

OtterFace8 has been tested in Panther, and is reported to work in Jaguar. The file you download is a disk image, and no further installation should be needed. Just find the Otter and click on it. The manuals and example input files for Otter and Mace2 are included.

Download OtterFace8 for Macintosh OS X.

Windows

I'm not a Windows user, so computer beware ...

Download OtterFace8 for Windows.

After downloading, unzip it, find OtterFace8.jar, and click on it. If it doesn't start up, try "Open with ... javaw". If you can't find javaw, or if it doesn't work, you'll probably have to install Sun's Java Runtime Environment for Windows.

Go to http://java.sun.com.
Look for J2SE v1.4.2_03 JRE for Windows.
(That means Java 2 Standard Edition version 1.4.2_03 Runtime Environment for Windows.)
The file I downloaded and installed is j2re-1_4_2_03-windows-i586-p-iftw.exe.
Other versions might work as well (let me know).
I did this in Win2000, and installation was straightforward.
After installation, clicking on OtterFace8.jar should start it.
I don't know if this will mess up any Java stuff you already have on your computer.

Warning (Windows only): Do not move OtterFace8.jar out of its folder. If you do so, it will not be able to find the Otter and Mace2 executable files. Instead, you can create a shortcut to OtterFace8.jar, and put the shortcut anywhere you like.