diff options
| -rw-r--r-- | isar/interface | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index c9568c29..f7d31ba7 100644 --- a/isar/interface +++ b/isar/interface @@ -60,7 +60,7 @@ START_PG="true" GEOMETRY="" KEYWORDS="" LOGIC="$ISABELLE_LOGIC" -PROGNAME="xemacs" +PROGNAME="emacs" INITFILE="true" WINDOWSYSTEM="true" XSYMBOL="" |