Index of /afs/cs/user/jcr/ftp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]histcont.dvi.gz1994-12-23 06:29 20K 
[   ]forsytheintro.dvi.gz1994-12-23 07:04 17K 
[   ]forsytheintro.ps.gz1994-12-23 07:09 39K 
[   ]functexp.dvi.gz1994-12-23 07:24 45K 
[   ]functexp.ps.gz1994-12-23 07:25 100K 
[   ]histcont.ps.gz1994-12-23 07:29 43K 
[   ]normhard.dvi.gz1994-12-23 07:31 8.5K 
[   ]normhard.ps.gz1994-12-23 07:32 26K 
[   ]parpoly2.dvi.gz1994-12-23 07:37 70K 
[   ]parpoly2.ps.gz1994-12-23 07:39 144K 
[   ]polyintro.dvi.gz1994-12-23 07:42 15K 
[   ]polyintro.ps.gz1994-12-23 07:42 35K 
[   ]syncontrol2.dvi.gz1994-12-23 07:45 30K 
[   ]syncontrol2.ps.gz1994-12-23 07:48 66K 
[   ]intcode.dvi.gz1994-12-23 08:15 42K 
[   ]intcode.ps.gz1994-12-23 08:15 70K 
[   ]catmac.tex.gz1994-12-23 08:51 12K 
[   ]catmactest.tex.gz1994-12-23 08:51 2.9K 
[   ]diagmac.doc.gz1994-12-23 08:51 8.6K 
[   ]diagmac.tex.gz1994-12-23 08:51 11K 
[   ]diagmactest.tex.gz1994-12-23 08:51 3.3K 
[   ]largeoptest.tex.gz1994-12-23 08:51 708  
[   ]forsytherep.dvi.gz1996-06-28 16:13 86K 
[   ]forsytherep.ps.gz1997-03-04 22:13 141K 
[   ]coherence.dvi.gz1999-03-02 11:13 42K 
[   ]coherence.ps.gz1999-03-02 11:13 93K 
[   ]essence.dvi.gz1999-03-03 16:01 37K 
[   ]speclogic.dvi.gz1999-03-03 16:01 40K 
[   ]syncontrol.dvi.gz1999-03-03 16:01 27K 
[   ]essence.ps.gz1999-03-03 16:02 67K 
[   ]speclogic.ps.gz1999-03-03 16:02 78K 
[   ]syncontrol.ps.gz1999-03-03 16:02 48K 
[   ]defint.dvi.gz1999-03-10 17:50 54K 
[   ]defint.ps.gz1999-03-10 17:50 82K 
[   ]defintintro.ps.gz1999-03-10 17:51 30K 
[   ]defintintro.dvi.gz1999-03-10 17:51 15K 
[   ]beyondml.ps.gz1999-03-12 17:34 17K 
[   ]beyondml.dvi.gz1999-03-12 17:34 5.6K 
[   ]normfuncat.dvi.gz1999-03-15 16:00 6.4K 
[   ]normfuncat.ps.gz1999-03-15 16:00 23K 
[   ]algoltopolylin.ps.gz1999-09-09 17:02 210K 
[   ]shareddata.ps.gz2000-07-28 18:05 55K 
[   ]intertype.dvi.gz2000-07-28 18:06 14K 
[   ]intertype.ps.gz2000-07-28 18:06 44K 
[   ]tandilslides.dvi.gz2000-09-25 16:47 43K 
[   ]tandilslides.ps.gz2000-09-25 16:48 95K 
[   ]spacetalk.dvi.gz2001-01-24 10:53 16K 
[   ]spacetalk.ps.gz2001-01-24 10:53 55K 
[   ]typemeaning.dvi.gz2001-02-16 15:59 49K 
[   ]typemeaning.ps.gz2001-02-16 16:00 203K 
[   ]typemeaning.pdf2001-02-16 16:00 230K 
[   ]shorttypemeaning.dvi.gz2001-02-18 17:30 26K 
[   ]shorttypemeaning.ps.gz2001-02-18 17:31 57K 
[   ]reldircont.pdf2001-05-08 17:52 551K 
[   ]gedanken.pdf2001-05-08 17:52 1.2M 
[   ]intdomain.pdf2001-05-08 17:52 531K 
[   ]cogent.pdf2001-05-08 17:52 903K 
[   ]cattheodesign.pdf2001-05-08 17:52 1.4M 
[   ]theotypestr.pdf2001-05-08 17:52 572K 
[   ]transysalg.pdf2001-05-08 17:52 800K 
[   ]compdataabstr.pdf2001-05-08 17:52 464K 
[   ]domflowdiag.pdf2001-05-09 17:01 1.1M 
[   ]arrayreason.pdf2001-05-10 11:22 705K 
[   ]autodataset.pdf2001-05-10 11:22 1.0M 
[   ]progtransdiag.pdf2001-05-10 11:22 477K 
[   ]typesabpara.pdf2001-05-10 11:23 674K 
[   ]localreasoning.ps.gz2001-06-11 10:47 82K 
[   ]oldcraftprog.pdf2002-04-04 11:50 27M 
[   ]seplogic.ps.gz2002-05-13 10:20 124K 
[   ]seplogic.dvi.gz2002-05-13 10:22 101K 
[   ]grainlesstalk.ps.gz2004-01-20 16:45 65K 
[   ]grainlesstalk.dvi.gz2004-01-20 16:46 13K 
[   ]sephide.ps.gz2004-03-03 17:03 88K 
[   ]sephide.pdf2004-03-03 17:03 144K 
[   ]copygarbcoll.ps.gz2004-03-03 17:05 107K 
[   ]histcont.pdf2004-06-09 17:37 300K 
[   ]parpolydom.dvi.gz2004-06-11 17:37 14K 
[   ]parpolydom.ps.gz2004-06-11 17:37 73K 
[   ]grainless.dvi.gz2004-09-24 10:40 20K 
[   ]grainless.pdf2004-09-24 10:40 157K 
[   ]grainless.ps.gz2004-09-24 10:40 57K 
[   ]pisaseplog.ps.gz2005-06-15 04:58 59K 
[   ]grainlesswcrtalk.pdf2007-10-21 13:17 72K 
[   ]grainlesswcrtalk.ps.gz2007-10-21 13:18 52K 
[   ]shareddata.dvi.gz2007-12-13 21:12 27K 
[   ]plcurr.pdf2008-06-19 16:29 58K 
[   ]plcurr.ps.gz2008-06-19 16:29 15K 
[   ]seplogoverview.ps.gz2009-02-19 13:05 121K 
[   ]seplogoverview.pdf2009-02-19 13:06 150K 
[   ]README2009-04-29 14:39 3.1K 
[   ]autovarperm.pdf2011-07-10 12:37 131K 
[   ]lovelace.pdf2011-07-10 12:37 147K 
[   ]probprog.pdf2011-07-10 12:37 41K 
[   ]readproofshlsl.pdf2011-07-10 16:09 111K 
[   ]readproofs.pdf2011-07-10 16:09 135K 
[   ]craftprog.pdf2011-10-18 08:38 34M 
[DIR]tempdir/2011-12-10 17:35 -  
[TXT]ReynoldsJC.bib2012-02-04 11:53 78K 
[TXT]reynolds.bib2012-02-04 11:53 389K 
[   ]sciseplog.pdf2012-02-04 11:53 267K 

Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80