[isabelle] how do I find out which directory my theory file is in?



I am implementing an Isar toplevel directive that takes a filename as
an argument.  I'd like to interpret this as relative to the directory
containing the enclosing theory file, instead of the base directory of
the Isabelle session.  (These two things can be different.)

Thanks,
Michael.







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.