proper \isakeeptag (amending 13b5c3ff1954);
authorwenzelm
Thu Dec 14 14:28:27 2017 +0100 (17 months ago)
changeset 672014cffa4791ef7
parent 67200 d49727160f0a
child 67202 30e863ad5a1a
proper \isakeeptag (amending 13b5c3ff1954);
src/Pure/Thy/present.scala
     1.1 --- a/src/Pure/Thy/present.scala	Thu Dec 14 14:27:37 2017 +0100
     1.2 +++ b/src/Pure/Thy/present.scala	Thu Dec 14 14:28:27 2017 +0100
     1.3 @@ -149,7 +149,7 @@
     1.4            case '/' :: cs => "\\isafoldtag{" + cs.mkString + "}"
     1.5            case '-' :: cs => "\\isadroptag{" + cs.mkString + "}"
     1.6            case '+' :: cs => "\\isakeeptag{" + cs.mkString + "}"
     1.7 -          case cs => "\\isafoldtag{" + cs.mkString + "}"
     1.8 +          case cs => "\\isakeeptag{" + cs.mkString + "}"
     1.9          })) + "\n"
    1.10    }
    1.11