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.
Symbol.SOH;
authorwenzelm
Thu, 03 Apr 2008 16:03:56 +0200
changeset 26526 d1557acb9ef9
parent 26525 14a56f013469
child 26527 c392354a1b79
Symbol.SOH;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 16:03:55 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Thu Apr 03 16:03:56 2008 +0200
@@ -24,7 +24,7 @@
 val thm_depsN = "thm_deps";                (*meta-information about theorem deps*)
 
 fun special oct =
-  if print_mode_active pgasciiN then chr 1 ^ chr (ord (oct_char oct) - 167)
+  if print_mode_active pgasciiN then Symbol.SOH ^ chr (ord (oct_char oct) - 167)
   else oct_char oct;
isabelle