src/Pure/build
Sat, 21 Jul 2012 12:57:31 +0200 wenzelm tuned -- no dependency on exit function;
Fri, 20 Jul 2012 21:04:03 +0200 wenzelm further imitation of "usedir" shell script;
Fri, 20 Jul 2012 11:46:37 +0200 wenzelm simplified script to build Isabelle/ML;
less more (0) tip