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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 BRING                   27-Mar-2007 13:05   69   
 COMMANDS                14-Apr-2008 01:12   77   
 buf                     13-Apr-2008 21:04  5.6K  
 buf2                    13-Apr-2008 21:05  4.6K  
 empty_sub_S.eps         27-Mar-2007 13:05   44K  
 msg.txt                 13-Apr-2008 15:24  1.3K  
 msg.txt.01              11-Apr-2008 15:28  968   
 proposal.aux            14-Apr-2008 14:12  389   
 proposal.bbl            14-Apr-2008 03:20  1.3K  
 proposal.bib            14-Apr-2008 03:20   12K  
 proposal.blg            14-Apr-2008 03:20  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:12  7.0K  
 proposal.tex.01         10-Apr-2008 16:05   11K  
 proposal.tex.02         11-Apr-2008 14:54   11K  
 proposal.tex.03         12-Apr-2008 14:54   10K  
 proposal.tex.04         13-Apr-2008 14:57   11K  
 proposal.tex.05         13-Apr-2008 16:05   11K  
 proposal.tex.06         13-Apr-2008 20:42   11K  
 proposal.tex.07         13-Apr-2008 21:08   11K  
 proposal.tex.08         14-Apr-2008 01:11  9.3K  
 proposal.tex.09         14-Apr-2008 01:42  8.2K  
 proposal.tex.10         14-Apr-2008 02:05  7.1K  
 proposal.tex.11         14-Apr-2008 02:20  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