Name                    Last modified      Size  Description
 pledger/                08-Jul-2003 16:47    -   
 tutorials/              04-Nov-2014 10:55    -   
 talk.snm                05-May-2015 12:12    0   
 proofs.aux              05-May-2015 12:12    8   
 la.aux                  05-May-2015 12:12  178   
 pic.aux                 05-May-2015 12:12  194   
 talk.out                05-May-2015 12:12  207   
 talk.toc                05-May-2015 12:12  266   
 proofs.tex              05-May-2015 12:12  476   
 sample.toc              05-May-2015 12:12  856   
 proofs.dvi              05-May-2015 12:12  860   
 sample.aux              05-May-2015 12:12  1.3K  
 Godel.jpg               05-May-2015 12:12  1.6K  
 emacs-essentials.html   05-May-2015 12:12  1.8K  The most essential emacs commands
 talk.nav                05-May-2015 12:12  2.0K  
 pic.tex                 05-May-2015 12:12  3.2K  
 sample.tex              05-May-2015 12:12  3.3K  
 talk.aux                05-May-2015 12:12  3.5K  
 pic.dvi                 05-May-2015 12:12  3.6K  
 la.log                  05-May-2015 12:12  3.7K  
 proofs.log              05-May-2015 12:12  3.9K  
 la.dvi                  05-May-2015 12:12  4.1K  
 la.tex                  05-May-2015 12:12  4.2K  
 la1.tex                 05-May-2015 12:12  4.2K  
 sample.log              05-May-2015 12:12  4.3K  
 sample.dvi              05-May-2015 12:12  7.0K  
 talk.tex                05-May-2015 12:12  9.1K  
 pic.log                 05-May-2015 12:12  9.3K  
 beechafer.jpg           05-May-2015 12:12   13K  
 refcard.html            05-May-2015 12:12   15K  GNU Emacs Reference Card (for version 19)
 emacs-refcard.html      05-May-2015 12:12   15K  GNU Emacs Reference Card (for version 19)
 article-template.tex    05-May-2015 12:12   17K  
 beechafer.eps           05-May-2015 12:12   18K  
 symbols.dvi             05-May-2015 12:12   21K  
 bussproofs.sty          05-May-2015 12:12   24K  
 Godel.eps               05-May-2015 12:12   25K  
 talk.log                05-May-2015 12:12   29K  
 robinspincushion.jpg    05-May-2015 12:12   33K  
 pic.pdf                 05-May-2015 12:12   39K  
 robinspincushion.eps    05-May-2015 12:12   43K  
 proofs.pdf              05-May-2015 12:12   48K  
 la.ps                   05-May-2015 12:12   54K  
 la.pdf                  05-May-2015 12:12   62K  
 mouse.jpg               05-May-2015 12:12   79K  
 guide.dvi               05-May-2015 12:12   79K  
 sample.pdf              05-May-2015 12:12   87K  
 mouse.eps               05-May-2015 12:12  102K  
 talk.pdf                05-May-2015 12:12  228K  
 lshort.dvi              05-May-2015 12:12  267K  
 article-template.pdf    05-May-2015 12:12  309K  
 lshort.pdf              05-May-2015 12:12  1.0M