Lines Matching defs:os
17 import os
54 output_dir = os.path.dirname(options.output)
61 theories += sorted(glob.glob(os.path.join(d, "*.thy")))
64 session_name = os.path.splitext(os.path.basename(options.output))[0]
66 return os.path.splitext(os.path.relpath(file, os.path.dirname(options.output)))[0]
89 thy = os.path.relpath(i, output_dir)
90 thy = os.path.splitext(thy)[0]