Apache/2.0.58 (Unix) mod_ssl/2.0.58 OpenSSL/0.9.7e mod_pubcookie/3.3.2c Server at www.contrib.andrew.cmu.edu Port 80Name Last modified Size Description
Parent Directory -
ctfws_formal_rules_files/ 08-Feb-2009 13:43 -
generate.rb 18-Jul-2009 21:19 12K
old/ 18-Jul-2009 21:17 -
rules.html 18-Jul-2009 21:19 23K
rules.pdf 18-Jul-2009 21:19 63K
rules.txt 18-Jul-2009 18:59 17K
slides.txt 13-Aug-2008 00:28 19K
states.pdf 06-Nov-2008 14:08 13K
texfiles/ 18-Jul-2009 21:19 -