src/CTT/IsaMakefile
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2006-06-02 wenzelm 2006-06-02 removed obsolete ML files;
2000-11-14 paulson 2000-11-14 x-symbol support for Pi, Sigma, -->, : (membership) note that "lam" is displayed as TWO lambda-symbols
1998-01-07 wenzelm 1998-01-07 improved targets; fixed dependencies on parent logics;
1997-12-19 wenzelm 1997-12-19 log files; 'clean' target;
1997-07-07 wenzelm 1997-07-07 eliminated chmod -w;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-03-20 wenzelm 1997-03-20 isatool usedir;
1997-01-08 wenzelm 1997-01-08 IsaMakefile for CTT;