<html> <body> <ul> <li><a href="README.txt">README.txt</a></li> <li><a href="LICENSE.txt">LICENSE.txt</a></li> <li><a href="docs/armadillo_nicta_2010.pdf">docs/armadillo_nicta_2010.pdf</a></li> <li><a href="docs/index.html">docs/index.html</a></li> </ul> </body> </html>