Tue, 24 Apr 2012 19:14:03 +0200 | wenzelm | some friendly message; | file | diff | annotate |
Tue, 24 Apr 2012 12:23:19 +0200 | wenzelm | prevent change of directory, by pretending we are the "Command Here" utility; | file | diff | annotate |
Mon, 23 Apr 2012 23:38:35 +0200 | wenzelm | basic Cygwin-Terminal for main Isabelle directory; | file | diff | annotate |