Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 06 Oct 2007 17:53:45 +0200
changeset 24873 9de439f51e3c
parent 24872 7fd1aa6671a4
child 24874 e4400a70eeaa
tuned;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle