Index of /~ulfn/darcs/Agda2/_darcs/pristine-old

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Agda.cabal 2009-06-08 09:56 5.0K 
[TXT]Makefile 2009-06-08 09:56 3.8K 
[   ]Setup.hs 2009-06-08 09:56 75  
[TXT]TODO 2009-06-08 09:56 6.2K 
[   ]aclocal.m4 2009-06-08 09:56 90  
[   ]configure.ac 2009-06-08 09:56 1.3K 
[DIR]doc/ 2009-06-08 09:56 -  
[DIR]examples/ 2009-06-08 09:56 -  
[TXT]install-sh 2009-06-08 09:56 5.5K 
[DIR]macros/ 2009-06-08 09:56 -  
[DIR]mk/ 2009-06-08 09:56 -  
[DIR]notes/ 2009-06-08 09:56 -  
[DIR]src/ 2009-06-08 09:56 -  
[DIR]test/ 2009-06-08 09:56 -