src/Pure/Tools/build.scala
changeset 72993 6ead333e450d
parent 72992 bcba32fd89de
child 73012 238ddf525da4
equal deleted inserted replaced
72992:bcba32fd89de 72993:6ead333e450d
   200   {
   200   {
   201     val build_options =
   201     val build_options =
   202       options +
   202       options +
   203         "completion_limit=0" +
   203         "completion_limit=0" +
   204         "editor_tracing_messages=0" +
   204         "editor_tracing_messages=0" +
       
   205         "kodkod_scala=false" +
   205         ("pide_reports=" + options.bool("build_pide_reports"))
   206         ("pide_reports=" + options.bool("build_pide_reports"))
   206 
   207 
   207     val store = Sessions.store(build_options)
   208     val store = Sessions.store(build_options)
   208 
   209 
   209     Isabelle_Fonts.init()
   210     Isabelle_Fonts.init()