let path = absolutize path in
let paths = List.rev (Str.split (Str.regexp "/") path) in
let rec build = function
- | he::tl as l -> ("/" ^ String.concat "/" (List.rev l) ^ "/") :: build tl
+ | _he::tl as l -> ("/" ^ String.concat "/" (List.rev l) ^ "/") :: build tl
| [] -> ["/"]
in
let paths = List.map HExtlib.normalize_path (build paths) in
let find_root_for ~include_paths file =
let include_paths = "" :: Sys.getcwd () :: include_paths in
- let rec find_path_for file =
+ let find_path_for file =
try HExtlib.find_in include_paths file
with Failure "find_in" ->
HLog.error ("We are in: " ^ Sys.getcwd ());
let mk_baseuri root extra =
let chop name =
+(* FG: there is no reason why matita should edit just matita files
+ matita's editor is good on its own and has interesting facilities
+ including predefined virtuals
assert(Filename.check_suffix name ".ma" ||
Filename.check_suffix name ".mma");
+*)
try Filename.chop_extension name
with Invalid_argument "Filename.chop_extension" -> name
in