drwxr-xr-x   3 edrx edrx       40960 Jun  1 22:31 ./
drwxr-xr-x 200 edrx edrx       28672 Jun  6 02:02 ../
-rw-r--r--   1 edrx edrx       47595 Apr 14  2014 2002fmcs.tex
-rw-r--r--   1 edrx edrx       62774 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2008comprcat.tex.html
-rw-r--r--   1 edrx edrx       19267 Apr 14  2014 2008dclosed.tex
-rw-r--r--   1 edrx edrx       24521 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2008induction.tex.html
-rw-r--r--   1 edrx edrx        4755 Apr 14  2014 2008kocknsext.tex
-rw-r--r--   1 edrx edrx        6534 Jun  6 02:01 2008kocknsext.tex.html
-rw-r--r--   1 edrx edrx        5975 Apr 14  2014 2008lcccs.tex
-rw-r--r--   1 edrx edrx        8004 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2008projeto.tex.html
-rw-r--r--   1 edrx edrx       15179 Apr 14  2014 2008quotypes.tex
-rw-r--r--   1 edrx edrx       19199 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2008topos-str.tex.html
-rw-r--r--   1 edrx edrx       13203 Apr 14  2014 2008typesystems.tex
-rw-r--r--   1 edrx edrx       18195 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2009-defesa.tex.html
-rw-r--r--   1 edrx edrx       14379 Apr 14  2014 2009-micropol.tex
-rw-r--r--   1 edrx edrx       17724 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2009abcats.tex.html
-rw-r--r--   1 edrx edrx       10596 Apr 14  2014 2009apr29-C1.tex
-rw-r--r--   1 edrx edrx       13121 Jun  6 02:01 2009apr29-C1.tex.html
-rw-r--r--   1 edrx edrx        6584 Apr 14  2014 2009apr29-MD.tex
-rw-r--r--   1 edrx edrx        8711 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2009dnc-monads.tex.html
-rw-r--r--   1 edrx edrx        8792 Apr 14  2014 2009fractions.tex
-rw-r--r--   1 edrx edrx       10866 Jun  6 02:01 2009fractions.tex.html
-rw-r--r--   1 edrx edrx       11007 Apr 14  2014 2009integration.tex
-rw-r--r--   1 edrx edrx       13484 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2009jun05.tex.html
-rw-r--r--   1 edrx edrx        6982 Apr 14  2014 2009may08-C2.tex
-rw-r--r--   1 edrx edrx        8544 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2009may13-MD.tex.html
-rw-r--r--   1 edrx edrx        3526 Apr 14  2014 2009projections.tex
-rw-r--r--   1 edrx edrx        4824 Jun  6 02:01 2009projections.tex.html
-rw-r--r--   1 edrx edrx        5719 Apr 14  2014 2009unilog-abs0.tex
-rw-r--r--   1 edrx edrx        7030 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2009unilog-dnc.tex.html
-rw-r--r--   1 edrx edrx       17272 Apr 14  2014 2009unilog-obso.tex
-rw-r--r--   1 edrx edrx       19826 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2010-semanact.tex.html
-rw-r--r--   1 edrx edrx        6933 Apr 14  2014 2010-valenca.tex
-rw-r--r--   1 edrx edrx        9107 Jun  6 02:01 2010-valenca.tex.html
-rw-r--r--   1 edrx edrx        9051 Apr 14  2014 2010comprcats.tex
-rw-r--r--   1 edrx edrx       11561 Jun  6 02:01 2010comprcats.tex.html
-rw-r--r--   1 edrx edrx      120907 Apr 14  2014 2010diags-body.tex
-rw-r--r--   1 edrx edrx      136231 Jun  6 02:01 2010diags-body.tex.html
-rw-r--r--   1 edrx edrx        6334 Apr 14  2014 2010diags-outer.tex
-rw-r--r--   1 edrx edrx        8350 Jun  6 02:01 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 Jun  6 02:01 2010diags.tex.html
-rw-r--r--   1 edrx edrx      111539 Apr 14  2014 2010hyps.tex
-rw-r--r--   1 edrx edrx      139596 Jun  6 02:01 2010hyps.tex.html
-rw-r--r--   2 edrx edrx      145250 Mar  8 00:37 2010kockdiff-new.pdf
-rw-r--r--   1 edrx edrx       13211 Mar  8 12:39 2010kockdiff-new.tex
-rw-r--r--   1 edrx edrx       17666 Jun  6 02:01 2010kockdiff-new.tex.html
-rw-r--r--   2 edrx edrx       98953 Mar  8 00:37 2010kockdiff-new.tgz
-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 Jun  6 02:01 2010kockdiff.tex.html
-rw-r--r--   1 edrx edrx        6961 Apr 14  2014 2010lcccs.tex
-rw-r--r--   1 edrx edrx        9253 Jun  6 02:01 2010lcccs.tex.html
-rw-r--r--   1 edrx edrx        6026 Apr 14  2014 2010luayacc.tex
-rw-r--r--   1 edrx edrx        7579 Jun  6 02:01 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 Jun  6 02:01 2010reducao.tex.html
-rw-r--r--   1 edrx edrx       11528 Apr 14  2014 2010rings.tex
-rw-r--r--   1 edrx edrx       13484 Jun  6 02:01 2010rings.tex.html
-rw-r--r--   1 edrx edrx        3853 Apr 14  2014 2010sheaves.tex
-rw-r--r--   1 edrx edrx        5438 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2011ebl-slides.tex.html
-rw-r--r--   1 edrx edrx        2750 Apr 14  2014 2011sheaves-2d.tex
-rw-r--r--   1 edrx edrx        4732 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2012minicats.tex.html
-rw-r--r--   1 edrx edrx        4698 Apr 14  2014 2012unb-abril.tex
-rw-r--r--   1 edrx edrx        6827 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2014depoimento-ci.tex.html
-rw-r--r--   1 edrx edrx        3496 Sep 10  2014 2014istanbul-a.lua
-rw-r--r--   1 edrx edrx        4486 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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  2017 2015-2-C2-P1.tex
-rw-r--r--   1 edrx edrx       10772 Jun  6 02:01 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  2017 2015-2-C2-P2.tex
-rw-r--r--   1 edrx edrx        7828 Jun  6 02:01 2015-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx        8495 Aug  4  2017 2015-2-C2-VR.tex
-rw-r--r--   1 edrx edrx       11379 Jun  6 02:01 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 Jun  6 02:01 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  2017 2015-2-GA-P1-gab.tex
-rw-r--r--   1 edrx edrx       11715 Jun  6 02:01 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  2017 2015-2-GA-P2.tex
-rw-r--r--   1 edrx edrx       13885 Jun  6 02:01 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  2017 2015-2-GA-VR.tex
-rw-r--r--   1 edrx edrx       11319 Jun  6 02:01 2015-2-GA-VR.tex.html
-rw-r--r--   1 edrx edrx        2048 Aug  4  2017 2015-2-GA-VS.tex
-rw-r--r--   1 edrx edrx        3375 Jun  6 02:01 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  2017 2015-2-GA-material.tex
-rw-r--r--   1 edrx edrx       17569 Jun  6 02:01 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 Jun  6 02:01 2015children.tex.html
-rwxr-xr-x   1 edrx edrx        3939 Aug 16  2015 2015logicandcats.lua*
-rw-r--r--   1 edrx edrx        7084 Jun  6 02:01 2015logicandcats.lua.html
-rw-r--r--   1 edrx edrx       14539 Jun 21  2015 2015logicandcats.tex
-rw-r--r--   1 edrx edrx       18926 Jun  6 02:01 2015logicandcats.tex.html
-rw-r--r--   1 edrx edrx        5381 May  8  2017 2015oppositions.tex
-rw-r--r--   1 edrx edrx        7692 Jun  6 02:01 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 Jun  6 02:01 2015planar-has.tex.html
-rw-r--r--   2 edrx edrx      124894 Nov  6  2017 2016-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx       14195 Aug  4  2017 2016-1-C2-P1.tex
-rw-r--r--   1 edrx edrx       17512 Jun  6 02:01 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  2017 2016-1-C2-P2.tex
-rw-r--r--   1 edrx edrx       11131 Jun  6 02:01 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  2017 2016-1-C2-VR.tex
-rw-r--r--   1 edrx edrx        8996 Jun  6 02:01 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  2017 2016-1-C2-VS.tex
-rw-r--r--   1 edrx edrx        9760 Jun  6 02:01 2016-1-C2-VS.tex.html
-rw-r--r--   1 edrx edrx       12004 Aug  4  2017 2016-1-C2-material.tex
-rw-r--r--   1 edrx edrx       15573 Jun  6 02:01 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  2017 2016-1-GA-P1.tex
-rw-r--r--   1 edrx edrx       16057 Jun  6 02:01 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  2017 2016-1-GA-P2.tex
-rw-r--r--   1 edrx edrx       10909 Jun  6 02:01 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  2017 2016-1-GA-VR.tex
-rw-r--r--   1 edrx edrx       10534 Jun  6 02:01 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  2017 2016-1-GA-VS.tex
-rw-r--r--   1 edrx edrx        8302 Jun  6 02:01 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  2017 2016-1-GA-material.tex
-rw-r--r--   1 edrx edrx       32792 Jun  6 02:01 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  2017 2016-1-LA-material.tex
-rw-r--r--   1 edrx edrx       60673 Jun  6 02:01 2016-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx       85890 Nov  6  2017 2016-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx        3909 Aug  4  2017 2016-2-C2-P1.tex
-rw-r--r--   1 edrx edrx        5824 Jun  6 02:01 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 Jun  6 02:01 2016-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx        6873 Aug  4  2017 2016-2-C2-integral.tex
-rw-r--r--   1 edrx edrx       10806 Jun  6 02:01 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  2017 2016-2-GA-P1.tex
-rw-r--r--   1 edrx edrx        8385 Jun  6 02:01 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  2017 2016-2-GA-P2.tex
-rw-r--r--   1 edrx edrx       11835 Jun  6 02:01 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  2017 2016-2-GA-VR.tex
-rw-r--r--   1 edrx edrx        8040 Jun  6 02:01 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  2017 2016-2-GA-VS.tex
-rw-r--r--   1 edrx edrx        7810 Jun  6 02:01 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 Jun  6 02:01 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  2017 2016-2-GA-conicas.tex
-rw-r--r--   1 edrx edrx        4078 Jun  6 02:01 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  2017 2016-2-LA-cats.tex
-rw-r--r--   1 edrx edrx       17769 Jun  6 02:01 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  2017 2016-2-LA-lambda.tex
-rw-r--r--   1 edrx edrx       27343 Jun  6 02:01 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  2017 2016-2-LA-logic.tex
-rw-r--r--   1 edrx edrx       38792 Jun  6 02:01 2016-2-LA-logic.tex.html
-rw-r--r--   1 edrx edrx        9445 Aug 16  2017 2016-2-LA-zhas.tex
-rw-r--r--   1 edrx edrx       13921 Jun  6 02:01 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  2017 2016lucatelli.tex
-rw-r--r--   1 edrx edrx        4462 Jun  6 02:01 2016lucatelli.tex.html
-rw-r--r--   2 edrx edrx      119011 Dec 27  2016 2016modal.pdf
-rw-r--r--   1 edrx edrx        6369 Aug  4  2017 2016optativa-1.tex
-rw-r--r--   1 edrx edrx        9169 Jun  6 02:01 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  2017 2016planar-has.tex
-rw-r--r--   1 edrx edrx      141398 Jun  6 02:01 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  2017 2017-1-C2-P1.pdf
-rw-r--r--   1 edrx edrx        6221 Aug  4  2017 2017-1-C2-P1.tex
-rw-r--r--   1 edrx edrx        8395 Jun  6 02:01 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 Jun  6 02:01 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  2017 2017-1-C2-VS.tex
-rw-r--r--   1 edrx edrx        5622 Jun  6 02:01 2017-1-C2-VS.tex.html
-rw-r--r--   1 edrx edrx        5332 Aug  4  2017 2017-1-C2-material.tex
-rw-r--r--   1 edrx edrx        9536 Jun  6 02:01 2017-1-C2-material.tex.html
-rw-r--r--   2 edrx edrx      117912 Jun 29  2017 2017-1-GA-P1.pdf
-rw-r--r--   1 edrx edrx        7273 Aug  4  2017 2017-1-GA-P1.tex
-rw-r--r--   1 edrx edrx        9942 Jun  6 02:01 2017-1-GA-P1.tex.html
-rw-r--r--   2 edrx edrx      102164 Jul 17  2017 2017-1-GA-P2.pdf
-rw-r--r--   1 edrx edrx       14873 Aug  4  2017 2017-1-GA-P2.tex
-rw-r--r--   1 edrx edrx       18033 Jun  6 02:01 2017-1-GA-P2.tex.html
-rw-r--r--   2 edrx edrx      119182 Jul 18  2017 2017-1-GA-VR.pdf
-rw-r--r--   1 edrx edrx       14026 Dec  3  2017 2017-1-GA-VR.tex
-rw-r--r--   1 edrx edrx       17747 Jun  6 02:01 2017-1-GA-VR.tex.html
-rw-r--r--   2 edrx edrx       86937 Jul 31  2017 2017-1-GA-VS.pdf
-rw-r--r--   1 edrx edrx        6587 Aug  4  2017 2017-1-GA-VS.tex
-rw-r--r--   1 edrx edrx        8958 Jun  6 02:01 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  2017 2017-1-GA-material.tex
-rw-r--r--   1 edrx edrx      128617 Jun  6 02:01 2017-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx      115050 Jul 10  2017 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  2017 2017-1-LA-material.tex
-rw-r--r--   1 edrx edrx       51385 Jun  6 02:01 2017-1-LA-material.tex.html
-rw-r--r--   2 edrx edrx      119895 Dec 19 09:03 2017-2-C2-P1.pdf
-rw-r--r--   1 edrx edrx        6807 Dec 18 11:19 2017-2-C2-P1.tex
-rw-r--r--   1 edrx edrx        9036 Jun  6 02:01 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 14:24 2017-2-C2-P2.tex
-rw-r--r--   1 edrx edrx        8798 Jun  6 02:01 2017-2-C2-P2.tex.html
-rw-r--r--   1 edrx edrx        3643 Dec 19 09:42 2017-2-C2-VS.tex
-rw-r--r--   1 edrx edrx        5653 Jun  6 02:01 2017-2-C2-VS.tex.html
-rw-r--r--   2 edrx edrx      160378 Apr  2 08:25 2017-2-C2-material.pdf
-rw-r--r--   1 edrx edrx       28722 Apr  4 13:20 2017-2-C2-material.tex
-rw-r--r--   1 edrx edrx       43181 Jun  6 02:01 2017-2-C2-material.tex.html
-rw-r--r--   2 edrx edrx      100704 May 21 12:46 2017-2-GA-P1.pdf
-rw-r--r--   1 edrx edrx        9995 May 21 13:13 2017-2-GA-P1.tex
-rw-r--r--   1 edrx edrx       12635 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 2017-2-GA-VR.tex.html
-rw-r--r--   2 edrx edrx       89242 Jan 25 21:26 2017-2-GA-VS.pdf
-rw-r--r--   1 edrx edrx        6952 Jan 25 20:46 2017-2-GA-VS.tex
-rw-r--r--   1 edrx edrx        9816 Jun  6 02:01 2017-2-GA-VS.tex.html
-rw-r--r--   2 edrx edrx      357813 Aug 21  2017 2017-2-GA-material.pdf
-rw-r--r--   1 edrx edrx       99628 May  1 08:28 2017-2-GA-material.tex
-rw-r--r--   1 edrx edrx      129337 Jun  6 02:01 2017-2-GA-material.tex.html
-rw-r--r--   2 edrx edrx      222998 Aug 22  2017 2017-2-LA-material.pdf
-rw-r--r--   1 edrx edrx       52394 Dec 19 20:49 2017-2-LA-material.tex
-rw-r--r--   1 edrx edrx       72155 Jun  6 02:01 2017-2-LA-material.tex.html
-rw-r--r--   1 edrx edrx        3865 Nov 28  2017 2017-music-paper.tex
-rw-r--r--   1 edrx edrx        6012 Jun  6 02:01 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  2017 2017adjunctions.tex
-rw-r--r--   1 edrx edrx       13093 Jun  6 02:01 2017adjunctions.tex.html
-rw-r--r--   1 edrx edrx        7771 Aug  4  2017 2017bell.tex
-rw-r--r--   1 edrx edrx       10690 Jun  6 02:01 2017bell.tex.html
-rw-r--r--   1 edrx edrx        1807 Aug 27  2017 2017biblatex.tex
-rw-r--r--   1 edrx edrx        3533 Jun  6 02:01 2017biblatex.tex.html
-rw-r--r--   2 edrx edrx      142769 Jul 23  2017 2017cwm-adjoints.pdf
-rw-r--r--   2 edrx edrx      250424 Nov 25  2017 2017cwm.pdf
-rw-r--r--   1 edrx edrx       72930 Jan  9 20:41 2017cwm.tex
-rw-r--r--   1 edrx edrx       94875 Jun  6 02:01 2017cwm.tex.html
-rw-r--r--   1 edrx edrx        4943 Oct 11  2017 2017distributivity.tex
-rw-r--r--   1 edrx edrx        7899 Jun  6 02:01 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  2017 2017ebl-abs.tex
-rw-r--r--   1 edrx edrx        6492 Jun  6 02:01 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  2017 2017ebl-handouts.tex
-rw-r--r--   1 edrx edrx       17465 Jun  6 02:01 2017ebl-handouts.tex.html
-rw-r--r--   1 edrx edrx        2262 Aug  4  2017 2017ebl-proceedings.tex
-rw-r--r--   1 edrx edrx        4091 Jun  6 02:01 2017ebl-proceedings.tex.html
-rw-r--r--   2 edrx edrx      254123 May  9  2017 2017ebl-slides.pdf
-rw-r--r--   1 edrx edrx       48338 Apr 21 17:48 2017ebl-slides.tex
-rw-r--r--   1 edrx edrx       64516 Jun  6 02:01 2017ebl-slides.tex.html
-rw-r--r--   2 edrx edrx      245972 Oct 17  2017 2017elephant.pdf
-rw-r--r--   1 edrx edrx       61687 Oct 18  2017 2017elephant.tex
-rw-r--r--   1 edrx edrx       82783 Jun  6 02:01 2017elephant.tex.html
-rw-r--r--   1 edrx edrx      129253 Dec 31 00:37 2017idarct.tex
-rw-r--r--   1 edrx edrx      150873 Jun  6 02:01 2017idarct.tex.html
-rw-r--r--   2 edrx edrx      143515 Dec 31 00:18 2017idarct.tgz
-rw-r--r--   1 edrx edrx        4543 Oct 14  2017 2017lucatelli-fibs.tex
-rw-r--r--   1 edrx edrx        6550 Jun  6 02:01 2017lucatelli-fibs.tex.html
-rw-r--r--   2 edrx edrx      453030 Aug 30  2017 2017planar-has-1.pdf
-rw-r--r--   1 edrx edrx      113455 Jan 30 18:33 2017planar-has-1.tex
-rw-r--r--   1 edrx edrx      137635 Jun  6 02:01 2017planar-has-1.tex.html
-rw-r--r--   2 edrx edrx      209948 Aug 30  2017 2017planar-has-1.tgz
-rw-r--r--   2 edrx edrx      442815 Nov 19  2017 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 Jun  6 02:01 2017planar-has-2.tex.html
-rw-r--r--   2 edrx edrx       36514 Feb 12 14:49 2017planar-has-3.pdf
-rw-r--r--   1 edrx edrx        9562 Feb 12 15:08 2017planar-has-3.tex
-rw-r--r--   1 edrx edrx       13034 Jun  6 02:01 2017planar-has-3.tex.html
-rw-r--r--   2 edrx edrx      105020 Feb 12 14:49 2017planar-has-3.tgz
-rw-r--r--   1 edrx edrx        3293 Oct 28  2017 2017planar-has-defs.tex
-rw-r--r--   1 edrx edrx        4933 Jun  6 02:01 2017planar-has-defs.tex.html
-rw-r--r--   1 edrx edrx      123863 Aug  4  2017 2017planar-has-deleted.tex
-rw-r--r--   1 edrx edrx      152939 Jun  6 02:01 2017planar-has-deleted.tex.html
-rw-r--r--   2 edrx edrx      658879 Jul 15  2017 2017planar-has-sajl.pdf
-rw-r--r--   2 edrx edrx      228442 Jul 15  2017 2017planar-has-sajl.tgz
-rw-r--r--   2 edrx edrx      617995 Jul 13  2017 2017planar-has.pdf
-rw-r--r--   1 edrx edrx      206709 Oct  1  2017 2017planar-has.tex
-rw-r--r--   1 edrx edrx      248928 Jun  6 02:01 2017planar-has.tex.html
-rw-r--r--   2 edrx edrx      150725 Jul 13  2017 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 Jun  6 02:01 2017puc-abstract.tex.html
-rw-r--r--   1 edrx edrx        3572 Aug  5  2017 2017repl-test-1.tex
-rw-r--r--   1 edrx edrx        6310 Jun  6 02:01 2017repl-test-1.tex.html
-rw-r--r--   2 edrx edrx       79893 Aug  5  2017 2017repl-test-1.tgz
-rw-r--r--   1 edrx edrx       11851 Aug  4  2017 2017sajl-mini.tex
-rw-r--r--   1 edrx edrx       16076 Jun  6 02:01 2017sajl-mini.tex.html
-rw-r--r--   1 edrx edrx        6800 Aug  4  2017 2017vichy-abs.tex
-rw-r--r--   1 edrx edrx        9102 Jun  6 02:01 2017vichy-abs.tex.html
-rw-r--r--   1 edrx edrx        7573 Aug  4  2017 2017vichy-slides-1.tex
-rw-r--r--   1 edrx edrx        9695 Jun  6 02:01 2017vichy-slides-1.tex.html
-rw-r--r--   1 edrx edrx        2250 Aug  4  2017 2017vichy-slides-2.tex
-rw-r--r--   1 edrx edrx        4075 Jun  6 02:01 2017vichy-slides-2.tex.html
-rw-r--r--   1 edrx edrx        2926 Aug  7  2017 2017vichy-slides-3.tex
-rw-r--r--   1 edrx edrx        4758 Jun  6 02:01 2017vichy-slides-3.tex.html
-rw-r--r--   1 edrx edrx        2250 Aug  4  2017 2017vichy-slides-4.tex
-rw-r--r--   1 edrx edrx        4075 Jun  6 02:01 2017vichy-slides-4.tex.html
-rw-r--r--   2 edrx edrx       28755 Sep 20  2017 2017vichy-workshop.pdf
-rw-r--r--   1 edrx edrx        5449 Sep 20  2017 2017vichy-workshop.tex
-rw-r--r--   1 edrx edrx        6681 Jun  6 02:01 2017vichy-workshop.tex.html
-rw-r--r--   2 edrx edrx       43291 Sep 15  2017 2017visualizing-gms.pdf
-rw-r--r--   1 edrx edrx        2616 Sep 15  2017 2017visualizing-gms.tex
-rw-r--r--   1 edrx edrx        3423 Jun  6 02:01 2017visualizing-gms.tex.html
-rw-r--r--   2 edrx edrx      380406 Feb 12 14:57 2017yoneda.pdf
-rw-r--r--   1 edrx edrx       83844 Apr 21 12:21 2017yoneda.tex
-rw-r--r--   1 edrx edrx      103590 Jun  6 02:01 2017yoneda.tex.html
-rw-r--r--   2 edrx edrx      126610 Feb 12 14:57 2017yoneda.tgz
-rw-r--r--   2 edrx edrx      141777 Mar 12 09:24 2018-1-GA-R3.pdf
-rw-r--r--   1 edrx edrx       19402 Apr 14 13:51 2018-1-GA-R3.tex
-rw-r--r--   1 edrx edrx       26548 Jun  6 02:01 2018-1-GA-R3.tex.html
-rw-r--r--   2 edrx edrx        5149 Mar 12 09:25 2018-1-GA-conicas.pdf
-rw-r--r--   1 edrx edrx        3574 Jun  4 13:52 2018-1-GA-conicas.tex
-rw-r--r--   1 edrx edrx        6913 Jun  6 02:01 2018-1-GA-conicas.tex.html
-rw-r--r--   2 edrx edrx      462416 Jun  4 10:46 2018-1-GA-material.pdf
-rw-r--r--   1 edrx edrx      152925 Jun  4 13:24 2018-1-GA-material.tex
-rw-r--r--   1 edrx edrx      198221 Jun  6 02:01 2018-1-GA-material.tex.html
-rw-r--r--   2 edrx edrx      146356 May 28 00:02 2018-1-GA-material.tgz
-rw-r--r--   2 edrx edrx      254291 Jan  4 16:14 2018-1-LA-material.pdf
-rw-r--r--   1 edrx edrx       54513 Jun  5 15:06 2018-1-LA-material.tex
-rw-r--r--   1 edrx edrx       75123 Jun  6 02:01 2018-1-LA-material.tex.html
-rw-r--r--   1 edrx edrx        3866 Apr 25 08:32 2018-monitoria.tex
-rw-r--r--   1 edrx edrx        5846 Jun  6 02:01 2018-monitoria.tex.html
-rw-r--r--   1 edrx edrx        7138 Mar  8 10:46 2018-rad2017.tex
-rw-r--r--   1 edrx edrx       10122 Jun  6 02:01 2018-rad2017.tex.html
-rw-r--r--   1 edrx edrx       64519 Mar  2 18:52 2018jacobs.tex
-rw-r--r--   1 edrx edrx       84125 Jun  6 02:01 2018jacobs.tex.html
-rw-r--r--   1 edrx edrx        2276 Mar  7 23:43 2018kockdiff.tex
-rw-r--r--   1 edrx edrx        4079 Jun  6 02:01 2018kockdiff.tex.html
-rw-r--r--   1 edrx edrx        4383 Apr 25 02:23 2018pict2e.tex
-rw-r--r--   1 edrx edrx        6559 Jun  6 02:01 2018pict2e.tex.html
-rw-r--r--   1 edrx edrx        2295 Jan 31 21:04 2018repl-test.tex
-rw-r--r--   1 edrx edrx        3718 Jun  6 02:01 2018repl-test.tex.html
-rw-r--r--   2 edrx edrx       73232 Jan 31 20:49 2018repl-test.tgz
-rw-r--r--   2 edrx edrx       21104 May  8 19:29 2018tug-dednat6-abs.pdf
-rw-r--r--   1 edrx edrx        4354 May  8 19:59 2018tug-dednat6-abs.tex
-rw-r--r--   1 edrx edrx        5291 Jun  6 02:01 2018tug-dednat6-abs.tex.html
-rw-r--r--   1 edrx edrx       15702 Apr 12 09:02 2018vichy-abstracts.tex
-rw-r--r--   1 edrx edrx       17450 Jun  6 02:01 2018vichy-abstracts.tex.html
-rw-r--r--   1 edrx edrx       11271 May  5 21:37 2018vichy-vgms-slides.tex
-rw-r--r--   1 edrx edrx       17185 Jun  6 02:01 2018vichy-vgms-slides.tex.html
-rw-r--r--   2 edrx edrx     1038076 May 31 00:06 2018vichy-video.pdf
-rw-r--r--   1 edrx edrx       25020 May 31 20:34 2018vichy-video.tex
-rw-r--r--   1 edrx edrx       33819 Jun  6 02:01 2018vichy-video.tex.html
-rw-r--r--   2 edrx edrx      973255 Apr 25 02:27 2018vichy-video.tgz
-rw-r--r--   2 edrx edrx      273868 Oct 14  2017 5.pdf
-rw-r--r--   1 edrx edrx        9504 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx       16232 Jun  6 02:01 Makefile.html
-rw-r--r--   1 edrx edrx        1350 Apr 14  2014 README
-rw-r--r--   1 edrx edrx        2871 Jun  6 02:01 README.html
-rw-r--r--   1 edrx edrx       32878 Apr 14  2014 activist.bib
-rw-r--r--   1 edrx edrx       64937 Jun  6 02:01 activist.bib.html
-rw-r--r--   1 edrx edrx        7769 Apr 14  2014 ata.cls
-rw-r--r--   1 edrx edrx        8582 Jun  6 02:01 ata.cls.html
-rw-r--r--   1 edrx edrx        2311 Apr 14  2014 beamer-template.tex
-rw-r--r--   1 edrx edrx        4497 Jun  6 02:01 beamer-template.tex.html
-rw-r--r--   1 edrx edrx        2536 Apr 14  2014 beamertest.tex
-rw-r--r--   1 edrx edrx        3888 Jun  6 02:01 beamertest.tex.html
-rw-r--r--   1 edrx edrx       32380 Apr 14  2014 bussproofs.sty
-rw-r--r--   1 edrx edrx       37923 Jan 29 17:15 catsem.bib
-rw-r--r--   1 edrx edrx       72930 Jun  6 02:01 catsem.bib.html
-rw-r--r--   1 edrx edrx         966 Apr 14  2014 catsembibtest.tex
-rw-r--r--   1 edrx edrx        1601 Jun  6 02:01 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 Jun  6 02:01 chapa1-pressao.tex.html
-rw-r--r--   1 edrx edrx        6265 Apr 14  2014 chapa1-regric.tex
-rw-r--r--   1 edrx edrx        8568 Jun  6 02:01 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 Jun  6 02:01 chaui-hch.tex.html
-rw-r--r--   1 edrx edrx        5490 Apr 14  2014 dednat.icn
-rw-r--r--   1 edrx edrx        6467 Jun  6 02:01 dednat.icn.html
drwxr-xr-x   3 edrx edrx        4096 Jun  6 02:01 dednat6/
-rw-r--r--   1 edrx edrx       69490 Apr 14  2014 desenhos.014
-rw-r--r--   1 edrx edrx      106433 Jun  6 02:01 desenhos.014.html
-rw-r--r--   1 edrx edrx       18095 Apr 14  2014 diaglib.014
-rw-r--r--   1 edrx edrx       23279 Jun  6 02:01 diaglib.014.html
-rw-r--r--   1 edrx edrx        3272 Apr 14  2014 dynkin.tcl
-rw-r--r--   1 edrx edrx        3872 Jun  6 02:01 dynkin.tcl.html
-rw-r--r--   1 edrx edrx       17719 Apr 14  2014 edrx.sty
-rw-r--r--   1 edrx edrx       23389 Jun  6 02:01 edrx.sty.html
-rw-r--r--   1 edrx edrx       18790 Jan 10  2017 edrx15.sty
-rw-r--r--   1 edrx edrx       29641 Jun  6 02:01 edrx15.sty.html
-rw-r--r--   1 edrx edrx         427 Apr  1  2015 edrx15chars.tex
-rw-r--r--   1 edrx edrx        1020 Jun  6 02:01 edrx15chars.tex.html
-rw-r--r--   1 edrx edrx        6224 Sep 20  2017 edrx15defs.tex
-rw-r--r--   1 edrx edrx        7422 Jun  6 02:01 edrx15defs.tex.html
-rw-r--r--   1 edrx edrx       19324 Jun 17  2017 edrx17.sty
-rw-r--r--   1 edrx edrx       30555 Jun  6 02:01 edrx17.sty.html
-rw-r--r--   1 edrx edrx       24417 Sep 26  2017 edrx17defs.tex
-rw-r--r--   1 edrx edrx       35908 Jun  6 02:01 edrx17defs.tex.html
-rw-r--r--   1 edrx edrx        1299 Feb 28  2016 edrxaccents.tex
-rw-r--r--   1 edrx edrx        2496 Jun  6 02:01 edrxaccents.tex.html
-rw-r--r--   1 edrx edrx        7274 Mar  7 01:55 edrxchars.tex
-rw-r--r--   1 edrx edrx       11109 Jun  6 02:01 edrxchars.tex.html
-rw-r--r--   1 edrx edrx        5413 May 16 14:18 edrxgac2.tex
-rw-r--r--   1 edrx edrx        9409 Jun  6 02:01 edrxgac2.tex.html
-rw-r--r--   1 edrx edrx       16572 Mar 14 13:56 edrxpict.lua
-rw-r--r--   1 edrx edrx       25762 Jun  6 02:01 edrxpict.lua.html
-rw-r--r--   1 edrx edrx         731 Mar 11  2015 edrxrepl.tex
-rw-r--r--   1 edrx edrx        1690 Jun  6 02:01 edrxrepl.tex.html
-rw-r--r--   1 edrx edrx        9627 Jul 16  2017 edrxtikz.lua
-rw-r--r--   1 edrx edrx       14744 Jun  6 02:01 edrxtikz.lua.html
-rw-r--r--   2 edrx edrx      300859 Jul  1  2016 falta-misandria-a5.pdf
-rw-r--r--   1 edrx edrx        5011 Jan 13 21:30 falta-misandria-a5.tex
-rw-r--r--   1 edrx edrx        8541 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 falta-misandria-rh.tex.html
-rw-r--r--   2 edrx edrx       43355 Jun  1 22:31 falta-misandria-scr.pdf
-rw-r--r--   1 edrx edrx       18483 Jun  1 19:40 falta-misandria-scr.tex
-rw-r--r--   1 edrx edrx       23622 Jun  6 02:01 falta-misandria-scr.tex.html
-rw-r--r--   1 edrx edrx        8582 Oct 26  2015 falta-misandria-tf.tex
-rw-r--r--   1 edrx edrx       10765 Jun  6 02:01 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 Jun  6 02:01 falta-misandria-tf0.tex.html
-rw-r--r--   2 edrx edrx      252898 Feb 28 09:18 falta-misandria-v.pdf
-rw-r--r--   1 edrx edrx      138436 Mar  7 18:55 falta-misandria-v.tex
-rw-r--r--   1 edrx edrx      169893 Jun  6 02:01 falta-misandria-v.tex.html
-rw-r--r--   2 edrx edrx       54701 Jan 27 16:34 falta-misandria-v.tgz
-rw-r--r--   2 edrx edrx       53390 Feb 28 09:18 falta-misandria-v.zip
-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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 istanbul-july.tex.html
-rw-r--r--   1 edrx edrx      106221 Jul 20  2015 istanbul1.org
-rw-r--r--   1 edrx edrx      119042 Jun  6 02:01 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 Jun  6 02:01 istanbul1.tex.html
-rw-r--r--   1 edrx edrx       10992 Aug 16  2015 istanbulall.lua
-rw-r--r--   1 edrx edrx       20053 Jun  6 02:01 istanbulall.lua.html
-rw-r--r--   1 edrx edrx        6342 Feb 23  2016 istanbuldefs.tex
-rw-r--r--   1 edrx edrx        9621 Jun  6 02:01 istanbuldefs.tex.html
-rw-r--r--   1 edrx edrx        5624 Mar  7 01:54 istanbulglyphs.el
-rw-r--r--   1 edrx edrx        9383 Jun  6 02:01 istanbulglyphs.el.html
-rw-r--r--   1 edrx edrx       34228 Sep 23  2017 istanbulquotes.tex
-rw-r--r--   1 edrx edrx       47167 Jun  6 02:01 istanbulquotes.tex.html
-rw-r--r--   1 edrx edrx        1744 Apr 14  2014 kaplansky.tex
-rw-r--r--   1 edrx edrx        3019 Jun  6 02:01 kaplansky.tex.html
-rw-r--r--   1 edrx edrx        1139 Jul 10  2015 lualoader.lua
-rw-r--r--   1 edrx edrx        2094 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 rrj.tex.html
-rw-r--r--   1 edrx edrx       14977 Apr 14  2014 tese2.sty
-rw-r--r--   1 edrx edrx       17235 Jun  6 02:01 tese2.sty.html
-rw-r--r--   1 edrx edrx        2598 Apr 14  2014 testdynkin.tex
-rw-r--r--   1 edrx edrx        3167 Jun  6 02:01 testdynkin.tex.html
-rw-r--r--   1 edrx edrx        1817 Jun  7  2014 tmppgf.tex
-rw-r--r--   1 edrx edrx        3216 Jun  6 02:01 tmppgf.tex.html
-rw-r--r--   1 edrx edrx         545 Feb 24  2015 twot-boxes.lua
-rw-r--r--   1 edrx edrx        1220 Jun  6 02:01 twot-boxes.lua.html
-rw-r--r--   1 edrx edrx        3871 Feb 22  2015 twot-pages.lua
-rw-r--r--   1 edrx edrx        4488 Jun  6 02:01 twot-pages.lua.html
-rw-r--r--   1 edrx edrx        2409 Feb 24  2015 twot-paragraph.lua
-rw-r--r--   1 edrx edrx        3116 Jun  6 02:01 twot-paragraph.lua.html
-rw-r--r--   1 edrx edrx         799 Feb 24  2015 twot.tex
-rw-r--r--   1 edrx edrx        1743 Jun  6 02:01 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 Jun  6 02:01 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 Jun  6 02:01 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