[Agda] Broken links on agda.sf.net
Patrik Jansson
patrikj at cs.chalmers.se
Tue May 9 12:55:11 CEST 2006
I'm not sure who is "maintaining" this site but here is a list of broken
links which need fixing:
http://agda.sourceforge.net/how-to-install-windows.html
http://agda.sourceforge.net/how-to-install-linux.html
http://agda.sourceforge.net/LICENSE
http://agda.sourceforge.net/document
http://agda.sourceforge.net/screenshots.html
Sorry for using the list, but I couldn't find any other email to send
this "documentation bug" to (the Agda bug-tracker did not seem the right
place to go).
/Patrik
More information about the Agda
mailing list