src/Pure/ProofGeneral/proof_general_emacs.ML

        change print_mode (cons proof_generalN o remove (op =) proof_generalN);
        Isar.sync_main ());
 
 
 
- (** generate elisp file for keyword classification **)
+(** generate elisp file for keyword classification **)
 
 local
 
 val regexp_meta = member (op =) (explode ".*+?[]^$");
 val regexp_quote = translate_string (fn c => if regexp_meta c then "\\\\" ^ c else c);

 
 in
 
 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;
 
 end;