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/Tools/proof_general.ML
changeset 52643 34c29356930e
parent 52537 4b5941730bd8
child 52852 08ecbffaf25c 
--- a/src/Pure/Tools/proof_general.ML	Sat Jul 13 12:39:45 2013 +0200
+++ b/src/Pure/Tools/proof_general.ML	Sat Jul 13 13:25:42 2013 +0200
@@ -230,6 +230,7 @@
               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.intensifyN then (special "0", special "1")
+              else if name = Markup.informationN then ("\n" ^ special "0", special "1")
               else if name = Markup.tfreeN then (special "C", special "A")
               else if name = Markup.tvarN then (special "D", special "A")
               else if name = Markup.freeN then (special "E", special "A")
isabelle