Mon, 06 Oct 2008 22:41:21 +0200 | wenzelm | fold_lines: more tuning, avoiding extra split_last; | changeset | files |
Mon, 06 Oct 2008 22:35:03 +0200 | wenzelm | extra check of PROOFGENERAL_HOME; | changeset | files |
Sun, 05 Oct 2008 13:13:48 +0200 | kleing | needs -b option for isabelle getenv | changeset | files |