On 19.11.2010 11:49, Makarius wrote:
On Fri, 19 Nov 2010, Alexander Krauss wrote:
- Relative paths are not resolved by the current simple parser. I
remember that there used to be some oddities in PG related to relative
paths. I am not sure what the situation is now. What is the meaning of
a
[I managed to lose the CC:header for the list, so here a copy of this
message with correct headers. Sorry for the noise :/]
On 19.11.2010 11:49, Makarius wrote:
On Fri, 19 Nov 2010, Alexander Krauss wrote:
- Relative paths are not resolved by the current simple parser. I
remember that there
On 22/12/2010, at 2:52 AM, Lars Noschinski wrote:
Furthermore, I would argue that current_dir should not be part of the
load_path while recursively loading dependencies. The only time current_dir
should be considered is when loading a theory file from the toplevel
Seconded. This causes quite
