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 27828 edafacb690a3
parent 27607 a21271f74bc7
child 27860 5125b3c1efc2 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Aug 11 17:37:48 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Aug 11 18:37:49 2008 +0200
@@ -62,7 +62,7 @@
       if name = Markup.stateN then (special "366" ^ "\n", "\n" ^ special "367")
       else if name = Markup.sendbackN then (special "376", special "377")
       else if name = Markup.hiliteN then (special "327", special "330")
-      else if name = Markup.classN then (special "351", special "350")
+      else if name = Markup.tclassN then (special "351", special "350")
       else if name = Markup.tfreeN then (special "352", special "350")
       else if name = Markup.tvarN then (special "353", special "350")
       else if name = Markup.freeN then (special "354", special "350")
isabelle