changeset 26526 | d1557acb9ef9 |
parent 26463 | 9283b4185fdf |
child 26542 | ffc1f97ab5fc |
--- 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;