src/Pure/PIDE/document.ML
changeset 49173 fa01a202399c
parent 49064 bd6cc0b911a1
child 49906 06a3570b0f0a
     1.1 --- a/src/Pure/PIDE/document.ML	Wed Sep 05 20:36:13 2012 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Wed Sep 05 20:54:40 2012 +0200
     1.3 @@ -384,7 +384,7 @@
     1.4  
     1.5  fun init_theory deps node span =
     1.6    let
     1.7 -    (* FIXME provide files via Scala layer, not master_dir *)
     1.8 +    (* FIXME provide files via Isabelle/Scala, not master_dir *)
     1.9      val (dir, header) = read_header node span;
    1.10      val master_dir =
    1.11        (case try Url.explode dir of