Index of /~pat/extremal/temp

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] 10-15-5-noSym 2013-06-18 12:28 189 [   ] 10-15-5-sym 2013-06-18 13:25 185 [TXT] CRAPL-LICENSE.txt 2013-06-17 18:32 4.0K [   ] Exists.class 2013-06-18 13:25 5.1K [TXT] Exists.java 2013-06-18 13:25 3.7K [   ] MinGirth.class 2013-06-18 13:25 3.4K [   ] MinGirth.java 2013-06-17 18:32 3.8K [   ] choco-2.1.0-basic.jar 2013-06-17 18:32 2.4M [   ] distribution.zip 2013-06-17 18:32 2.2M [   ] ijcai2013.pptx 2013-06-18 15:20 38K [TXT] readme.txt 2013-06-17 18:32 2.0K
Apache/2.4.6 (CentOS) Server at www.dcs.gla.ac.uk Port 80