Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/proof_general_emacs.ML
changeset 49358 0fa351b1bd14
parent 48646 91281e9472d8
child 49658 ae8c8b745f82 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Fri Sep 14 17:37:19 2012 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Fri Sep 14 18:12:41 2012 +0200
@@ -41,7 +41,7 @@
           if null ts then Markup.no_output
           else if name = Isabelle_Markup.stateN then (special "O" ^ "\n", "\n" ^ special "P")
           else if name = Isabelle_Markup.sendbackN then (special "W", special "X")
-          else if name = Isabelle_Markup.hiliteN then (special "0", special "1")
+          else if name = Isabelle_Markup.intensifyN then (special "0", special "1")
           else if name = Isabelle_Markup.tfreeN then (special "C", special "A")
           else if name = Isabelle_Markup.tvarN then (special "D", special "A")
           else if name = Isabelle_Markup.freeN then (special "E", special "A")
isabelle