lib/Tools/mkproject
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2007-08-09 ago fixed DESCRIPTION: single line;
2007-08-08 ago Useful abbreviation of isatool commands used by Eclipse