src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 25847 713519ba6860
parent 25445 01f3686f4304
child 26109 c69c3559355b
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Jan 06 15:57:52 2008 +0100
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Sun Jan 06 15:57:54 2008 +0100
     1.3 @@ -305,8 +305,7 @@
     1.4     else if name = Markup.typN      then typ_markup markup
     1.5     else if name = Markup.termN     then term_markup markup
     1.6     else if name = Markup.keywordN  then keyword_markup markup
     1.7 -   else if name = Markup.commandN  then command_markup markup 
     1.8 -   else if name = Markup.promptN   then prompt_markup markup *)
     1.9 +   else if name = Markup.commandN  then command_markup markup*)
    1.10     else if name = Markup.stateN    then state_markup
    1.11  (* else if name = Markup.subgoalN  then subgoal_markup () *)
    1.12     else ("", "");