[Agda] path?

[Ulf Norell]

On Mon, Jul 7, 2008 at 1:48 PM, Thorsten Altenkirch <txa at cs.nott.ac.uk>
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?


M-x customize-group
agda2

One of the first options is the search path.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080707/380d3790/attachment.html