Fri, 14 Dec 2007 21:15:34 +0100 | wenzelm | added ISABELLE_LINE_EDITOR setting; | changeset | files |
Fri, 14 Dec 2007 21:15:33 +0100 | wenzelm | added ISABELLE_LINE_EDITOR; | changeset | files |
Fri, 14 Dec 2007 21:15:32 +0100 | wenzelm | * isatool tty runs Isabelle process with plain tty interaction; | changeset | files |