doc-src/TutorialI/IsaMakefile
Thu, 01 Oct 2009 20:13:32 +0200 wenzelm enable slow-motion mode to accomodate unsynchronized refs within theory sources;
Wed, 17 Jun 2009 10:07:22 +0200 haftmann more precise dependencies
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
less more (0) -30 -10 -3 tip