src/Pure/PIDE/resources.ML
changeset 66771 925d10a7a610
parent 66712 4c98c929a12a
child 67104 a2fa0c6a7aff
     1.1 --- a/src/Pure/PIDE/resources.ML	Fri Oct 06 17:13:57 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.ML	Fri Oct 06 21:14:00 2017 +0200
     1.3 @@ -123,7 +123,10 @@
     1.4        let val node_name =
     1.5          (case known_theory theory of
     1.6            SOME node_name => node_name
     1.7 -        | NONE => File.full_path dir (thy_path (Path.expand (Path.explode s))))
     1.8 +        | NONE =>
     1.9 +            if Thy_Header.is_base_name s andalso Long_Name.is_qualified s
    1.10 +            then Path.explode s
    1.11 +            else File.full_path dir (thy_path (Path.expand (Path.explode s))))
    1.12        in {master_dir = Path.dir node_name, theory_name = theory} end);
    1.13  
    1.14  fun check_file dir file = File.check_file (File.full_path dir file);