src/Pure/Thy/sessions.scala
changeset 66843 be08a7691c62
parent 66829 5baca4c94737
child 66848 982baed14542
     1.1 --- a/src/Pure/Thy/sessions.scala	Wed Oct 11 20:46:38 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Wed Oct 11 20:55:11 2017 +0200
     1.3 @@ -666,12 +666,16 @@
     1.4              else thy_name
     1.5            }
     1.6  
     1.7 +        val conditions =
     1.8 +          theories.flatMap(thys => space_explode(',', thys._1.string("condition"))).distinct.sorted.
     1.9 +            map(x => (x, Isabelle_System.getenv(x) != ""))
    1.10 +
    1.11          val document_files =
    1.12            entry.document_files.map({ case (s1, s2) => (Path.explode(s1), Path.explode(s2)) })
    1.13  
    1.14          val meta_digest =
    1.15            SHA1.digest((entry_chapter, name, entry.parent, entry.options, entry.imports,
    1.16 -            entry.theories_no_position, entry.document_files).toString)
    1.17 +            entry.theories_no_position, conditions, entry.document_files).toString)
    1.18  
    1.19          val info =
    1.20            Info(name, entry_chapter, select, entry.pos, entry.groups,