src/Tools/IsaPlanner/README
author wenzelm
Sat Oct 06 16:50:04 2007 +0200 (2007-10-06)
changeset 24867 e5b55d7be9bb
parent 23171 861f63a35d31
child 30161 c26e515f1c29
permissions -rw-r--r--
simplified interfaces for outer syntax;
wenzelm@23171
     1
ID:         $Id$
wenzelm@23171
     2
Author:     Lucas Dixon, University of Edinburgh
wenzelm@23171
     3
wenzelm@23171
     4
Support files for IsaPlanner (see http://isaplanner.sourceforge.net).