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.
markup binding like class, which is the only special markup where Proof General (including version 4.1) allows "isar-long-id-stuff";
authorwenzelm
Mon, 27 Jun 2011 14:38:58 +0200
changeset 43557 844b4a178dff
parent 43556 0d78c8d31d0d
child 43558 94a08fb3ae4a
markup binding like class, which is the only special markup where Proof General (including version 4.1) allows "isar-long-id-stuff";
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jun 27 09:42:46 2011 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jun 27 14:38:58 2011 +0200
@@ -41,7 +41,7 @@
           if null ts then Markup.no_output
           else if name = Markup.stateN then (special "O" ^ "\n", "\n" ^ special "P")
           else if name = Markup.sendbackN then (special "W", special "X")
-          else if name = Markup.bindingN then (special "F", special "A")
+          else if name = Markup.bindingN then (special "B", special "A")
           else if name = Markup.hiliteN then (special "0", special "1")
           else if name = Markup.tfreeN then (special "C", special "A")
           else if name = Markup.tvarN then (special "D", special "A")
isabelle