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;
     1 ID:         $Id$
     2 Author:     Lucas Dixon, University of Edinburgh
     3 
     4 Support files for IsaPlanner (see http://isaplanner.sourceforge.net).