math/proofgeneral/files/patch-isar-interface


1
2
3
4
5
6
7
8
9
10
11

--- isar/interface.orig	2011-01-27 11:54:20.000000000 -0800
+++ isar/interface	2012-04-11 20:26:06.000000000 -0700
@@ -57,7 +57,7 @@
 UNICODE=""
 FONT=""
 GEOMETRY=""
-PROGNAME="emacs"
+PROGNAME="%%EMACS_NAME%%"
 INITFILE="true"
 WINDOWSYSTEM="true"
 UNICODE_SYMBOLS=""