# HG changeset patch
# User wenzelm
# Date 1191686025 -7200
# Node ID 9de439f51e3c07d72b8e05a3d5fd758f04175373
# Parent  7fd1aa6671a4e175ee590ec9ab6ed40bd0b43514
tuned;

diff -r 7fd1aa6671a4 -r 9de439f51e3c src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Oct 06 17:46:52 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Sat Oct 06 17:53:45 2007 +0200
@@ -286,7 +286,7 @@
 
 
 
- (** generate elisp file for keyword classification **)
+(** generate elisp file for keyword classification **)
 
 local
 
@@ -316,7 +316,7 @@
 
 fun write_keywords s =
  (init_outer_syntax ();
-  File.write (Path.explode ("isar-keywords" ^ (if s = "" then "" else "-" ^ s) ^".el"))
+  File.write (Path.explode ("isar-keywords" ^ (if s = "" then "" else "-" ^ s) ^ ".el"))
     (make_elisp_syntax (OuterSyntax.dest_keywords (), OuterSyntax.dest_parsers ())));
 
 end;