| Mon, 04 Jan 2010 22:19:14 +0100 | wenzelm | added Cygwin "make" package; | changeset | files |
| Mon, 04 Jan 2010 22:16:48 +0100 | wenzelm | discontinued old ISABELLE and ISATOOL environment settings; | changeset | files |
| Mon, 04 Jan 2010 21:49:47 +0100 | wenzelm | shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts; | changeset | files |
| Mon, 04 Jan 2010 20:25:56 +0100 | wenzelm | removed further remains of mutable theory data (cf. 25bd3ed2ac9f); | changeset | files |