Re: [isabelle] THY path



Hi,

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?

Greetings,
Joachim

-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de

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



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