Apache/2.4.41 (Ubuntu) Server at web.ma.utexas.edu Port 443Name Last modified Size Description
Parent Directory -
run 2000-03-23 15:45 200
proof.f 2000-03-23 15:45 62K
fpoint.lp 2000-03-23 15:45 2.1M
fpoint.lm 2000-03-23 15:44 2.1M
alpha.log 2000-03-23 15:44 1.5K
INDEX 2000-03-23 15:44 457