src/Tools/jEdit/manifest.mf
author blanchet
Tue, 09 Mar 2010 09:25:23 +0100
changeset 35665 ff2bf50505ab
parent 34320 883dc8fc3328
permissions -rw-r--r--
added "finitize" option to Nitpick + remove dependency on "Coinductive_List"

Manifest-Version: 1.0
X-COMMENT: Main-Class will be added automatically by build