Re: [isabelle] THY path


Am Donnerstag, den 16.09.2010, 16:13 +0200 schrieb Tobias Nipkow:
> You can refer to theories in other AFP entries simply by writing
> imports "../other-article-name/theory-name"
> This is the standard way of doing it.

I just tried this and it worked, but only after I made sure I start i3p
within the directory of the .thy. It seems that ".." is relative to the
current working directory, not to the currently processed theory. Is
that intentional?


Joachim Breitner
  e-Mail: mail at
  ICQ#: 74513189
  Jabber-ID: nomeata at

Attachment: signature.asc
Description: This is a digitally signed message part

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