--- a/src/Pure/ProofGeneral/pgip_isabelle.ML Tue Aug 03 08:23:08 2010 +0200
+++ b/src/Pure/ProofGeneral/pgip_isabelle.ML Tue Aug 03 15:53:36 2010 +0200
@@ -80,9 +80,9 @@
NONE => (NONE, NONE)
| SOME fname =>
let val path = Path.explode fname in
- case Thy_Load.test_file Path.current path of
- SOME _ => (SOME (PgipTypes.pgipurl_of_path path), NONE)
- | NONE => (NONE, SOME fname)
+ if can (Thy_Load.check_file [Path.current]) path
+ then (SOME (PgipTypes.pgipurl_of_path path), NONE)
+ else (NONE, SOME fname)
end);
in
{ descr=descr, url=url, line=line, column=column, char=NONE, length=NONE }