Index of /~rui/agda2019

• Parent Directory
• COPYING.txt
• INSTALL.txt
• README.en.txt.zip
• README.txt
• UPDATING.en.txt.zip
• UPDATING.txt
• default.ini.php
• en.lng.php
• image/
• index.php
• ja.lng.php
• keitai.ini.php
• pukiwiki-1.5.1_utf8.zip
• pukiwiki.ini.php
• pukiwiki.ini.php~
• rules.ini.php
• skin/
• wiki.en.zip