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.
less ambitious ProofGeneral markup, which occasionally breaks plain-old regexps in elisp;
authorwenzelm
Fri, 15 Jul 2011 13:29:00 +0200
changeset 43840 04008ec62370
parent 43839 93f6f24010c2
child 43841 60cd0ac63fdb
less ambitious ProofGeneral markup, which occasionally breaks plain-old regexps in elisp;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Fri Jul 15 13:28:16 2011 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Fri Jul 15 13:29:00 2011 +0200
@@ -41,7 +41,6 @@
           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 "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