KAT Software

System Requirements

Windows
ActiveTCL Distribution of TCL/Tk
 
Unix/Linux
SML/NJ
Tcl/Tk
 
Mac OS X
SML/NJ
Either Tcl/Tk (can be installed via Fink) and X11
Or Tcl/Tk Aqua

Downloads

KAT-ML for Windows, including necessary SML version
KAT-ML for Windows, without SML
KAT-ML for x86-based Linux
KAT-ML for Solaris
KAT-ML for Mac OS X
KAT-ML source code

Installation Instructions

For Windows, unzip the contents of the file downloaded into the desired install location. The Windows version comes with both the command line interface and the graphical user interface. To run the command line interface, double-click on kat.cmd in the Bin directory. To run the graphical user interface, double-click on kat-tk.cmd in the Bin directory. Note that you need only download the version of KAT-ML that includes SML for Windows once. After that, you can download the version without SML and simply install it in the same location as the current installation.

For a unix-based system, unzip and untar the file downloaded. In a terminal window from the directory, run the install.sh script with the command "sh install.sh". The script will make sure you have the necessary components, ask for a place to install the program, and ask whether you want the command line interface or the graphical user interface.

Disclaimer

This software is highly experimental and is provided "as is".

Send email to Dexter
Send email to Kamal
KAT project home page
Copyright (c) 2004 Cornell University
Last updated: 23 August 2004