Sat, 21 Jul 2012 12:57:31 +0200 | wenzelm | tuned -- no dependency on exit function; | file | diff | annotate |
Fri, 20 Jul 2012 21:04:03 +0200 | wenzelm | further imitation of "usedir" shell script; | file | diff | annotate |
Fri, 20 Jul 2012 11:46:37 +0200 | wenzelm | simplified script to build Isabelle/ML; | file | diff | annotate |