drwxr-xr-x  2 edrx edrx       4096 Aug 22  2005 ./
drwxr-xr-x 10 edrx edrx       4096 Nov  6 17:42 ../
-rw-r--r--  1 edrx edrx       3812 Apr 14  2014 dec2006-pt.txt
-rw-r--r--  1 edrx edrx       5474 Nov  6 17:41 dec2006-pt.txt.html
-rw-r--r--  2 edrx www-data  38228 Aug 22  2005 lambdax.eps
-rw-r--r--  2 edrx www-data  30785 Aug 22  2005 lambdax.svg
-rw-r--r--  2 edrx www-data 161906 Oct 16  2005 slides-pt.pdf
-rw-r--r--  2 edrx www-data 360322 Oct 16  2005 slides-pt.ps
-rw-r--r--  2 edrx www-data  67654 Oct 16  2005 slides-pt.ps.gz
-rw-r--r--  2 edrx www-data  12770 Oct 16  2005 slides-pt.tex
-rw-r--r--  2 edrx www-data 119633 Aug 22  2005 slides.pdf
-rw-r--r--  2 edrx www-data 294970 Aug 22  2005 slides.ps
-rw-r--r--  2 edrx www-data  62870 Aug 22  2005 slides.ps.gz
-rw-r--r--  2 edrx www-data   9737 Aug 22  2005 slides.tex
-rw-r--r--  2 edrx www-data  10082 Aug 22  2005 twosymbols.eps
-rw-r--r--  2 edrx www-data   7220 Aug 22  2005 twosymbols.svg