[Agda] path?

[Thorsten Altenkirch]

Apologies - I found it now. I have to change the emacs variable.

It does say it in the installation instructions... :-}

Sorry,
Thorsten



On 7 Jul 2008, at 11:48, Thorsten Altenkirch wrote:

> I am looking through the documentation but I can't find how to  
> adjust the Agda search path. It seems that by default it doesn't  
> include the current directory. How to I change this?
>
> Cheers,
> Thorsten
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda