Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed ISABELLE_INTERFACE_OPTIONS;
authorwenzelm
Fri, 07 Feb 1997 17:15:30 +0100
changeset 2600 be48eff459e9
parent 2599 652e202b7ddb
child 2601 b301958c465d
removed ISABELLE_INTERFACE_OPTIONS;
lib/scripts/isa-emacs file | annotate | diff | comparison | revisions 
--- a/lib/scripts/isa-emacs	Fri Feb 07 17:14:56 1997 +0100
+++ b/lib/scripts/isa-emacs	Fri Feb 07 17:15:30 1997 +0100
@@ -25,7 +25,7 @@
 fi
 
 exec emacs -name "isabelle" \
-  --no-init-file $ISABELLE_INTERFACE_OPTIONS \
+  --no-init-file "$@" \
   --load "$ISAMODE_HOME/elisp/isa-site.el" \
   $USER_SETTINGS \
   --load $HOME/.emacs \
isabelle