| Mon, 23 Apr 2012 23:38:35 +0200 | wenzelm | basic Cygwin-Terminal for main Isabelle directory; | changeset | files |
| Mon, 23 Apr 2012 22:26:22 +0200 | wenzelm | moved to ~isatest/.bashrc to accomodate AFP; | changeset | files |
| Mon, 23 Apr 2012 22:22:57 +0200 | wenzelm | merged | changeset | files |