Index of /~mcguire/ProofBuilder/documentation/presentations/2008_ccsc_midwest_workshop

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 BRING                   27-Mar-2007 13:05   69   
 COMMANDS                14-Apr-2008 01:12   77   
 empty_sub_S.eps         27-Mar-2007 13:05   44K  
 msg.txt                 14-Apr-2008 03:27  1.2K  
 proposal.aux            14-Apr-2008 14:12  389   
 proposal.bbl            14-Apr-2008 03:29  1.3K  
 proposal.bib            14-Apr-2008 03:20   12K  
 proposal.blg            14-Apr-2008 03:29  875   
 proposal.dvi            14-Apr-2008 14:12  7.9K  
 proposal.log            14-Apr-2008 14:12  2.6K  
 proposal.pdf            14-Apr-2008 14:12   42K  
 proposal.ps             14-Apr-2008 14:12  112K  
 proposal.tex            14-Apr-2008 14:09  7.0K  
 proposal.tex.01         14-Apr-2008 03:29  7.0K  
 psfig.sty               27-Mar-2007 13:05   28K  
 sigcse.bst              14-Apr-2008 01:13   19K  
 texput.log              27-Mar-2007 13:44  606