Index of /jeremy/public_html/pubs/fill/git/itp2014

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]apx.tex2014-03-04 18:15 33K 
[TXT]cats.tex2014-03-04 18:15 5.8K 
[TXT]deep.tex2014-03-04 18:15 11K 
[TXT]dl.tex2014-03-04 18:15 7.1K 
[TXT]eqcatsdl.tex2014-03-04 18:15 1.6K 
[TXT]eqdlshallow.tex2014-03-04 18:15 9.8K 
[TXT]eqshallowdeep.tex2014-03-04 18:15 16K 
[TXT]further.tex2014-03-04 18:15 240  
[TXT]general.tex2014-03-04 18:15 17K 
[TXT]gl-stuff.tex2014-03-04 18:15 56K 
[TXT]intro.tex2014-03-04 18:15 23K 
[TXT]keep.tex2014-03-04 18:15 4.2K 
[TXT]related.tex2014-03-04 18:15 2.0K 
[   ]root.bbl2015-05-25 13:11 3.5K 
[TXT]root.bib2014-03-04 18:15 17K 
[   ]root.dvi2015-05-25 13:11 75K 
[TXT]root.tex2014-03-26 15:37 10K 
[TXT]shallow.tex2014-03-04 18:15 12K 
[TXT]soundness.tex2014-03-04 18:15 9.3K 

Apache/2.4.62 (Debian) Server at 172.16.81.245 Port 80