diff options
Diffstat (limited to 'math/proofgeneral/files/patch-isar-interface')
| -rw-r--r-- | math/proofgeneral/files/patch-isar-interface | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/math/proofgeneral/files/patch-isar-interface b/math/proofgeneral/files/patch-isar-interface index 0c92163c5af4..97da1fbb35f7 100644 --- a/math/proofgeneral/files/patch-isar-interface +++ b/math/proofgeneral/files/patch-isar-interface @@ -1,11 +1,11 @@ ---- isar/interface.orig 2008-07-29 13:22:58.000000000 +1000 -+++ isar/interface 2008-07-29 13:25:10.000000000 +1000 -@@ -60,7 +60,7 @@ +--- 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="" - KEYWORDS="" - LOGIC="$ISABELLE_LOGIC" -PROGNAME="emacs" +PROGNAME="%%EMACS_NAME%%" INITFILE="true" WINDOWSYSTEM="true" - XSYMBOL="" + UNICODE_SYMBOLS="" |