src/Pure/Tools/build.scala
changeset 57923 cdae2467311d
parent 56890 7f120d227ca5
child 58908 58bedbc18915
     1.1 --- a/src/Pure/Tools/build.scala	Tue Aug 12 21:29:50 2014 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Aug 13 10:46:14 2014 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  /*  Title:      Pure/Tools/build.scala
     1.5      Author:     Makarius
     1.6 -    Options:    :folding=explicit:collapseFolds=1:
     1.7 +    Options:    :folding=explicit:
     1.8  
     1.9  Build and manage Isabelle sessions.
    1.10  */