| Age | Commit message (Collapse) | Author |
|---|
|
This addresses part of the issues pointed out in #112
|
|
|
|
modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";
|
|
|
|
versions of bash;
|
|
ISABELLE_PROCESS refers to "isabelle-process";
|
|
expansion) -- allows spaces within parameters;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
tuned;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ISABELLE_HOME/etc/isar-keywords.el if available;
|
|
|
|
|
|
use "#!/usr/bin/env bash" as interpreter to determine bash from PATH;
handle spaces in file names;
|
|
|
|
|
|
|
|
|
|
tuned;
|
|
|
|
|
|
do not load proof-site.el here;
|
|
|
|
|
|
|
|
-u true by default;
|
|
|
|
do not append '/' to PROOFGENERAL_HOME;
|
|
|
