drwxr-xr-x   3 edrx edrx      40960 Dec 14 13:59 ./
drwxr-xr-x 194 edrx edrx      28672 Dec 14 14:05 ../
-rw-r--r--   1 edrx edrx      47595 Apr 14  2014 2002fmcs.tex
-rw-r--r--   1 edrx edrx      62774 Dec 14 14:04 2002fmcs.tex.html
-rw-r--r--   2 edrx www-data  37588 May 22  2008 2007dnc-sets.dvi
-rw-r--r--   2 edrx www-data 103502 Jun 24  2008 2007dnc-sets.pdf
-rw-r--r--   1 edrx edrx      39488 Apr 14  2014 2007dnc-sets.tex
-rw-r--r--   1 edrx edrx      52958 Dec 14 14:04 2007dnc-sets.tex.html
-rw-r--r--   2 edrx www-data 112184 Aug 30  2008 2008bcc.dvi
-rw-r--r--   2 edrx www-data 123553 Aug 30  2008 2008bcc.pdf
-rw-r--r--   1 edrx edrx      26852 Apr 14  2014 2008bcc.tex
-rw-r--r--   1 edrx edrx      33829 Dec 14 14:04 2008bcc.tex.html
-rw-r--r--   2 edrx www-data 108900 May 22  2008 2008comprcat.dvi
-rw-r--r--   2 edrx www-data 178147 Jan 25  2009 2008comprcat.pdf
-rw-r--r--   1 edrx edrx      48939 Apr 14  2014 2008comprcat.tex
-rw-r--r--   1 edrx edrx      59377 Dec 14 14:04 2008comprcat.tex.html
-rw-r--r--   1 edrx edrx      19267 Apr 14  2014 2008dclosed.tex
-rw-r--r--   1 edrx edrx      24521 Dec 14 14:04 2008dclosed.tex.html
-rw-r--r--   2 edrx www-data 117718 Dec  9  2008 2008dnc-sets.pdf
-rw-r--r--   1 edrx edrx      39120 Apr 14  2014 2008dnc-sets.tex
-rw-r--r--   1 edrx edrx      52118 Dec 14 14:04 2008dnc-sets.tex.html
-rw-r--r--   2 edrx www-data  46517 Aug 11  2008 2008filterp-abs.pdf
-rw-r--r--   1 edrx edrx       3449 Apr 14  2014 2008filterp-abs.tex
-rw-r--r--   1 edrx edrx       4018 Dec 14 14:04 2008filterp-abs.tex.html
-rw-r--r--   2 edrx www-data 134043 Sep 17  2008 2008filterp-slides.pdf
-rw-r--r--   1 edrx edrx      25115 Apr 14  2014 2008filterp-slides.tex
-rw-r--r--   1 edrx edrx      30343 Dec 14 14:04 2008filterp-slides.tex.html
-rw-r--r--   2 edrx www-data  52655 Jul 12  2008 2008filterp-texsrc.tar.gz
-rw-r--r--   2 edrx www-data  64032 Jul 12  2008 2008filterp.dvi
-rw-r--r--   2 edrx www-data 157482 Jul 13  2008 2008filterp.pdf
-rw-r--r--   1 edrx edrx      56215 Apr 14  2014 2008filterp.tex
-rw-r--r--   1 edrx edrx      63425 Dec 14 14:04 2008filterp.tex.html
-rw-r--r--   2 edrx www-data  36258 Nov 14  2008 2008gf.pdf
-rw-r--r--   1 edrx edrx       2951 Apr 14  2014 2008gf.tex
-rw-r--r--   1 edrx edrx       4839 Dec 14 14:04 2008gf.tex.html
-rw-r--r--   2 edrx www-data 219992 Jan  1  2009 2008graphs.pdf
-rw-r--r--   1 edrx edrx      69706 Apr 14  2014 2008graphs.tex
-rw-r--r--   1 edrx edrx      87917 Dec 14 14:04 2008graphs.tex.html
-rw-r--r--   2 edrx www-data 221076 Oct  6  2008 2008hyp.dvi
-rw-r--r--   2 edrx www-data 261133 Jan 25  2009 2008hyp.pdf
-rw-r--r--   1 edrx edrx     117550 Apr 14  2014 2008hyp.tex
-rw-r--r--   1 edrx edrx     143797 Dec 14 14:04 2008hyp.tex.html
-rw-r--r--   2 edrx www-data 143526 Dec  9  2008 2008induction.pdf
-rw-r--r--   1 edrx edrx      35878 Apr 14  2014 2008induction.tex
-rw-r--r--   1 edrx edrx      45736 Dec 14 14:04 2008induction.tex.html
-rw-r--r--   1 edrx edrx       4755 Apr 14  2014 2008kocknsext.tex
-rw-r--r--   1 edrx edrx       6534 Dec 14 14:04 2008kocknsext.tex.html
-rw-r--r--   1 edrx edrx       5975 Apr 14  2014 2008lcccs.tex
-rw-r--r--   1 edrx edrx       8004 Dec 14 14:04 2008lcccs.tex.html
-rw-r--r--   2 edrx www-data 105381 Jul 23  2008 2008modallogic.pdf
-rw-r--r--   1 edrx edrx      16590 Apr 14  2014 2008modallogic.tex
-rw-r--r--   1 edrx edrx      23348 Dec 14 14:04 2008modallogic.tex.html
-rw-r--r--   2 edrx www-data  36368 May 22  2008 2008monads.dvi
-rw-r--r--   2 edrx www-data 111410 Aug  4  2008 2008monads.pdf
-rw-r--r--   1 edrx edrx      41351 Apr 14  2014 2008monads.tex
-rw-r--r--   1 edrx edrx      52066 Dec 14 14:04 2008monads.tex.html
-rw-r--r--   2 edrx www-data  66352 May 22  2008 2008natded.dvi
-rw-r--r--   2 edrx www-data 118373 May 22  2008 2008natded.pdf
-rw-r--r--   1 edrx edrx      32732 Apr 14  2014 2008natded.tex
-rw-r--r--   1 edrx edrx      39839 Dec 14 14:04 2008natded.tex.html
-rw-r--r--   2 edrx www-data  24876 May 22  2008 2008notations.dvi
-rw-r--r--   2 edrx www-data  98944 May 22  2008 2008notations.pdf
-rw-r--r--   1 edrx edrx      19200 Apr 14  2014 2008notations.tex
-rw-r--r--   1 edrx edrx      25030 Dec 14 14:04 2008notations.tex.html
-rw-r--r--   2 edrx www-data  32608 May 22  2008 2008projeto.dvi
-rw-r--r--   2 edrx www-data 117169 May 22  2008 2008projeto.pdf
-rw-r--r--   1 edrx edrx      20908 Apr 14  2014 2008projeto.tex
-rw-r--r--   1 edrx edrx      26625 Dec 14 14:04 2008projeto.tex.html
-rw-r--r--   1 edrx edrx      15179 Apr 14  2014 2008quotypes.tex
-rw-r--r--   1 edrx edrx      19199 Dec 14 14:04 2008quotypes.tex.html
-rw-r--r--   2 edrx www-data  23756 May 22  2008 2008sdg.dvi
-rw-r--r--   2 edrx www-data  87864 Apr  9  2008 2008sdg.pdf
-rw-r--r--   1 edrx edrx      14144 Apr 14  2014 2008sdg.tex
-rw-r--r--   1 edrx edrx      18090 Dec 14 14:04 2008sdg.tex.html
-rw-r--r--   2 edrx www-data   3876 Aug 30  2008 2008sheaves-abs1.dvi
-rw-r--r--   2 edrx www-data  26937 Aug 30  2008 2008sheaves-abs1.pdf
-rw-r--r--   1 edrx edrx       3580 Apr 14  2014 2008sheaves-abs1.tex
-rw-r--r--   1 edrx edrx       4453 Dec 14 14:04 2008sheaves-abs1.tex.html
-rw-r--r--   2 edrx www-data  99524 May 22  2008 2008sheaves.dvi
-rw-r--r--   2 edrx www-data 199110 May 22  2008 2008sheaves.pdf
-rw-r--r--   1 edrx edrx      70333 Apr 14  2014 2008sheaves.tex
-rw-r--r--   1 edrx edrx      86363 Dec 14 14:04 2008sheaves.tex.html
-rw-r--r--   2 edrx www-data  50732 May 22  2008 2008topos-str.dvi
-rw-r--r--   2 edrx www-data  89404 May 22  2008 2008topos-str.pdf
-rw-r--r--   1 edrx edrx      21984 Apr 14  2014 2008topos-str.tex
-rw-r--r--   1 edrx edrx      27067 Dec 14 14:04 2008topos-str.tex.html
-rw-r--r--   1 edrx edrx      13203 Apr 14  2014 2008typesystems.tex
-rw-r--r--   1 edrx edrx      18195 Dec 14 14:04 2008typesystems.tex.html
-rw-r--r--   2 edrx www-data  62306 May 25  2009 2009-1-C1-prova-1.pdf
-rw-r--r--   1 edrx edrx       4794 Apr 14  2014 2009-1-C1-prova-1.tex
-rw-r--r--   1 edrx edrx       6329 Dec 14 14:04 2009-1-C1-prova-1.tex.html
-rw-r--r--   2 edrx www-data  66435 Jul  2  2009 2009-1-C1-prova-2.pdf
-rw-r--r--   1 edrx edrx       7905 Apr 14  2014 2009-1-C1-prova-2.tex
-rw-r--r--   1 edrx edrx       9938 Dec 14 14:04 2009-1-C1-prova-2.tex.html
-rw-r--r--   2 edrx www-data  74423 Jul  9  2009 2009-1-C1-prova-VR1.pdf
-rw-r--r--   1 edrx edrx      10913 Apr 14  2014 2009-1-C1-prova-VR1.tex
-rw-r--r--   1 edrx edrx      13101 Dec 14 14:04 2009-1-C1-prova-VR1.tex.html
-rw-r--r--   2 edrx www-data  71800 Jul  9  2009 2009-1-C1-prova-VR2.pdf
-rw-r--r--   1 edrx edrx      12235 Apr 14  2014 2009-1-C1-prova-VR2.tex
-rw-r--r--   1 edrx edrx      14496 Dec 14 14:04 2009-1-C1-prova-VR2.tex.html
-rw-r--r--   2 edrx www-data  63633 Jul 14  2009 2009-1-C1-prova-VS.pdf
-rw-r--r--   1 edrx edrx       6383 Apr 14  2014 2009-1-C1-prova-VS.tex
-rw-r--r--   1 edrx edrx       8628 Dec 14 14:04 2009-1-C1-prova-VS.tex.html
-rw-r--r--   1 edrx edrx       3544 Apr 14  2014 2009-1-C2-plano.tex
-rw-r--r--   1 edrx edrx       5445 Dec 14 14:04 2009-1-C2-plano.tex.html
-rw-r--r--   2 edrx www-data  68536 Jun  5  2009 2009-1-C2-prova-1-gab.pdf
-rw-r--r--   1 edrx edrx       9196 Apr 14  2014 2009-1-C2-prova-1-gab.tex
-rw-r--r--   1 edrx edrx      12051 Dec 14 14:04 2009-1-C2-prova-1-gab.tex.html
-rw-r--r--   1 edrx edrx      13241 Apr 14  2014 2009-1-C2-prova-1.tex
-rw-r--r--   1 edrx edrx      17076 Dec 14 14:04 2009-1-C2-prova-1.tex.html
-rw-r--r--   2 edrx www-data  62199 Jul  7  2009 2009-1-C2-prova-2.pdf
-rw-r--r--   1 edrx edrx       7260 Apr 14  2014 2009-1-C2-prova-2.tex
-rw-r--r--   1 edrx edrx       9253 Dec 14 14:04 2009-1-C2-prova-2.tex.html
-rw-r--r--   2 edrx www-data  88908 Jul 10  2009 2009-1-C2-prova-VR.pdf
-rw-r--r--   1 edrx edrx      12302 Apr 14  2014 2009-1-C2-prova-VR.tex
-rw-r--r--   1 edrx edrx      14825 Dec 14 14:04 2009-1-C2-prova-VR.tex.html
-rw-r--r--   2 edrx www-data  32894 Jul 13  2009 2009-1-C2-prova-VS.pdf
-rw-r--r--   1 edrx edrx       2908 Apr 14  2014 2009-1-C2-prova-VS.tex
-rw-r--r--   1 edrx edrx       4238 Dec 14 14:04 2009-1-C2-prova-VS.tex.html
-rw-r--r--   2 edrx www-data 346416 Jun 26  2009 2009-1-MD-prova-2.pdf
-rw-r--r--   1 edrx edrx      15562 Apr 14  2014 2009-1-MD-prova-2.tex
-rw-r--r--   1 edrx edrx      19873 Dec 14 14:04 2009-1-MD-prova-2.tex.html
-rw-r--r--   2 edrx www-data 288568 Jul  8  2009 2009-1-MD-prova-VR.pdf
-rw-r--r--   1 edrx edrx      12790 Apr 14  2014 2009-1-MD-prova-VR.tex
-rw-r--r--   1 edrx edrx      15786 Dec 14 14:04 2009-1-MD-prova-VR.tex.html
-rw-r--r--   2 edrx www-data  68094 Jul  9  2009 2009-1-MD-prova-VS.pdf
-rw-r--r--   1 edrx edrx       9594 Apr 14  2014 2009-1-MD-prova-VS.tex
-rw-r--r--   1 edrx edrx      13130 Dec 14 14:04 2009-1-MD-prova-VS.tex.html
-rw-r--r--   2 edrx www-data  56494 Sep 28  2009 2009-2-C2-lista-1.pdf
-rw-r--r--   1 edrx edrx       6580 Apr 14  2014 2009-2-C2-lista-1.tex
-rw-r--r--   1 edrx edrx       9076 Dec 14 14:04 2009-2-C2-lista-1.tex.html
-rw-r--r--   1 edrx edrx      28882 Apr 14  2014 2009-2-C2-prova-1-notas.tex
-rw-r--r--   1 edrx edrx      34671 Dec 14 14:04 2009-2-C2-prova-1-notas.tex.html
-rw-r--r--   2 edrx www-data  53283 Sep 30  2009 2009-2-C2-prova-1.pdf
-rw-r--r--   1 edrx edrx       7752 Apr 14  2014 2009-2-C2-prova-1.tex
-rw-r--r--   1 edrx edrx       9878 Dec 14 14:04 2009-2-C2-prova-1.tex.html
-rw-r--r--   1 edrx edrx       9486 Apr 14  2014 2009-2-C2-prova-2.tex
-rw-r--r--   1 edrx edrx      13122 Dec 14 14:04 2009-2-C2-prova-2.tex.html
-rwxr-xr-x   2 edrx www-data  54762 Nov 30  2009 2009-2-C4-lista-P2-scan.pdf*
-rw-r--r--   1 edrx edrx       1909 Apr 14  2014 2009-2-C4-lista-P2.tex
-rw-r--r--   1 edrx edrx       3211 Dec 14 14:04 2009-2-C4-lista-P2.tex.html
-rw-r--r--   1 edrx edrx       8537 Apr 14  2014 2009-2-C4-prova-1-notas.tex
-rw-r--r--   1 edrx edrx      11172 Dec 14 14:04 2009-2-C4-prova-1-notas.tex.html
-rw-r--r--   1 edrx edrx       9265 Apr 14  2014 2009-2-C4-prova-1.tex
-rw-r--r--   1 edrx edrx      11488 Dec 14 14:04 2009-2-C4-prova-1.tex.html
-rw-r--r--   1 edrx edrx       6378 Apr 14  2014 2009-2-C4-prova-2.tex
-rw-r--r--   1 edrx edrx       8141 Dec 14 14:04 2009-2-C4-prova-2.tex.html
-rw-r--r--   1 edrx edrx       2531 Apr 14  2014 2009-2-C4-theorems.tex
-rw-r--r--   1 edrx edrx       3935 Dec 14 14:04 2009-2-C4-theorems.tex.html
-rw-r--r--   2 edrx www-data 101778 Nov 18  2009 2009-2-MD-comparacao.pdf
-rw-r--r--   1 edrx edrx      21983 Apr 14  2014 2009-2-MD-comparacao.tex
-rw-r--r--   1 edrx edrx      27399 Dec 14 14:04 2009-2-MD-comparacao.tex.html
-rw-r--r--   2 edrx www-data  63715 Jan 10  2010 2009-2-MD-criterios.pdf
-rw-r--r--   1 edrx edrx       8783 Apr 14  2014 2009-2-MD-criterios.tex
-rw-r--r--   1 edrx edrx      11728 Dec 14 14:04 2009-2-MD-criterios.tex.html
-rw-r--r--   1 edrx edrx      18670 Apr 14  2014 2009-2-MD-prova-1-notas.tex
-rw-r--r--   1 edrx edrx      22688 Dec 14 14:04 2009-2-MD-prova-1-notas.tex.html
-rw-r--r--   2 edrx www-data  76838 Oct 14  2009 2009-2-MD-prova-1.pdf
-rw-r--r--   1 edrx edrx       9524 Apr 14  2014 2009-2-MD-prova-1.tex
-rw-r--r--   1 edrx edrx      12341 Dec 14 14:04 2009-2-MD-prova-1.tex.html
-rw-r--r--   1 edrx edrx       8242 Apr 14  2014 2009-2-MD-prova-2.tex
-rw-r--r--   1 edrx edrx      10846 Dec 14 14:04 2009-2-MD-prova-2.tex.html
-rw-r--r--   1 edrx edrx      14077 Apr 14  2014 2009-defesa.tex
-rw-r--r--   1 edrx edrx      17959 Dec 14 14:04 2009-defesa.tex.html
-rw-r--r--   1 edrx edrx      14379 Apr 14  2014 2009-micropol.tex
-rw-r--r--   1 edrx edrx      17724 Dec 14 14:04 2009-micropol.tex.html
-rw-r--r--   1 edrx edrx       3053 Apr 14  2014 2009-nd-in-hyps.tex
-rw-r--r--   1 edrx edrx       4813 Dec 14 14:04 2009-nd-in-hyps.tex.html
-rw-r--r--   2 edrx www-data 148930 Mar 30  2010 2009-planodetrabalho.pdf
-rw-r--r--   1 edrx edrx      19014 Apr 14  2014 2009-planodetrabalho.tex
-rw-r--r--   1 edrx edrx      24964 Dec 14 14:04 2009-planodetrabalho.tex.html
-rw-r--r--   1 edrx edrx      10835 Apr 14  2014 2009-proj-monitoria-MD.tex
-rw-r--r--   1 edrx edrx      13548 Dec 14 14:04 2009-proj-monitoria-MD.tex.html
-rw-r--r--   1 edrx edrx      16966 Apr 14  2014 2009abcats.tex
-rw-r--r--   1 edrx edrx      21697 Dec 14 14:04 2009abcats.tex.html
-rw-r--r--   1 edrx edrx      10596 Apr 14  2014 2009apr29-C1.tex
-rw-r--r--   1 edrx edrx      13121 Dec 14 14:04 2009apr29-C1.tex.html
-rw-r--r--   1 edrx edrx       6584 Apr 14  2014 2009apr29-MD.tex
-rw-r--r--   1 edrx edrx       8711 Dec 14 14:04 2009apr29-MD.tex.html
-rw-r--r--   2 edrx www-data  34913 Aug  9  2009 2009dnc-in-coq.pdf
-rw-r--r--   1 edrx edrx      33195 Apr 14  2014 2009dnc-in-coq.tex
-rw-r--r--   1 edrx edrx      38579 Dec 14 14:04 2009dnc-in-coq.tex.html
-rw-r--r--   2 edrx www-data  73615 Nov  5  2009 2009dnc-monads.pdf
-rw-r--r--   1 edrx edrx      15288 Apr 14  2014 2009dnc-monads.tex
-rw-r--r--   1 edrx edrx      17327 Dec 14 14:04 2009dnc-monads.tex.html
-rw-r--r--   1 edrx edrx       8792 Apr 14  2014 2009fractions.tex
-rw-r--r--   1 edrx edrx      10866 Dec 14 14:04 2009fractions.tex.html
-rw-r--r--   1 edrx edrx      11007 Apr 14  2014 2009integration.tex
-rw-r--r--   1 edrx edrx      13484 Dec 14 14:04 2009integration.tex.html
-rw-r--r--   2 edrx www-data  55293 Jul  2  2009 2009jul02-C2-exercicios.pdf
-rw-r--r--   1 edrx edrx       6260 Apr 14  2014 2009jul02-C2-exercicios.tex
-rw-r--r--   1 edrx edrx       8175 Dec 14 14:04 2009jul02-C2-exercicios.tex.html
-rw-r--r--   2 edrx www-data  28471 Aug  3  2009 2009jun05.pdf
-rw-r--r--   1 edrx edrx       3519 Apr 14  2014 2009jun05.tex
-rw-r--r--   1 edrx edrx       5020 Dec 14 14:04 2009jun05.tex.html
-rw-r--r--   1 edrx edrx       6982 Apr 14  2014 2009may08-C2.tex
-rw-r--r--   1 edrx edrx       8544 Dec 14 14:04 2009may08-C2.tex.html
-rw-r--r--   1 edrx edrx       6747 Apr 14  2014 2009may12-MD-gab.tex
-rw-r--r--   1 edrx edrx       8642 Dec 14 14:04 2009may12-MD-gab.tex.html
-rw-r--r--   1 edrx edrx       5986 Apr 14  2014 2009may13-MD.tex
-rw-r--r--   1 edrx edrx       7940 Dec 14 14:04 2009may13-MD.tex.html
-rw-r--r--   1 edrx edrx       3526 Apr 14  2014 2009projections.tex
-rw-r--r--   1 edrx edrx       4824 Dec 14 14:04 2009projections.tex.html
-rw-r--r--   1 edrx edrx       5719 Apr 14  2014 2009unilog-abs0.tex
-rw-r--r--   1 edrx edrx       7030 Dec 14 14:04 2009unilog-abs0.tex.html
-rw-r--r--   2 edrx www-data  40170 Nov 16  2009 2009unilog-abs1.pdf
-rw-r--r--   1 edrx edrx       7294 Apr 14  2014 2009unilog-abs1.tex
-rw-r--r--   1 edrx edrx       9584 Dec 14 14:04 2009unilog-abs1.tex.html
-rw-r--r--   2 edrx www-data 462025 Jun 18  2010 2009unilog-diags.pdf
-rw-r--r--   2 edrx www-data 379478 Apr  2  2010 2009unilog-dnc.pdf
-rw-r--r--   1 edrx edrx     201630 Apr 14  2014 2009unilog-dnc.tex
-rw-r--r--   1 edrx edrx     242732 Dec 14 14:04 2009unilog-dnc.tex.html
-rw-r--r--   1 edrx edrx      17272 Apr 14  2014 2009unilog-obso.tex
-rw-r--r--   1 edrx edrx      19826 Dec 14 14:04 2009unilog-obso.tex.html
-rw-r--r--   2 edrx www-data  90908 Jun  9  2010 2010-1-C2-exercs-P2.pdf
-rw-r--r--   1 edrx edrx      10926 Apr 14  2014 2010-1-C2-exercs-P2.tex
-rw-r--r--   1 edrx edrx      14876 Dec 14 14:04 2010-1-C2-exercs-P2.tex.html
-rw-r--r--   2 edrx www-data  72122 Jul  4  2010 2010-1-C2-exercs-P3.pdf
-rw-r--r--   1 edrx edrx       7827 Apr 14  2014 2010-1-C2-exercs-P3.tex
-rw-r--r--   1 edrx edrx      10529 Dec 14 14:04 2010-1-C2-exercs-P3.tex.html
-rw-r--r--   2 edrx www-data  93529 Jul 22  2010 2010-1-C2-exercs-P4.pdf
-rw-r--r--   1 edrx edrx      24633 Apr  1  2015 2010-1-C2-exercs-P4.tex
-rw-r--r--   1 edrx edrx      29644 Dec 14 14:04 2010-1-C2-exercs-P4.tex.html
-rw-r--r--   1 edrx edrx       2031 Apr 14  2014 2010-1-C2-plano-de-aulas.tex
-rw-r--r--   1 edrx edrx       3351 Dec 14 14:04 2010-1-C2-plano-de-aulas.tex.html
-rw-r--r--   1 edrx edrx      11442 Apr 14  2014 2010-1-C2-prova-1.tex
-rw-r--r--   1 edrx edrx      13764 Dec 14 14:04 2010-1-C2-prova-1.tex.html
-rw-r--r--   2 edrx www-data  83798 Aug  3  2010 2010-1-C2-prova-2.pdf
-rw-r--r--   1 edrx edrx      12999 Apr 14  2014 2010-1-C2-prova-2.tex
-rw-r--r--   1 edrx edrx      15502 Dec 14 14:04 2010-1-C2-prova-2.tex.html
-rw-r--r--   2 edrx www-data  65714 Jul 13  2010 2010-1-C2-prova-3.pdf
-rw-r--r--   1 edrx edrx       8667 Apr 14  2014 2010-1-C2-prova-3.tex
-rw-r--r--   1 edrx edrx      11736 Dec 14 14:04 2010-1-C2-prova-3.tex.html
-rw-r--r--   2 edrx www-data  44759 Jul 20  2010 2010-1-C2-prova-VR.pdf
-rw-r--r--   1 edrx edrx       7104 Apr 14  2014 2010-1-C2-prova-VR.tex
-rw-r--r--   1 edrx edrx      10759 Dec 14 14:04 2010-1-C2-prova-VR.tex.html
-rw-r--r--   2 edrx www-data  44342 Jul 20  2010 2010-1-C2-prova-VS.pdf
-rw-r--r--   1 edrx edrx       8936 Apr 14  2014 2010-1-C2-prova-VS.tex
-rw-r--r--   1 edrx edrx      12789 Dec 14 14:04 2010-1-C2-prova-VS.tex.html
-rw-r--r--   2 edrx www-data  35508 Aug  3  2010 2010-1-C2-prova-VS2a.pdf
-rw-r--r--   1 edrx edrx       6009 Apr 14  2014 2010-1-C2-prova-VS2a.tex
-rw-r--r--   1 edrx edrx       8455 Dec 14 14:04 2010-1-C2-prova-VS2a.tex.html
-rw-r--r--   2 edrx www-data  49692 Aug  3  2010 2010-1-C2-prova-VS2b.pdf
-rw-r--r--   1 edrx edrx       4675 Apr 14  2014 2010-1-C2-prova-VS2b.tex
-rw-r--r--   1 edrx edrx       6506 Dec 14 14:04 2010-1-C2-prova-VS2b.tex.html
-rw-r--r--   1 edrx edrx       4090 Apr 14  2014 2010-1-C2-prova-mini-1.tex
-rw-r--r--   1 edrx edrx       5881 Dec 14 14:04 2010-1-C2-prova-mini-1.tex.html
-rw-r--r--   1 edrx edrx       5082 Apr 14  2014 2010-1-MD-aulas.tex
-rw-r--r--   1 edrx edrx       7368 Dec 14 14:04 2010-1-MD-aulas.tex.html
-rw-r--r--   1 edrx edrx       5853 Apr 14  2014 2010-1-MD-esquemas.tex
-rw-r--r--   1 edrx edrx       7654 Dec 14 14:04 2010-1-MD-esquemas.tex.html
-rw-r--r--   2 edrx www-data  93745 Jul 20  2010 2010-1-MD-exercs-P4.pdf
-rw-r--r--   1 edrx edrx      14741 Apr 14  2014 2010-1-MD-exercs-P4.tex
-rw-r--r--   1 edrx edrx      18495 Dec 14 14:04 2010-1-MD-exercs-P4.tex.html
-rw-r--r--   1 edrx edrx       3898 Apr 14  2014 2010-1-MD-hanoi.tex
-rw-r--r--   1 edrx edrx       5855 Dec 14 14:04 2010-1-MD-hanoi.tex.html
-rw-r--r--   1 edrx edrx       8708 Apr 14  2014 2010-1-MD-plano-de-aulas.tex
-rw-r--r--   1 edrx edrx      12232 Dec 14 14:04 2010-1-MD-plano-de-aulas.tex.html
-rw-r--r--   1 edrx edrx       9815 Apr 14  2014 2010-1-MD-plano-de-curso.tex
-rw-r--r--   1 edrx edrx      12760 Dec 14 14:04 2010-1-MD-plano-de-curso.tex.html
-rw-r--r--   1 edrx edrx       4034 Apr 14  2014 2010-1-MD-prova-1-body.tex
-rw-r--r--   1 edrx edrx       5369 Dec 14 14:04 2010-1-MD-prova-1-body.tex.html
-rw-r--r--   2 edrx www-data  79925 May 17  2010 2010-1-MD-prova-1.pdf
-rw-r--r--   1 edrx edrx      38195 Apr 14  2014 2010-1-MD-prova-1.tex
-rw-r--r--   1 edrx edrx      51431 Dec 14 14:04 2010-1-MD-prova-1.tex.html
-rw-r--r--   2 edrx www-data  48254 Jun 30  2010 2010-1-MD-prova-2.pdf
-rw-r--r--   1 edrx edrx       6160 Apr 14  2014 2010-1-MD-prova-2.tex
-rw-r--r--   1 edrx edrx       8220 Dec 14 14:04 2010-1-MD-prova-2.tex.html
-rw-r--r--   2 edrx www-data  31825 Aug 19  2010 2010-1-MD-prova-3.pdf
-rw-r--r--   1 edrx edrx       2495 Apr 14  2014 2010-1-MD-prova-3.tex
-rw-r--r--   1 edrx edrx       4192 Dec 14 14:04 2010-1-MD-prova-3.tex.html
-rw-r--r--   2 edrx www-data  38939 Jul 20  2010 2010-1-MD-prova-VS.pdf
-rw-r--r--   1 edrx edrx       4914 Apr 14  2014 2010-1-MD-prova-VS.tex
-rw-r--r--   1 edrx edrx       6879 Dec 14 14:04 2010-1-MD-prova-VS.tex.html
-rw-r--r--   2 edrx www-data  66732 Aug  4  2010 2010-1-MD-prova-VS2.pdf
-rw-r--r--   1 edrx edrx      10324 Apr 14  2014 2010-1-MD-prova-VS2.tex
-rw-r--r--   1 edrx edrx      13252 Dec 14 14:04 2010-1-MD-prova-VS2.tex.html
-rw-r--r--   1 edrx edrx       2568 Apr 14  2014 2010-2-MD-exercs-VR.tex
-rw-r--r--   1 edrx edrx       4064 Dec 14 14:04 2010-2-MD-exercs-VR.tex.html
-rw-r--r--   2 edrx www-data  91175 Feb 26  2010 2010-edital-monit-MD.pdf
-rw-r--r--   1 edrx edrx      19469 Apr 14  2014 2010-edital-monit-MD.tex
-rw-r--r--   1 edrx edrx      24499 Dec 14 14:04 2010-edital-monit-MD.tex.html
-rw-r--r--   1 edrx edrx      20574 Apr 14  2014 2010-proj-gma.tex
-rw-r--r--   1 edrx edrx      28031 Dec 14 14:04 2010-proj-gma.tex.html
-rw-r--r--   1 edrx edrx       2056 Apr 14  2014 2010-proj-inic.tex
-rw-r--r--   1 edrx edrx       3402 Dec 14 14:04 2010-proj-inic.tex.html
-rw-r--r--   1 edrx edrx      33786 Apr 14  2014 2010-proj-pesq.tex
-rw-r--r--   1 edrx edrx      41352 Dec 14 14:04 2010-proj-pesq.tex.html
-rw-r--r--   1 edrx edrx      17750 Apr 14  2014 2010-semanact.tex
-rw-r--r--   1 edrx edrx      21278 Dec 14 14:04 2010-semanact.tex.html
-rw-r--r--   1 edrx edrx       6933 Apr 14  2014 2010-valenca.tex
-rw-r--r--   1 edrx edrx       9107 Dec 14 14:04 2010-valenca.tex.html
-rw-r--r--   1 edrx edrx       9051 Apr 14  2014 2010comprcats.tex
-rw-r--r--   1 edrx edrx      11561 Dec 14 14:04 2010comprcats.tex.html
-rw-r--r--   1 edrx edrx     120907 Apr 14  2014 2010diags-body.tex
-rw-r--r--   1 edrx edrx     136231 Dec 14 14:04 2010diags-body.tex.html
-rw-r--r--   1 edrx edrx       6334 Apr 14  2014 2010diags-outer.tex
-rw-r--r--   1 edrx edrx       8350 Dec 14 14:04 2010diags-outer.tex.html
-rw-r--r--   2 edrx www-data 313448 Dec  4  2010 2010diags.pdf
-rw-r--r--   1 edrx edrx     107551 Apr 14  2014 2010diags.tex
-rw-r--r--   1 edrx edrx     123180 Dec 14 14:04 2010diags.tex.html
-rw-r--r--   1 edrx edrx     111539 Apr 14  2014 2010hyps.tex
-rw-r--r--   1 edrx edrx     139596 Dec 14 14:04 2010hyps.tex.html
-rw-r--r--   2 edrx www-data 165717 May 11  2011 2010kockdiff.pdf
-rw-r--r--   1 edrx edrx      12204 Apr 14  2014 2010kockdiff.tex
-rw-r--r--   1 edrx edrx      14799 Dec 14 14:04 2010kockdiff.tex.html
-rw-r--r--   1 edrx edrx       6961 Apr 14  2014 2010lcccs.tex
-rw-r--r--   1 edrx edrx       9253 Dec 14 14:04 2010lcccs.tex.html
-rw-r--r--   1 edrx edrx       6026 Apr 14  2014 2010luayacc.tex
-rw-r--r--   1 edrx edrx       7579 Dec 14 14:04 2010luayacc.tex.html
-rw-r--r--   2 edrx www-data  61076 Aug 19  2010 2010reducao.pdf
-rw-r--r--   1 edrx edrx       6149 Apr 14  2014 2010reducao.tex
-rw-r--r--   1 edrx edrx       8528 Dec 14 14:04 2010reducao.tex.html
-rw-r--r--   1 edrx edrx      11528 Apr 14  2014 2010rings.tex
-rw-r--r--   1 edrx edrx      13484 Dec 14 14:04 2010rings.tex.html
-rw-r--r--   1 edrx edrx       3853 Apr 14  2014 2010sheaves.tex
-rw-r--r--   1 edrx edrx       5438 Dec 14 14:04 2010sheaves.tex.html
-rw-r--r--   2 edrx www-data 548720 Jun 20  2010 2010unilog-2010jun21.pdf
-rw-r--r--   2 edrx www-data 645032 Apr 25  2011 2010unilog-current.dvi
-rw-r--r--   2 edrx www-data 695207 Apr 25  2011 2010unilog-current.pdf
-rw-r--r--   1 edrx edrx     262192 Apr 14  2014 2010unilog-current.tex
-rw-r--r--   1 edrx edrx     326672 Dec 14 14:04 2010unilog-current.tex.html
-rw-r--r--   2 edrx www-data 110066 Jul 22  2011 2011-1-GA-regras.pdf
-rw-r--r--   1 edrx edrx       6824 Apr 14  2014 2011-1-GA-regras.tex
-rw-r--r--   1 edrx edrx       9443 Dec 14 14:04 2011-1-GA-regras.tex.html
-rw-r--r--   2 edrx www-data  72856 Dec 12  2011 2011-1-ata-rfm-junho.pdf
-rw-r--r--   1 edrx edrx       3557 Apr 14  2014 2011-ata-monitoria.tex
-rw-r--r--   1 edrx edrx       5201 Dec 14 14:04 2011-ata-monitoria.tex.html
-rw-r--r--   1 edrx edrx       2657 Apr 14  2014 2011-justificativa.tex
-rw-r--r--   1 edrx edrx       4518 Dec 14 14:04 2011-justificativa.tex.html
-rw-r--r--   2 edrx www-data 120249 Oct 25  2011 2011-rel-est-prob-2.pdf
-rw-r--r--   1 edrx edrx      11772 Apr 14  2014 2011-rel-est-prob-2.tex
-rw-r--r--   1 edrx edrx      16026 Dec 14 14:04 2011-rel-est-prob-2.tex.html
-rw-r--r--   2 edrx www-data 117316 Oct 25  2011 2011-rel-est-prob-3.pdf
-rw-r--r--   1 edrx edrx      10933 Apr 14  2014 2011-rel-est-prob-3.tex
-rw-r--r--   1 edrx edrx      14521 Dec 14 14:04 2011-rel-est-prob-3.tex.html
-rw-r--r--   2 edrx www-data 469431 Mar 13  2011 2011ebl-abs.pdf
-rw-r--r--   1 edrx edrx      86123 Apr 14  2014 2011ebl-abs.tex
-rw-r--r--   1 edrx edrx     114594 Dec 14 14:04 2011ebl-abs.tex.html
-rw-r--r--   2 edrx www-data 158598 Apr  5  2011 2011ebl-booklet-abs.pdf
-rw-r--r--   2 edrx www-data 267794 May 15  2011 2011ebl-slides.pdf
-rw-r--r--   1 edrx edrx      32338 Apr 14  2014 2011ebl-slides.tex
-rw-r--r--   1 edrx edrx      46705 Dec 14 14:04 2011ebl-slides.tex.html
-rw-r--r--   1 edrx edrx       2750 Apr 14  2014 2011sheaves-2d.tex
-rw-r--r--   1 edrx edrx       4732 Dec 14 14:04 2011sheaves-2d.tex.html
-rw-r--r--   1 edrx edrx      57390 Apr 14  2014 2012-ata-rfm-dez.tex
-rw-r--r--   1 edrx edrx      91192 Dec 14 14:04 2012-ata-rfm-dez.tex.html
-rw-r--r--   1 edrx edrx      10479 Apr 14  2014 2012-rel-prog-func.tex
-rw-r--r--   1 edrx edrx      13914 Dec 14 14:04 2012-rel-prog-func.tex.html
-rw-r--r--   2 edrx www-data 120444 Feb  6  2012 2012minicats.dvi
-rw-r--r--   2 edrx www-data 270727 Feb  6  2012 2012minicats.pdf
-rw-r--r--   1 edrx edrx      48584 Apr 14  2014 2012minicats.tex
-rw-r--r--   1 edrx edrx      70678 Dec 14 14:04 2012minicats.tex.html
-rw-r--r--   1 edrx edrx       4698 Apr 14  2014 2012unb-abril.tex
-rw-r--r--   1 edrx edrx       6827 Dec 14 14:04 2012unb-abril.tex.html
-rw-r--r--   1 edrx edrx       5270 Apr 14  2014 2013-1-GA-prova-P2-A.tex
-rw-r--r--   1 edrx edrx       7024 Dec 14 14:04 2013-1-GA-prova-P2-A.tex.html
-rw-r--r--   1 edrx edrx          0 Apr 14  2014 2013-2-GA-P1A.lua
-rw-r--r--   1 edrx edrx        396 Dec 14 14:04 2013-2-GA-P1A.lua.html
-rw-r--r--   1 edrx edrx       1797 Apr 14  2014 2013-2-GA-P1A.tex
-rw-r--r--   1 edrx edrx       3100 Dec 14 14:04 2013-2-GA-P1A.tex.html
-rw-r--r--   1 edrx edrx       6702 Apr 14  2014 2013-GA-criterios.tex
-rw-r--r--   1 edrx edrx       8918 Dec 14 14:04 2013-GA-criterios.tex.html
-rw-r--r--   2 edrx edrx      19200 Jul  4  2013 2013-abaixo-assinado-DE.pdf
-rw-r--r--   1 edrx edrx       2945 Apr 14  2014 2013-abaixo-assinado-DE.tex
-rw-r--r--   1 edrx edrx       4284 Dec 14 14:04 2013-abaixo-assinado-DE.tex.html
-rw-r--r--   1 edrx edrx       5578 Apr 14  2014 2013-ict-salas.tex
-rw-r--r--   1 edrx edrx       7214 Dec 14 14:04 2013-ict-salas.tex.html
-rw-r--r--   2 edrx edrx      70675 Jul 19  2013 2013-montreal.pdf
-rw-r--r--   1 edrx edrx      11278 Apr 14  2014 2013-montreal.tex
-rw-r--r--   1 edrx edrx      12620 Dec 14 14:04 2013-montreal.tex.html
-rw-r--r--   2 edrx www-data 184748 Apr  5  2013 2013idct-changes.pdf
-rw-r--r--   1 edrx edrx      12546 Apr 14  2014 2013idct-changes.tex
-rw-r--r--   1 edrx edrx      14399 Dec 14 14:04 2013idct-changes.tex.html
-rw-r--r--   1 edrx edrx       8006 Apr 14  2014 2013sheaves-for-children.tex
-rw-r--r--   1 edrx edrx      10653 Dec 14 14:04 2013sheaves-for-children.tex.html
-rw-r--r--   2 edrx edrx     125567 May  7  2014 2014-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx      14368 Aug 15  2014 2014-1-GA-P1.tex
-rw-r--r--   1 edrx edrx      16570 Dec 14 14:04 2014-1-GA-P1.tex.html
-rw-r--r--   1 edrx edrx       2068 Dec  6  2015 2014-1-GA-P2-gab.lua
-rw-r--r--   1 edrx edrx       3190 Dec 14 14:04 2014-1-GA-P2-gab.lua.html
-rw-r--r--   1 edrx edrx       7264 Dec  6  2015 2014-1-GA-P2-gab.tex
-rw-r--r--   1 edrx edrx       8978 Dec 14 14:04 2014-1-GA-P2-gab.tex.html
-rw-r--r--   1 edrx edrx       5731 Jun 10  2014 2014-1-GA-P2.tex
-rw-r--r--   1 edrx edrx       7723 Dec 14 14:04 2014-1-GA-P2.tex.html
-rw-r--r--   1 edrx edrx       5781 Jun 12  2014 2014-1-GA-VR.tex
-rw-r--r--   1 edrx edrx       7715 Dec 14 14:04 2014-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx     117310 Jun 25  2014 2014-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx       7690 Jun 13  2014 2014-1-GA-VS.tex
-rw-r--r--   1 edrx edrx       9940 Dec 14 14:04 2014-1-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      79818 May  7  2014 2014-1-GA-metodos.pdf
-rw-r--r--   1 edrx edrx       5875 May 15  2014 2014-1-GA-metodos.tex
-rw-r--r--   1 edrx edrx       7588 Dec 14 14:04 2014-1-GA-metodos.tex.html
-rw-r--r--   1 edrx edrx       3913 Oct  2  2014 2014-2-GA-lista1.tex
-rw-r--r--   1 edrx edrx       5817 Dec 14 14:04 2014-2-GA-lista1.tex.html
-rw-r--r--   1 edrx edrx      43412 May  1  2014 2014-resposta.tex
-rw-r--r--   1 edrx edrx      53257 Dec 14 14:04 2014-resposta.tex.html
-rw-r--r--   2 edrx edrx     102111 Feb 20  2014 2014-rfm-rcn-tabela.pdf
-rw-r--r--   1 edrx edrx      10178 Apr 14  2014 2014-rfm-rcn-tabela.tex
-rw-r--r--   1 edrx edrx      13194 Dec 14 14:04 2014-rfm-rcn-tabela.tex.html
-rw-r--r--   1 edrx edrx       7509 Nov 26  2014 2014depoimento-ci.tex
-rw-r--r--   1 edrx edrx       9865 Dec 14 14:04 2014depoimento-ci.tex.html
-rw-r--r--   1 edrx edrx       3496 Sep 10  2014 2014istanbul-a.lua
-rw-r--r--   1 edrx edrx       4486 Dec 14 14:04 2014istanbul-a.lua.html
-rw-r--r--   2 edrx edrx     135860 Jun 21  2015 2014istanbul-a.pdf
-rw-r--r--   1 edrx edrx      21324 Aug 28  2015 2014istanbul-a.tex
-rw-r--r--   1 edrx edrx      24090 Dec 14 14:04 2014istanbul-a.tex.html
-rw-r--r--   2 edrx edrx      82064 Apr 12  2014 2014sfc-abstract.pdf
-rw-r--r--   1 edrx edrx       2823 Apr 14  2014 2014sfc-abstract.tex
-rw-r--r--   1 edrx edrx       4023 Dec 14 14:04 2014sfc-abstract.tex.html
-rw-r--r--   2 edrx edrx     216380 Apr 29  2014 2014sfc-slides.pdf
-rw-r--r--   1 edrx edrx      23384 May 19  2014 2014sfc-slides.tex
-rw-r--r--   1 edrx edrx      34229 Dec 14 14:04 2014sfc-slides.tex.html
-rw-r--r--   2 edrx edrx     228626 May 19  2014 2014sfc-slides2.pdf
-rw-r--r--   1 edrx edrx      43432 May 30  2014 2014sfc-slides2.tex
-rw-r--r--   1 edrx edrx      58146 Dec 14 14:04 2014sfc-slides2.tex.html
-rw-r--r--   2 edrx edrx      18371 May 19  2014 2014sfc-slides2h.pdf
-rw-r--r--   1 edrx edrx       2035 Nov 29  2015 2015-1-C2-figuras1.lua
-rw-r--r--   1 edrx edrx       3167 Dec 14 14:04 2015-1-C2-figuras1.lua.html
-rw-r--r--   1 edrx edrx       6944 Mar 18  2015 2015-1-C2-figuras1.tex
-rw-r--r--   1 edrx edrx       7932 Dec 14 14:04 2015-1-C2-figuras1.tex.html
-rw-r--r--   1 edrx edrx        403 Apr 15  2015 2015-1-C2-lista-edrx-1.lua
-rw-r--r--   1 edrx edrx       1452 Dec 14 14:04 2015-1-C2-lista-edrx-1.lua.html
-rw-r--r--   1 edrx edrx       3186 Apr 15  2015 2015-1-C2-lista-edrx-1.tex
-rw-r--r--   1 edrx edrx       4356 Dec 14 14:04 2015-1-C2-lista-edrx-1.tex.html
-rw-r--r--   1 edrx edrx        403 Apr  3  2015 2015-1-GA-lista-edrx-1.lua
-rw-r--r--   1 edrx edrx       1452 Dec 14 14:04 2015-1-GA-lista-edrx-1.lua.html
-rw-r--r--   1 edrx edrx      13012 Apr 11  2015 2015-1-GA-lista-edrx-1.tex
-rw-r--r--   1 edrx edrx      15847 Dec 14 14:04 2015-1-GA-lista-edrx-1.tex.html
-rw-r--r--   2 edrx edrx     114959 Mar 14  2016 2015-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       8116 Aug  4 22:55 2015-2-C2-P1.tex
-rw-r--r--   1 edrx edrx      10772 Dec 14 14:04 2015-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx     117208 Jul 27  2016 2015-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx       5887 Aug  4 22:57 2015-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       7828 Dec 14 14:04 2015-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx       8495 Aug  4 22:58 2015-2-C2-VR.tex
-rw-r--r--   1 edrx edrx      11379 Dec 14 14:04 2015-2-C2-VR.tex.html
-rw-r--r--   2 edrx edrx     135339 Feb 29  2016 2015-2-C2-material.pdf
-rw-r--r--   1 edrx edrx      12072 Feb 29  2016 2015-2-C2-material.tex
-rw-r--r--   1 edrx edrx      15398 Dec 14 14:04 2015-2-C2-material.tex.html
-rw-r--r--   2 edrx edrx      74303 Feb 16  2016 2015-2-C2-material.tgz
-rw-r--r--   2 edrx edrx     123755 Feb 16  2016 2015-2-GA-P1-gab.pdf
-rw-r--r--   1 edrx edrx       9926 Aug  4 22:58 2015-2-GA-P1-gab.tex
-rw-r--r--   1 edrx edrx      11715 Dec 14 14:04 2015-2-GA-P1-gab.tex.html
-rw-r--r--   2 edrx edrx      79344 Feb 16  2016 2015-2-GA-P1-gab.tgz
-rw-r--r--   2 edrx edrx      93122 May 24  2016 2015-2-GA-P1-gab.zip
-rw-r--r--   1 edrx edrx      11346 Aug  4 22:58 2015-2-GA-P2.tex
-rw-r--r--   1 edrx edrx      13885 Dec 14 14:04 2015-2-GA-P2.tex.html
-rw-r--r--   2 edrx edrx      80592 Apr  6  2016 2015-2-GA-P2.tgz
-rw-r--r--   2 edrx edrx     107781 Mar 28  2016 2015-2-GA-VR.pdf
-rw-r--r--   1 edrx edrx       9200 Aug  4 22:58 2015-2-GA-VR.tex
-rw-r--r--   1 edrx edrx      11319 Dec 14 14:04 2015-2-GA-VR.tex.html
-rw-r--r--   1 edrx edrx       2048 Aug  4 22:58 2015-2-GA-VS.tex
-rw-r--r--   1 edrx edrx       3375 Dec 14 14:04 2015-2-GA-VS.tex.html
-rw-r--r--   2 edrx edrx     124969 Feb 16  2016 2015-2-GA-material.pdf
-rw-r--r--   1 edrx edrx      15121 Aug  4 22:58 2015-2-GA-material.tex
-rw-r--r--   1 edrx edrx      17569 Dec 14 14:04 2015-2-GA-material.tex.html
-rw-r--r--   2 edrx edrx      72608 May  9  2017 2015children.pdf
-rw-r--r--   1 edrx edrx       6919 May  9  2017 2015children.tex
-rw-r--r--   1 edrx edrx       8640 Dec 14 14:04 2015children.tex.html
-rwxr-xr-x   1 edrx edrx       3939 Aug 16  2015 2015logicandcats.lua*
-rw-r--r--   1 edrx edrx       7084 Dec 14 14:04 2015logicandcats.lua.html
-rw-r--r--   1 edrx edrx      14539 Jun 21  2015 2015logicandcats.tex
-rw-r--r--   1 edrx edrx      18926 Dec 14 14:04 2015logicandcats.tex.html
-rw-r--r--   1 edrx edrx       5381 May  8  2017 2015oppositions.tex
-rw-r--r--   1 edrx edrx       7692 Dec 14 14:04 2015oppositions.tex.html
-rw-r--r--   2 edrx edrx     328858 Mar  6  2017 2015planar-has.pdf
-rw-r--r--   1 edrx edrx      88230 Mar  7  2017 2015planar-has.tex
-rw-r--r--   1 edrx edrx     111093 Dec 14 14:04 2015planar-has.tex.html
-rw-r--r--   2 edrx edrx     124894 Nov  6 09:25 2016-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx      14195 Aug  4 22:58 2016-1-C2-P1.tex
-rw-r--r--   1 edrx edrx      17512 Dec 14 14:04 2016-1-C2-P1.tex.html
-rw-r--r--   2 edrx edrx     126088 Aug  1  2016 2016-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx       8620 Aug  4 22:58 2016-1-C2-P2.tex
-rw-r--r--   1 edrx edrx      11131 Dec 14 14:04 2016-1-C2-P2.tex.html
-rw-r--r--   2 edrx edrx     139981 Aug  1  2016 2016-1-C2-VR.pdf
-rw-r--r--   1 edrx edrx       7144 Aug  4 22:58 2016-1-C2-VR.tex
-rw-r--r--   1 edrx edrx       8996 Dec 14 14:04 2016-1-C2-VR.tex.html
-rw-r--r--   2 edrx edrx     140223 Aug  8  2016 2016-1-C2-VS.pdf
-rw-r--r--   1 edrx edrx       7565 Aug  4 22:58 2016-1-C2-VS.tex
-rw-r--r--   1 edrx edrx       9760 Dec 14 14:04 2016-1-C2-VS.tex.html
-rw-r--r--   1 edrx edrx      12004 Aug  4 22:58 2016-1-C2-material.tex
-rw-r--r--   1 edrx edrx      15573 Dec 14 14:04 2016-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx     126121 Jun 26  2016 2016-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx      13333 Aug  4 22:58 2016-1-GA-P1.tex
-rw-r--r--   1 edrx edrx      16057 Dec 14 14:04 2016-1-GA-P1.tex.html
-rw-r--r--   2 edrx edrx     151238 Jul 31  2016 2016-1-GA-P2.pdf
-rw-r--r--   1 edrx edrx       8139 Aug  4 22:58 2016-1-GA-P2.tex
-rw-r--r--   1 edrx edrx      10909 Dec 14 14:04 2016-1-GA-P2.tex.html
-rw-r--r--   2 edrx edrx     148495 Aug  1  2016 2016-1-GA-VR.pdf
-rw-r--r--   1 edrx edrx       7722 Aug  4 22:59 2016-1-GA-VR.tex
-rw-r--r--   1 edrx edrx      10534 Dec 14 14:04 2016-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx     122125 Aug  8  2016 2016-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx       6361 Aug  4 22:59 2016-1-GA-VS.tex
-rw-r--r--   1 edrx edrx       8302 Dec 14 14:04 2016-1-GA-VS.tex.html
-rw-r--r--   2 edrx edrx     164951 Jul 26  2016 2016-1-GA-material.pdf
-rw-r--r--   1 edrx edrx      28482 Aug  4 22:59 2016-1-GA-material.tex
-rw-r--r--   1 edrx edrx      32792 Dec 14 14:04 2016-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx      96164 May 24  2016 2016-1-GA-material.zip
-rw-r--r--   2 edrx edrx     125450 May 11  2016 2016-1-LA-material.pdf
-rw-r--r--   1 edrx edrx      46486 Aug  4 22:59 2016-1-LA-material.tex
-rw-r--r--   1 edrx edrx      60673 Dec 14 14:04 2016-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx      85890 Nov  6 09:26 2016-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       3909 Aug  4 22:59 2016-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       5824 Dec 14 14:04 2016-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx     113791 Dec  6 17:10 2016-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx       7821 Dec  6 13:33 2016-2-C2-P2.tex
-rw-r--r--   1 edrx edrx      10066 Dec 14 14:04 2016-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx       6873 Aug  4 22:59 2016-2-C2-integral.tex
-rw-r--r--   1 edrx edrx      10806 Dec 14 14:04 2016-2-C2-integral.tex.html
-rw-r--r--   2 edrx edrx     106507 Jan 22  2017 2016-2-GA-P1.pdf
-rw-r--r--   1 edrx edrx       5825 Aug  4 22:59 2016-2-GA-P1.tex
-rw-r--r--   1 edrx edrx       8385 Dec 14 14:04 2016-2-GA-P1.tex.html
-rw-r--r--   2 edrx edrx     106809 Jan 18  2017 2016-2-GA-P2.pdf
-rw-r--r--   1 edrx edrx       9315 Aug  4 22:59 2016-2-GA-P2.tex
-rw-r--r--   1 edrx edrx      11835 Dec 14 14:04 2016-2-GA-P2.tex.html
-rw-r--r--   2 edrx edrx     113574 Jan 25  2017 2016-2-GA-VR.pdf
-rw-r--r--   1 edrx edrx       5804 Aug  4 22:59 2016-2-GA-VR.tex
-rw-r--r--   1 edrx edrx       8040 Dec 14 14:04 2016-2-GA-VR.tex.html
-rw-r--r--   2 edrx edrx     107422 Jan 25  2017 2016-2-GA-VS.pdf
-rw-r--r--   1 edrx edrx       5458 Aug  4 22:59 2016-2-GA-VS.tex
-rw-r--r--   1 edrx edrx       7810 Dec 14 14:04 2016-2-GA-VS.tex.html
-rw-r--r--   2 edrx edrx     379883 Jan 10  2017 2016-2-GA-algebra.pdf
-rw-r--r--   1 edrx edrx     100441 Mar 15  2017 2016-2-GA-algebra.tex
-rw-r--r--   1 edrx edrx     130581 Dec 14 14:04 2016-2-GA-algebra.tex.html
-rw-r--r--   2 edrx edrx      41491 Jan 10  2017 2016-2-GA-algebra.tgz
-rw-r--r--   1 edrx edrx       2172 Aug  4 22:59 2016-2-GA-conicas.tex
-rw-r--r--   1 edrx edrx       4078 Dec 14 14:04 2016-2-GA-conicas.tex.html
-rw-r--r--   2 edrx edrx     128609 Aug 27  2016 2016-2-LA-cats.pdf
-rw-r--r--   1 edrx edrx      12607 Aug 16 20:23 2016-2-LA-cats.tex
-rw-r--r--   1 edrx edrx      17769 Dec 14 14:04 2016-2-LA-cats.tex.html
-rw-r--r--   2 edrx edrx     140091 Sep 26  2016 2016-2-LA-lambda.pdf
-rw-r--r--   1 edrx edrx      20508 Aug 16 20:25 2016-2-LA-lambda.tex
-rw-r--r--   1 edrx edrx      27343 Dec 14 14:04 2016-2-LA-lambda.tex.html
-rw-r--r--   2 edrx edrx      43262 Aug 26  2016 2016-2-LA-logic.pdf
-rw-r--r--   1 edrx edrx      28087 Aug 16 20:26 2016-2-LA-logic.tex
-rw-r--r--   1 edrx edrx      38792 Dec 14 14:04 2016-2-LA-logic.tex.html
-rw-r--r--   1 edrx edrx       9445 Aug 16 20:29 2016-2-LA-zhas.tex
-rw-r--r--   1 edrx edrx      13921 Dec 14 14:04 2016-2-LA-zhas.tex.html
-rw-r--r--   2 edrx edrx      68958 Jan 15  2016 2016lucatelli.pdf
-rw-r--r--   1 edrx edrx       3229 Aug  4 23:00 2016lucatelli.tex
-rw-r--r--   1 edrx edrx       4462 Dec 14 14:04 2016lucatelli.tex.html
-rw-r--r--   2 edrx edrx     119011 Dec 27  2016 2016modal.pdf
-rw-r--r--   1 edrx edrx       6369 Aug  4 23:00 2016optativa-1.tex
-rw-r--r--   1 edrx edrx       9169 Dec 14 14:04 2016optativa-1.tex.html
-rw-r--r--   2 edrx edrx     391022 Dec 18  2016 2016planar-has.pdf
-rw-r--r--   1 edrx edrx     116115 Aug  4 23:00 2016planar-has.tex
-rw-r--r--   1 edrx edrx     141398 Dec 14 14:04 2016planar-has.tex.html
-rw-r--r--   2 edrx edrx     119664 Dec 18  2016 2016planar-has.tgz
-rw-r--r--   2 edrx edrx     105157 Nov  6 09:29 2017-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx       6221 Aug  4 23:00 2017-1-C2-P1.tex
-rw-r--r--   1 edrx edrx       8395 Dec 14 14:04 2017-1-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      83573 Dec  6 17:10 2017-1-C2-P2.pdf
-rw-r--r--   1 edrx edrx       4953 Dec 12 17:43 2017-1-C2-P2.tex
-rw-r--r--   1 edrx edrx       7454 Dec 14 14:04 2017-1-C2-P2.tex.html
-rw-r--r--   2 edrx edrx      79351 Dec  6 17:11 2017-1-C2-VS.pdf
-rw-r--r--   1 edrx edrx       3520 Aug  4 23:00 2017-1-C2-VS.tex
-rw-r--r--   1 edrx edrx       5622 Dec 14 14:04 2017-1-C2-VS.tex.html
-rw-r--r--   1 edrx edrx       5332 Aug  4 23:00 2017-1-C2-material.tex
-rw-r--r--   1 edrx edrx       9536 Dec 14 14:04 2017-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx     117912 Jun 29 21:44 2017-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx       7273 Aug  4 23:00 2017-1-GA-P1.tex
-rw-r--r--   1 edrx edrx       9942 Dec 14 14:04 2017-1-GA-P1.tex.html
-rw-r--r--   2 edrx edrx     102164 Jul 17 20:18 2017-1-GA-P2.pdf
-rw-r--r--   1 edrx edrx      14873 Aug  4 23:00 2017-1-GA-P2.tex
-rw-r--r--   1 edrx edrx      18033 Dec 14 14:04 2017-1-GA-P2.tex.html
-rw-r--r--   2 edrx edrx     119182 Jul 18 21:01 2017-1-GA-VR.pdf
-rw-r--r--   1 edrx edrx      14026 Dec  3 16:57 2017-1-GA-VR.tex
-rw-r--r--   1 edrx edrx      17747 Dec 14 14:04 2017-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx      86937 Jul 31 19:54 2017-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx       6587 Aug  4 23:00 2017-1-GA-VS.tex
-rw-r--r--   1 edrx edrx       8958 Dec 14 14:04 2017-1-GA-VS.tex.html
-rw-r--r--   2 edrx edrx     331875 May  2  2017 2017-1-GA-material.pdf
-rw-r--r--   1 edrx edrx      98891 Aug 16 20:44 2017-1-GA-material.tex
-rw-r--r--   1 edrx edrx     128617 Dec 14 14:04 2017-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx     115050 Jul 10 09:08 2017-1-GA-material.tgz
-rw-r--r--   2 edrx edrx     232770 May  2  2017 2017-1-LA-material.pdf
-rw-r--r--   1 edrx edrx      37475 Aug 16 20:30 2017-1-LA-material.tex
-rw-r--r--   1 edrx edrx      51385 Dec 14 14:04 2017-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx     116255 Dec  5 08:22 2017-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx       6731 Dec 12 20:33 2017-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       8954 Dec 14 14:04 2017-2-C2-P1.tex.html
-rw-r--r--   2 edrx edrx      87770 Dec 14 13:59 2017-2-C2-P2.pdf
-rw-r--r--   1 edrx edrx       6129 Dec 14  2017 2017-2-C2-P2.tex
-rw-r--r--   1 edrx edrx       8798 Dec 14 14:04 2017-2-C2-P2.tex.html
-rw-r--r--   2 edrx edrx     134842 Aug 28 17:56 2017-2-C2-material.pdf
-rw-r--r--   1 edrx edrx      20197 Sep 12 19:22 2017-2-C2-material.tex
-rw-r--r--   1 edrx edrx      31368 Dec 14 14:04 2017-2-C2-material.tex.html
-rw-r--r--   2 edrx edrx      99239 Dec  4 14:57 2017-2-GA-P1.pdf
-rw-r--r--   1 edrx edrx       9995 Dec  5 09:31 2017-2-GA-P1.tex
-rw-r--r--   1 edrx edrx      12635 Dec 14 14:04 2017-2-GA-P1.tex.html
-rw-r--r--   2 edrx edrx      95447 Dec 13 17:26 2017-2-GA-P2.pdf
-rw-r--r--   1 edrx edrx      14055 Dec 13 17:01 2017-2-GA-P2.tex
-rw-r--r--   1 edrx edrx      18329 Dec 14 14:04 2017-2-GA-P2.tex.html
-rw-r--r--   2 edrx edrx     100113 Dec 13 17:26 2017-2-GA-VR.pdf
-rw-r--r--   1 edrx edrx      11788 Dec 14 02:35 2017-2-GA-VR.tex
-rw-r--r--   1 edrx edrx      15972 Dec 14 14:04 2017-2-GA-VR.tex.html
-rw-r--r--   2 edrx edrx     357813 Aug 21 11:51 2017-2-GA-material.pdf
-rw-r--r--   1 edrx edrx      99628 Sep 11 13:29 2017-2-GA-material.tex
-rw-r--r--   1 edrx edrx     129337 Dec 14 14:04 2017-2-GA-material.tex.html
-rw-r--r--   2 edrx edrx     222998 Aug 22 16:56 2017-2-LA-material.pdf
-rw-r--r--   1 edrx edrx      52346 Nov  7 13:56 2017-2-LA-material.tex
-rw-r--r--   1 edrx edrx      71935 Dec 14 14:04 2017-2-LA-material.tex.html
-rw-r--r--   1 edrx edrx       3865 Nov 28 16:28 2017-music-paper.tex
-rw-r--r--   1 edrx edrx       6012 Dec 14 14:04 2017-music-paper.tex.html
-rw-r--r--   2 edrx edrx      70141 Feb  6  2017 2017adjunctions.pdf
-rw-r--r--   1 edrx edrx       9764 Aug  4 23:00 2017adjunctions.tex
-rw-r--r--   1 edrx edrx      13093 Dec 14 14:04 2017adjunctions.tex.html
-rw-r--r--   1 edrx edrx       7771 Aug  4 23:00 2017bell.tex
-rw-r--r--   1 edrx edrx      10690 Dec 14 14:04 2017bell.tex.html
-rw-r--r--   1 edrx edrx       1807 Aug 27 02:08 2017biblatex.tex
-rw-r--r--   1 edrx edrx       3533 Dec 14 14:04 2017biblatex.tex.html
-rw-r--r--   2 edrx edrx     142769 Jul 23 23:27 2017cwm-adjoints.pdf
-rw-r--r--   2 edrx edrx     250424 Nov 25 15:08 2017cwm.pdf
-rw-r--r--   1 edrx edrx      72183 Nov 22 10:58 2017cwm.tex
-rw-r--r--   1 edrx edrx      94017 Dec 14 14:04 2017cwm.tex.html
-rw-r--r--   1 edrx edrx       4943 Oct 11 01:08 2017distributivity.tex
-rw-r--r--   1 edrx edrx       7899 Dec 14 14:04 2017distributivity.tex.html
-rw-r--r--   2 edrx edrx      62881 Apr  9  2017 2017ebl-abs.pdf
-rw-r--r--   1 edrx edrx       4725 Aug  4 23:00 2017ebl-abs.tex
-rw-r--r--   1 edrx edrx       6492 Dec 14 14:04 2017ebl-abs.tex.html
-rw-r--r--   2 edrx edrx      14760 Jan 21  2017 2017ebl-abs.tgz
-rw-r--r--   2 edrx edrx     150698 May  5  2017 2017ebl-handouts.pdf
-rw-r--r--   1 edrx edrx      11991 Aug  4 23:00 2017ebl-handouts.tex
-rw-r--r--   1 edrx edrx      17465 Dec 14 14:04 2017ebl-handouts.tex.html
-rw-r--r--   1 edrx edrx       2262 Aug  4 23:01 2017ebl-proceedings.tex
-rw-r--r--   1 edrx edrx       4091 Dec 14 14:04 2017ebl-proceedings.tex.html
-rw-r--r--   2 edrx edrx     254123 May  9  2017 2017ebl-slides.pdf
-rw-r--r--   1 edrx edrx      48215 Aug  4 23:01 2017ebl-slides.tex
-rw-r--r--   1 edrx edrx      63968 Dec 14 14:04 2017ebl-slides.tex.html
-rw-r--r--   2 edrx edrx     245972 Oct 17 09:00 2017elephant.pdf
-rw-r--r--   1 edrx edrx      61687 Oct 18 23:01 2017elephant.tex
-rw-r--r--   1 edrx edrx      82783 Dec 14 14:04 2017elephant.tex.html
-rw-r--r--   1 edrx edrx       4543 Oct 14 14:03 2017lucatelli-fibs.tex
-rw-r--r--   1 edrx edrx       6550 Dec 14 14:04 2017lucatelli-fibs.tex.html
-rw-r--r--   2 edrx edrx     453030 Aug 30 00:41 2017planar-has-1.pdf
-rw-r--r--   1 edrx edrx     113425 Nov 19 10:02 2017planar-has-1.tex
-rw-r--r--   1 edrx edrx     137605 Dec 14 14:04 2017planar-has-1.tex.html
-rw-r--r--   2 edrx edrx     209948 Aug 30 00:41 2017planar-has-1.tgz
-rw-r--r--   2 edrx edrx     442815 Nov 19 00:24 2017planar-has-2.pdf
-rw-r--r--   1 edrx edrx     144710 Dec  9 18:33 2017planar-has-2.tex
-rw-r--r--   1 edrx edrx     173452 Dec 14 14:04 2017planar-has-2.tex.html
-rw-r--r--   1 edrx edrx       3293 Oct 28 16:43 2017planar-has-defs.tex
-rw-r--r--   1 edrx edrx       4933 Dec 14 14:04 2017planar-has-defs.tex.html
-rw-r--r--   1 edrx edrx     123863 Aug  4 23:01 2017planar-has-deleted.tex
-rw-r--r--   1 edrx edrx     152939 Dec 14 14:04 2017planar-has-deleted.tex.html
-rw-r--r--   2 edrx edrx     658879 Jul 15 22:56 2017planar-has-sajl.pdf
-rw-r--r--   2 edrx edrx     228442 Jul 15 22:57 2017planar-has-sajl.tgz
-rw-r--r--   2 edrx edrx     617995 Jul 13 03:34 2017planar-has.pdf
-rw-r--r--   1 edrx edrx     206709 Oct  1 13:33 2017planar-has.tex
-rw-r--r--   1 edrx edrx     248928 Dec 14 14:04 2017planar-has.tex.html
-rw-r--r--   2 edrx edrx     150725 Jul 13 03:36 2017planar-has.tgz
-rw-r--r--   2 edrx edrx      56580 May 11  2017 2017puc-abstract.pdf
-rw-r--r--   1 edrx edrx       2310 May 11  2017 2017puc-abstract.tex
-rw-r--r--   1 edrx edrx       3263 Dec 14 14:04 2017puc-abstract.tex.html
-rw-r--r--   1 edrx edrx       3572 Aug  5 01:24 2017repl-test-1.tex
-rw-r--r--   1 edrx edrx       6310 Dec 14 14:04 2017repl-test-1.tex.html
-rw-r--r--   2 edrx edrx      79893 Aug  5 00:44 2017repl-test-1.tgz
-rw-r--r--   1 edrx edrx      11851 Aug  4 23:01 2017sajl-mini.tex
-rw-r--r--   1 edrx edrx      16076 Dec 14 14:04 2017sajl-mini.tex.html
-rw-r--r--   1 edrx edrx       6800 Aug  4 23:01 2017vichy-abs.tex
-rw-r--r--   1 edrx edrx       9102 Dec 14 14:04 2017vichy-abs.tex.html
-rw-r--r--   1 edrx edrx       7573 Aug  4 23:01 2017vichy-slides-1.tex
-rw-r--r--   1 edrx edrx       9695 Dec 14 14:04 2017vichy-slides-1.tex.html
-rw-r--r--   1 edrx edrx       2250 Aug  4 23:01 2017vichy-slides-2.tex
-rw-r--r--   1 edrx edrx       4075 Dec 14 14:04 2017vichy-slides-2.tex.html
-rw-r--r--   1 edrx edrx       2926 Aug  7 10:11 2017vichy-slides-3.tex
-rw-r--r--   1 edrx edrx       4758 Dec 14 14:04 2017vichy-slides-3.tex.html
-rw-r--r--   1 edrx edrx       2250 Aug  4 23:01 2017vichy-slides-4.tex
-rw-r--r--   1 edrx edrx       4075 Dec 14 14:04 2017vichy-slides-4.tex.html
-rw-r--r--   2 edrx edrx      28755 Sep 20 09:33 2017vichy-workshop.pdf
-rw-r--r--   1 edrx edrx       5449 Sep 20 09:34 2017vichy-workshop.tex
-rw-r--r--   1 edrx edrx       6681 Dec 14 14:04 2017vichy-workshop.tex.html
-rw-r--r--   2 edrx edrx      43291 Sep 15 21:24 2017visualizing-gms.pdf
-rw-r--r--   1 edrx edrx       2616 Sep 15 21:25 2017visualizing-gms.tex
-rw-r--r--   1 edrx edrx       3423 Dec 14 14:04 2017visualizing-gms.tex.html
-rw-r--r--   2 edrx edrx     273868 Oct 14 19:13 5.pdf
-rw-r--r--   1 edrx edrx       9504 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx      16232 Dec 14 14:04 Makefile.html
-rw-r--r--   1 edrx edrx       1350 Apr 14  2014 README
-rw-r--r--   1 edrx edrx       2871 Dec 14 14:04 README.html
-rw-r--r--   1 edrx edrx      32878 Apr 14  2014 activist.bib
-rw-r--r--   1 edrx edrx      64937 Dec 14 14:04 activist.bib.html
-rw-r--r--   1 edrx edrx       7769 Apr 14  2014 ata.cls
-rw-r--r--   1 edrx edrx       8582 Dec 14 14:04 ata.cls.html
-rw-r--r--   1 edrx edrx       2311 Apr 14  2014 beamer-template.tex
-rw-r--r--   1 edrx edrx       4497 Dec 14 14:04 beamer-template.tex.html
-rw-r--r--   1 edrx edrx       2536 Apr 14  2014 beamertest.tex
-rw-r--r--   1 edrx edrx       3888 Dec 14 14:04 beamertest.tex.html
-rw-r--r--   1 edrx edrx      32380 Apr 14  2014 bussproofs.sty
-rw-r--r--   1 edrx edrx      37826 Aug 26 01:46 catsem.bib
-rw-r--r--   1 edrx edrx      72745 Dec 14 14:04 catsem.bib.html
-rw-r--r--   1 edrx edrx        966 Apr 14  2014 catsembibtest.tex
-rw-r--r--   1 edrx edrx       1601 Dec 14 14:04 catsembibtest.tex.html
-rw-r--r--   2 edrx www-data 111528 Jul  4  2011 chapa1-pressao.pdf
-rw-r--r--   1 edrx edrx       8809 Apr 14  2014 chapa1-pressao.tex
-rw-r--r--   1 edrx edrx      11971 Dec 14 14:04 chapa1-pressao.tex.html
-rw-r--r--   1 edrx edrx       6265 Apr 14  2014 chapa1-regric.tex
-rw-r--r--   1 edrx edrx       8568 Dec 14 14:04 chapa1-regric.tex.html
-rw-r--r--   2 edrx www-data 166077 May 31  2011 chaui-hch.pdf
-rw-r--r--   1 edrx edrx      46716 Apr 14  2014 chaui-hch.tex
-rw-r--r--   1 edrx edrx      57853 Dec 14 14:04 chaui-hch.tex.html
-rw-r--r--   1 edrx edrx       5490 Apr 14  2014 dednat.icn
-rw-r--r--   1 edrx edrx       6467 Dec 14 14:04 dednat.icn.html
drwxr-xr-x   3 edrx edrx       4096 Dec 14 14:04 dednat6/
-rw-r--r--   1 edrx edrx      69490 Apr 14  2014 desenhos.014
-rw-r--r--   1 edrx edrx     106433 Dec 14 14:04 desenhos.014.html
-rw-r--r--   1 edrx edrx      18095 Apr 14  2014 diaglib.014
-rw-r--r--   1 edrx edrx      23279 Dec 14 14:05 diaglib.014.html
-rw-r--r--   1 edrx edrx       3272 Apr 14  2014 dynkin.tcl
-rw-r--r--   1 edrx edrx       3872 Dec 14 14:05 dynkin.tcl.html
-rw-r--r--   1 edrx edrx      17719 Apr 14  2014 edrx.sty
-rw-r--r--   1 edrx edrx      23389 Dec 14 14:05 edrx.sty.html
-rw-r--r--   1 edrx edrx      18790 Jan 10  2017 edrx15.sty
-rw-r--r--   1 edrx edrx      29641 Dec 14 14:05 edrx15.sty.html
-rw-r--r--   1 edrx edrx        427 Apr  1  2015 edrx15chars.tex
-rw-r--r--   1 edrx edrx       1020 Dec 14 14:05 edrx15chars.tex.html
-rw-r--r--   1 edrx edrx       6224 Sep 20 01:33 edrx15defs.tex
-rw-r--r--   1 edrx edrx       7422 Dec 14 14:05 edrx15defs.tex.html
-rw-r--r--   1 edrx edrx      19324 Jun 17 14:06 edrx17.sty
-rw-r--r--   1 edrx edrx      30555 Dec 14 14:05 edrx17.sty.html
-rw-r--r--   1 edrx edrx      24417 Sep 26 08:34 edrx17defs.tex
-rw-r--r--   1 edrx edrx      35908 Dec 14 14:05 edrx17defs.tex.html
-rw-r--r--   1 edrx edrx       1299 Feb 28  2016 edrxaccents.tex
-rw-r--r--   1 edrx edrx       2496 Dec 14 14:05 edrxaccents.tex.html
-rw-r--r--   1 edrx edrx       6837 Nov 12 13:39 edrxchars.tex
-rw-r--r--   1 edrx edrx      10475 Dec 14 14:05 edrxchars.tex.html
-rw-r--r--   1 edrx edrx       5227 Nov 22 10:53 edrxgac2.tex
-rw-r--r--   1 edrx edrx       9216 Dec 14 14:05 edrxgac2.tex.html
-rw-r--r--   1 edrx edrx      16482 May 20  2017 edrxpict.lua
-rw-r--r--   1 edrx edrx      25338 Dec 14 14:05 edrxpict.lua.html
-rw-r--r--   1 edrx edrx        731 Mar 11  2015 edrxrepl.tex
-rw-r--r--   1 edrx edrx       1690 Dec 14 14:05 edrxrepl.tex.html
-rw-r--r--   1 edrx edrx       9627 Jul 16 19:43 edrxtikz.lua
-rw-r--r--   1 edrx edrx      14744 Dec 14 14:05 edrxtikz.lua.html
-rw-r--r--   2 edrx edrx     300859 Jul  1  2016 falta-misandria-a5.pdf
-rw-r--r--   1 edrx edrx       4925 Jul  1  2016 falta-misandria-a5.tex
-rw-r--r--   1 edrx edrx       8581 Dec 14 14:05 falta-misandria-a5.tex.html
-rw-r--r--   2 edrx edrx      44761 Jul  1  2016 falta-misandria-a5.tgz
-rw-r--r--   2 edrx edrx      52080 Jul  1  2016 falta-misandria-a5.zip
-rw-r--r--   1 edrx edrx       5409 Oct 25  2015 falta-misandria-body.tex
-rw-r--r--   1 edrx edrx       6941 Dec 14 14:05 falta-misandria-body.tex.html
-rw-r--r--   1 edrx edrx      11671 Jul 16  2016 falta-misandria-cats.tex
-rw-r--r--   1 edrx edrx      14331 Dec 14 14:05 falta-misandria-cats.tex.html
-rw-r--r--   1 edrx edrx      22731 Jun  5  2016 falta-misandria-corpo.tex
-rw-r--r--   1 edrx edrx      27188 Dec 14 14:05 falta-misandria-corpo.tex.html
-rw-r--r--   1 edrx edrx       5414 Oct 25  2015 falta-misandria-daniel.tex
-rw-r--r--   1 edrx edrx       6979 Dec 14 14:05 falta-misandria-daniel.tex.html
-rw-r--r--   1 edrx edrx       5286 Oct 25  2015 falta-misandria-hdt.tex
-rw-r--r--   1 edrx edrx       6568 Dec 14 14:05 falta-misandria-hdt.tex.html
-rw-r--r--   1 edrx edrx      10266 Dec 22  2015 falta-misandria-homens.tex
-rw-r--r--   1 edrx edrx      12117 Dec 14 14:05 falta-misandria-homens.tex.html
-rw-r--r--   1 edrx edrx      19325 Nov 10  2015 falta-misandria-intro.tex
-rw-r--r--   1 edrx edrx      23736 Dec 14 14:05 falta-misandria-intro.tex.html
-rw-r--r--   1 edrx edrx      11385 Dec 17  2015 falta-misandria-nismos.tex
-rw-r--r--   1 edrx edrx      13700 Dec 14 14:05 falta-misandria-nismos.tex.html
-rw-r--r--   1 edrx edrx       1273 Nov  9  2015 falta-misandria-print.tex
-rw-r--r--   1 edrx edrx       2172 Dec 14 14:05 falta-misandria-print.tex.html
-rw-r--r--   1 edrx edrx      14855 Nov 10  2015 falta-misandria-rh.tex
-rw-r--r--   1 edrx edrx      18074 Dec 14 14:05 falta-misandria-rh.tex.html
-rw-r--r--   1 edrx edrx       8582 Oct 26  2015 falta-misandria-tf.tex
-rw-r--r--   1 edrx edrx      10765 Dec 14 14:05 falta-misandria-tf.tex.html
-rw-r--r--   1 edrx edrx      13602 Oct 23  2015 falta-misandria-tf0.tex
-rw-r--r--   1 edrx edrx      16416 Dec 14 14:05 falta-misandria-tf0.tex.html
-rw-r--r--   2 edrx edrx     264608 Oct 24  2015 falta-misandria.pdf
-rw-r--r--   1 edrx edrx      10083 Apr 14  2014 filters.bib
-rw-r--r--   1 edrx edrx      18251 Dec 14 14:05 filters.bib.html
-rw-r--r--   2 edrx www-data  54936 Feb 23  2010 forest.pdf
-rw-r--r--   1 edrx edrx      11057 Apr 14  2017 forest.tex
-rw-r--r--   1 edrx edrx      11987 Dec 14 14:05 forest.tex.html
-rw-r--r--   1 edrx edrx       4696 Sep 30  2015 frob-sketch.eps
-rw-r--r--   1 edrx edrx         86 Apr 14  2014 gray50.bmp
-rw-r--r--   1 edrx edrx         86 Apr 14  2014 gray50xx.bmp
-rw-r--r--   2 edrx edrx     237880 Jun  8  2013 idarct-preprint.dvi
-rw-r--r--   2 edrx edrx     357201 Jun  8  2013 idarct-preprint.pdf
-rw-r--r--   2 edrx edrx      95354 Jan  7  2014 idarct.tgz
-rw-r--r--   2 edrx edrx     135425 Jun 25  2015 istanbul-handouts.pdf
-rw-r--r--   1 edrx edrx      31644 Jul 26  2015 istanbul-handouts.tex
-rw-r--r--   1 edrx edrx      40481 Dec 14 14:05 istanbul-handouts.tex.html
-rw-r--r--   2 edrx edrx     200642 Aug  5  2015 istanbul-july.pdf
-rw-r--r--   1 edrx edrx      50431 Sep  6  2015 istanbul-july.tex
-rw-r--r--   1 edrx edrx      64330 Dec 14 14:05 istanbul-july.tex.html
-rw-r--r--   1 edrx edrx     106221 Jul 20  2015 istanbul1.org
-rw-r--r--   1 edrx edrx     119042 Dec 14 14:05 istanbul1.org.html
-rw-r--r--   2 edrx edrx     383060 Jun 25  2015 istanbul1.pdf
-rw-r--r--   1 edrx edrx      96174 Aug 30  2015 istanbul1.tex
-rw-r--r--   1 edrx edrx     106785 Dec 14 14:05 istanbul1.tex.html
-rw-r--r--   1 edrx edrx      10992 Aug 16  2015 istanbulall.lua
-rw-r--r--   1 edrx edrx      20053 Dec 14 14:05 istanbulall.lua.html
-rw-r--r--   1 edrx edrx       6342 Feb 23  2016 istanbuldefs.tex
-rw-r--r--   1 edrx edrx       9621 Dec 14 14:05 istanbuldefs.tex.html
-rw-r--r--   1 edrx edrx       5273 Nov 12 13:38 istanbulglyphs.el
-rw-r--r--   1 edrx edrx       8860 Dec 14 14:05 istanbulglyphs.el.html
-rw-r--r--   1 edrx edrx      34228 Sep 23 08:32 istanbulquotes.tex
-rw-r--r--   1 edrx edrx      47167 Dec 14 14:05 istanbulquotes.tex.html
-rw-r--r--   1 edrx edrx       1744 Apr 14  2014 kaplansky.tex
-rw-r--r--   1 edrx edrx       3019 Dec 14 14:05 kaplansky.tex.html
-rw-r--r--   1 edrx edrx       1139 Jul 10  2015 lualoader.lua
-rw-r--r--   1 edrx edrx       2094 Dec 14 14:05 lualoader.lua.html
-rw-r--r--   2 edrx www-data 117417 Jan 12  2011 maira-both.pdf
-rw-r--r--   2 edrx www-data  99437 Jan 12  2011 maira-eng.pdf
-rw-r--r--   1 edrx edrx      31461 Apr 14  2014 maira.tex
-rw-r--r--   1 edrx edrx      35999 Dec 14 14:05 maira.tex.html
-rw-r--r--   1 edrx edrx      17092 Apr 14  2014 mar99a.dn
-rw-r--r--   1 edrx edrx      16265 Apr 14  2014 mar99a.dnt
-rw-r--r--   1 edrx edrx      13836 Apr 14  2014 mar99b.dn
-rw-r--r--   1 edrx edrx      11958 Apr 14  2014 mar99b.dnt
-rw-r--r--   1 edrx edrx       1019 Feb 17  2015 myrepl.lua
-rw-r--r--   1 edrx edrx       1887 Dec 14 14:05 myrepl.lua.html
-rw-r--r--   1 edrx edrx       8106 Apr 14  2014 passo-a-passo-concurso.tex
-rw-r--r--   1 edrx edrx      10351 Dec 14 14:05 passo-a-passo-concurso.tex.html
-rw-r--r--   1 edrx edrx     138085 Dec 26  2015 personas-sexuais-cap-1.tex
-rw-r--r--   1 edrx edrx     175783 Dec 14 14:05 personas-sexuais-cap-1.tex.html
-rw-r--r--   1 edrx edrx       2199 Apr 14  2014 phil.bib
-rw-r--r--   1 edrx edrx       3192 Dec 14 14:05 phil.bib.html
-rw-r--r--   2 edrx www-data 115662 Jan 12  2004 poep.pdf
-rw-r--r--   1 edrx edrx      45826 Apr 14  2014 poep.tex
-rw-r--r--   1 edrx edrx      46817 Dec 14 14:05 poep.tex.html
-rw-r--r--   1 edrx edrx      10467 Apr 14  2014 proof.edrx.sty
-rw-r--r--   2 edrx www-data  45650 Jan 12  2004 reinhab.pdf
-rw-r--r--   1 edrx edrx      16165 Apr 14  2014 reinhab.tex
-rw-r--r--   1 edrx edrx      17065 Dec 14 14:05 reinhab.tex.html
-rw-r--r--   2 edrx www-data 272818 Nov  4  2012 rrj.pdf
-rw-r--r--   1 edrx edrx     135903 Apr 14  2014 rrj.tex
-rw-r--r--   1 edrx edrx     160135 Dec 14 14:05 rrj.tex.html
-rw-r--r--   1 edrx edrx      14977 Apr 14  2014 tese2.sty
-rw-r--r--   1 edrx edrx      17235 Dec 14 14:05 tese2.sty.html
-rw-r--r--   1 edrx edrx       2598 Apr 14  2014 testdynkin.tex
-rw-r--r--   1 edrx edrx       3167 Dec 14 14:05 testdynkin.tex.html
-rw-r--r--   1 edrx edrx       1817 Jun  7  2014 tmppgf.tex
-rw-r--r--   1 edrx edrx       3216 Dec 14 14:05 tmppgf.tex.html
-rw-r--r--   1 edrx edrx        545 Feb 24  2015 twot-boxes.lua
-rw-r--r--   1 edrx edrx       1220 Dec 14 14:05 twot-boxes.lua.html
-rw-r--r--   1 edrx edrx       3871 Feb 22  2015 twot-pages.lua
-rw-r--r--   1 edrx edrx       4488 Dec 14 14:05 twot-pages.lua.html
-rw-r--r--   1 edrx edrx       2409 Feb 24  2015 twot-paragraph.lua
-rw-r--r--   1 edrx edrx       3116 Dec 14 14:05 twot-paragraph.lua.html
-rw-r--r--   1 edrx edrx        799 Feb 24  2015 twot.tex
-rw-r--r--   1 edrx edrx       1743 Dec 14 14:05 twot.tex.html
-rw-r--r--   1 edrx edrx       3475 Apr 14  2014 vgatim.sty
-rw-r--r--   2 edrx edrx     176760 Apr  8  2015 whipping-girl.pdf
-rw-r--r--   1 edrx edrx      53908 May  6  2015 whipping-girl.tex
-rw-r--r--   1 edrx edrx      54843 Dec 14 14:05 whipping-girl.tex.html
-rw-r--r--   2 edrx www-data  41006 Jan 12  2004 yogphi.pdf
-rw-r--r--   1 edrx edrx       9299 Apr 14  2014 yogphi.tex
-rw-r--r--   1 edrx edrx      10181 Dec 14 14:05 yogphi.tex.html
-rw-r--r--   1 edrx edrx       1272 Apr 14  2014 zinc.icn
-rw-r--r--   1 edrx edrx       4258 Apr 14  2014 zlib.icn