drwxr-xr-x 3 edrx edrx 135168 Mar 6 17:15 ./ drwxr-xr-x 275 edrx edrx 36864 Mar 20 23:26 ../ -rw-r--r-- 1 edrx edrx 47595 Feb 21 2020 2002fmcs.tex -rw-r--r-- 1 edrx edrx 63125 Mar 20 23:24 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 Feb 21 2020 2007dnc-sets.tex -rw-r--r-- 1 edrx edrx 52138 Mar 20 23:24 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 Feb 21 2020 2008bcc.tex -rw-r--r-- 1 edrx edrx 33961 Mar 20 23:24 2008bcc.tex.html -rw-r--r-- 1 edrx edrx 51169 Jul 8 2020 2008comprcat-utf8.tex -rw-r--r-- 1 edrx edrx 63490 Mar 20 23:24 2008comprcat-utf8.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 Feb 21 2020 2008comprcat.tex -rw-r--r-- 1 edrx edrx 59429 Mar 20 23:24 2008comprcat.tex.html -rw-r--r-- 1 edrx edrx 19267 Feb 21 2020 2008dclosed.tex -rw-r--r-- 1 edrx edrx 24510 Mar 20 23:24 2008dclosed.tex.html -rw-r--r-- 2 edrx www-data 117718 Dec 9 2008 2008dnc-sets.pdf -rw-r--r-- 1 edrx edrx 39120 Feb 21 2020 2008dnc-sets.tex -rw-r--r-- 1 edrx edrx 51526 Mar 20 23:24 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 Feb 21 2020 2008filterp-abs.tex -rw-r--r-- 1 edrx edrx 4159 Mar 20 23:24 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 Feb 21 2020 2008filterp-slides.tex -rw-r--r-- 1 edrx edrx 30467 Mar 20 23:24 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 13 2008 2008filterp.dvi -rw-r--r-- 2 edrx www-data 157482 Jul 13 2008 2008filterp.pdf -rw-r--r-- 1 edrx edrx 56215 Feb 21 2020 2008filterp.tex -rw-r--r-- 1 edrx edrx 63571 Mar 20 23:24 2008filterp.tex.html -rw-r--r-- 2 edrx www-data 36258 Nov 14 2008 2008gf.pdf -rw-r--r-- 1 edrx edrx 2951 Feb 21 2020 2008gf.tex -rw-r--r-- 1 edrx edrx 4851 Mar 20 23:24 2008gf.tex.html -rw-r--r-- 2 edrx www-data 219992 Jan 1 2009 2008graphs.pdf -rw-r--r-- 1 edrx edrx 69706 Feb 21 2020 2008graphs.tex -rw-r--r-- 1 edrx edrx 88189 Mar 20 23:24 2008graphs.tex.html -rw-r--r-- 1 edrx edrx 123917 Jul 21 2020 2008hyp-utf8.tex -rw-r--r-- 1 edrx edrx 158996 Mar 20 23:24 2008hyp-utf8.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 117658 Feb 21 2020 2008hyp.tex -rw-r--r-- 1 edrx edrx 144637 Mar 20 23:24 2008hyp.tex.html -rw-r--r-- 2 edrx www-data 143526 Dec 9 2008 2008induction.pdf -rw-r--r-- 1 edrx edrx 35878 Feb 21 2020 2008induction.tex -rw-r--r-- 1 edrx edrx 45928 Mar 20 23:24 2008induction.tex.html -rw-r--r-- 1 edrx edrx 4755 Feb 21 2020 2008kocknsext.tex -rw-r--r-- 1 edrx edrx 6546 Mar 20 23:24 2008kocknsext.tex.html -rw-r--r-- 1 edrx edrx 5975 Feb 21 2020 2008lcccs.tex -rw-r--r-- 1 edrx edrx 8032 Mar 20 23:24 2008lcccs.tex.html -rw-r--r-- 2 edrx www-data 105381 Jul 23 2008 2008modallogic.pdf -rw-r--r-- 1 edrx edrx 16590 Feb 21 2020 2008modallogic.tex -rw-r--r-- 1 edrx edrx 23420 Mar 20 23:24 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 Feb 21 2020 2008monads.tex -rw-r--r-- 1 edrx edrx 52258 Mar 20 23:24 2008monads.tex.html -rw-r--r-- 1 edrx edrx 35516 Aug 22 2020 2008natded-utf8.tex -rw-r--r-- 1 edrx edrx 45071 Mar 20 23:24 2008natded-utf8.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 Feb 21 2020 2008natded.tex -rw-r--r-- 1 edrx edrx 39995 Mar 20 23:24 2008natded.tex.html -rw-r--r-- 1 edrx edrx 22138 Feb 21 2020 2008notations-utf8.tex -rw-r--r-- 1 edrx edrx 29726 Mar 20 23:24 2008notations-utf8.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 Feb 21 2020 2008notations.tex -rw-r--r-- 1 edrx edrx 25138 Mar 20 23:24 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 Feb 21 2020 2008projeto.tex -rw-r--r-- 1 edrx edrx 26218 Mar 20 23:24 2008projeto.tex.html -rw-r--r-- 1 edrx edrx 15179 Feb 21 2020 2008quotypes.tex -rw-r--r-- 1 edrx edrx 19267 Mar 20 23:24 2008quotypes.tex.html -rw-r--r-- 1 edrx edrx 15639 Mar 1 2020 2008sdg-utf8.tex -rw-r--r-- 1 edrx edrx 21835 Mar 20 23:24 2008sdg-utf8.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 Feb 21 2020 2008sdg.tex -rw-r--r-- 1 edrx edrx 18005 Mar 20 23:24 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 Feb 21 2020 2008sheaves-abs1.tex -rw-r--r-- 1 edrx edrx 4441 Mar 20 23:24 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 Feb 21 2020 2008sheaves.tex -rw-r--r-- 1 edrx edrx 86549 Mar 20 23:24 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 Feb 21 2020 2008topos-str.tex -rw-r--r-- 1 edrx edrx 27133 Mar 20 23:24 2008topos-str.tex.html -rw-r--r-- 1 edrx edrx 13203 Feb 21 2020 2008typesystems.tex -rw-r--r-- 1 edrx edrx 18310 Mar 20 23:24 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 Feb 21 2020 2009-1-C1-prova-1.tex -rw-r--r-- 1 edrx edrx 6329 Mar 20 23:24 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 Feb 21 2020 2009-1-C1-prova-2.tex -rw-r--r-- 1 edrx edrx 10054 Mar 20 23:24 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 Feb 21 2020 2009-1-C1-prova-VR1.tex -rw-r--r-- 1 edrx edrx 13333 Mar 20 23:24 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 Feb 21 2020 2009-1-C1-prova-VR2.tex -rw-r--r-- 1 edrx edrx 14612 Mar 20 23:24 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 Feb 21 2020 2009-1-C1-prova-VS.tex -rw-r--r-- 1 edrx edrx 8770 Mar 20 23:24 2009-1-C1-prova-VS.tex.html -rw-r--r-- 1 edrx edrx 3544 Feb 21 2020 2009-1-C2-plano.tex -rw-r--r-- 1 edrx edrx 5300 Mar 20 23:24 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 Feb 21 2020 2009-1-C2-prova-1-gab.tex -rw-r--r-- 1 edrx edrx 12073 Mar 20 23:24 2009-1-C2-prova-1-gab.tex.html -rw-r--r-- 1 edrx edrx 13241 Feb 21 2020 2009-1-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 17272 Mar 20 23:24 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 Feb 21 2020 2009-1-C2-prova-2.tex -rw-r--r-- 1 edrx edrx 9253 Mar 20 23:24 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 Feb 21 2020 2009-1-C2-prova-VR.tex -rw-r--r-- 1 edrx edrx 14953 Mar 20 23:24 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 Feb 21 2020 2009-1-C2-prova-VS.tex -rw-r--r-- 1 edrx edrx 4238 Mar 20 23:24 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 Feb 21 2020 2009-1-MD-prova-2.tex -rw-r--r-- 1 edrx edrx 19923 Mar 20 23:24 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 Feb 21 2020 2009-1-MD-prova-VR.tex -rw-r--r-- 1 edrx edrx 15824 Mar 20 23:24 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 Feb 21 2020 2009-1-MD-prova-VS.tex -rw-r--r-- 1 edrx edrx 13155 Mar 20 23:24 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 Feb 21 2020 2009-2-C2-lista-1.tex -rw-r--r-- 1 edrx edrx 9087 Mar 20 23:24 2009-2-C2-lista-1.tex.html -rw-r--r-- 1 edrx edrx 28882 Feb 21 2020 2009-2-C2-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 34689 Mar 20 23:24 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 7746 Mar 6 13:34 2009-2-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 9888 Mar 20 23:24 2009-2-C2-prova-1.tex.html -rw-r--r-- 1 edrx edrx 9486 Feb 21 2020 2009-2-C2-prova-2.tex -rw-r--r-- 1 edrx edrx 13179 Mar 20 23:24 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 Feb 21 2020 2009-2-C4-lista-P2.tex -rw-r--r-- 1 edrx edrx 3211 Mar 20 23:24 2009-2-C4-lista-P2.tex.html -rw-r--r-- 1 edrx edrx 8537 Feb 21 2020 2009-2-C4-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 11172 Mar 20 23:24 2009-2-C4-prova-1-notas.tex.html -rw-r--r-- 1 edrx edrx 9265 Feb 21 2020 2009-2-C4-prova-1.tex -rw-r--r-- 1 edrx edrx 11509 Mar 20 23:24 2009-2-C4-prova-1.tex.html -rw-r--r-- 1 edrx edrx 6378 Feb 21 2020 2009-2-C4-prova-2.tex -rw-r--r-- 1 edrx edrx 8144 Mar 20 23:24 2009-2-C4-prova-2.tex.html -rw-r--r-- 1 edrx edrx 2531 Feb 21 2020 2009-2-C4-theorems.tex -rw-r--r-- 1 edrx edrx 3935 Mar 20 23:24 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 Feb 21 2020 2009-2-MD-comparacao.tex -rw-r--r-- 1 edrx edrx 27424 Mar 20 23:24 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 Feb 21 2020 2009-2-MD-criterios.tex -rw-r--r-- 1 edrx edrx 11728 Mar 20 23:24 2009-2-MD-criterios.tex.html -rw-r--r-- 1 edrx edrx 18670 Feb 21 2020 2009-2-MD-prova-1-notas.tex -rw-r--r-- 1 edrx edrx 22706 Mar 20 23:24 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 Feb 21 2020 2009-2-MD-prova-1.tex -rw-r--r-- 1 edrx edrx 12349 Mar 20 23:24 2009-2-MD-prova-1.tex.html -rw-r--r-- 1 edrx edrx 8242 Feb 21 2020 2009-2-MD-prova-2.tex -rw-r--r-- 1 edrx edrx 10751 Mar 20 23:24 2009-2-MD-prova-2.tex.html -rw-r--r-- 1 edrx edrx 14077 Feb 21 2020 2009-defesa.tex -rw-r--r-- 1 edrx edrx 17959 Mar 20 23:24 2009-defesa.tex.html -rw-r--r-- 1 edrx edrx 14379 Feb 21 2020 2009-micropol.tex -rw-r--r-- 1 edrx edrx 17724 Mar 20 23:24 2009-micropol.tex.html -rw-r--r-- 1 edrx edrx 3053 Feb 21 2020 2009-nd-in-hyps.tex -rw-r--r-- 1 edrx edrx 4828 Mar 20 23:24 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 Feb 21 2020 2009-planodetrabalho.tex -rw-r--r-- 1 edrx edrx 25257 Mar 20 23:24 2009-planodetrabalho.tex.html -rw-r--r-- 1 edrx edrx 10835 Feb 21 2020 2009-proj-monitoria-MD.tex -rw-r--r-- 1 edrx edrx 13548 Mar 20 23:24 2009-proj-monitoria-MD.tex.html -rw-r--r-- 1 edrx edrx 16966 Feb 21 2020 2009abcats.tex -rw-r--r-- 1 edrx edrx 21784 Mar 20 23:24 2009abcats.tex.html -rw-r--r-- 1 edrx edrx 10596 Feb 21 2020 2009apr29-C1.tex -rw-r--r-- 1 edrx edrx 12939 Mar 20 23:24 2009apr29-C1.tex.html -rw-r--r-- 1 edrx edrx 6584 Feb 21 2020 2009apr29-MD.tex -rw-r--r-- 1 edrx edrx 8522 Mar 20 23:24 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 Feb 21 2020 2009dnc-in-coq.tex -rw-r--r-- 1 edrx edrx 38733 Mar 20 23:24 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 Feb 21 2020 2009dnc-monads.tex -rw-r--r-- 1 edrx edrx 17334 Mar 20 23:24 2009dnc-monads.tex.html -rw-r--r-- 1 edrx edrx 8792 Feb 21 2020 2009fractions.tex -rw-r--r-- 1 edrx edrx 10878 Mar 20 23:24 2009fractions.tex.html -rw-r--r-- 1 edrx edrx 11007 Feb 21 2020 2009integration.tex -rw-r--r-- 1 edrx edrx 13601 Mar 20 23:24 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 Feb 21 2020 2009jul02-C2-exercicios.tex -rw-r--r-- 1 edrx edrx 8175 Mar 20 23:24 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 Feb 21 2020 2009jun05.tex -rw-r--r-- 1 edrx edrx 5020 Mar 20 23:24 2009jun05.tex.html -rw-r--r-- 1 edrx edrx 6982 Feb 21 2020 2009may08-C2.tex -rw-r--r-- 1 edrx edrx 8544 Mar 20 23:24 2009may08-C2.tex.html -rw-r--r-- 1 edrx edrx 6747 Feb 21 2020 2009may12-MD-gab.tex -rw-r--r-- 1 edrx edrx 8541 Mar 20 23:24 2009may12-MD-gab.tex.html -rw-r--r-- 1 edrx edrx 5986 Feb 21 2020 2009may13-MD.tex -rw-r--r-- 1 edrx edrx 7940 Mar 20 23:24 2009may13-MD.tex.html -rw-r--r-- 1 edrx edrx 3526 Feb 21 2020 2009projections.tex -rw-r--r-- 1 edrx edrx 4824 Mar 20 23:24 2009projections.tex.html -rw-r--r-- 1 edrx edrx 5719 Feb 21 2020 2009unilog-abs0.tex -rw-r--r-- 1 edrx edrx 7138 Mar 20 23:24 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 Feb 21 2020 2009unilog-abs1.tex -rw-r--r-- 1 edrx edrx 9881 Mar 20 23:24 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 Feb 21 2020 2009unilog-dnc.tex -rw-r--r-- 1 edrx edrx 245331 Mar 20 23:24 2009unilog-dnc.tex.html -rw-r--r-- 1 edrx edrx 17272 Feb 21 2020 2009unilog-obso.tex -rw-r--r-- 1 edrx edrx 19841 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-exercs-P2.tex -rw-r--r-- 1 edrx edrx 14879 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-exercs-P3.tex -rw-r--r-- 1 edrx edrx 10513 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-exercs-P4.tex -rw-r--r-- 1 edrx edrx 29924 Mar 20 23:24 2010-1-C2-exercs-P4.tex.html -rw-r--r-- 1 edrx edrx 2031 Feb 21 2020 2010-1-C2-plano-de-aulas.tex -rw-r--r-- 1 edrx edrx 3351 Mar 20 23:24 2010-1-C2-plano-de-aulas.tex.html -rw-r--r-- 1 edrx edrx 12638 Feb 3 2022 2010-1-C2-prova-1.tex -rw-r--r-- 1 edrx edrx 15525 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-prova-2.tex -rw-r--r-- 1 edrx edrx 15486 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-prova-3.tex -rw-r--r-- 1 edrx edrx 11727 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-prova-VR.tex -rw-r--r-- 1 edrx edrx 10702 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-prova-VS.tex -rw-r--r-- 1 edrx edrx 12738 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-prova-VS2a.tex -rw-r--r-- 1 edrx edrx 8386 Mar 20 23:24 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 Feb 21 2020 2010-1-C2-prova-VS2b.tex -rw-r--r-- 1 edrx edrx 6433 Mar 20 23:24 2010-1-C2-prova-VS2b.tex.html -rw-r--r-- 1 edrx edrx 4090 Feb 21 2020 2010-1-C2-prova-mini-1.tex -rw-r--r-- 1 edrx edrx 5884 Mar 20 23:24 2010-1-C2-prova-mini-1.tex.html -rw-r--r-- 1 edrx edrx 5082 Feb 21 2020 2010-1-MD-aulas.tex -rw-r--r-- 1 edrx edrx 7375 Mar 20 23:24 2010-1-MD-aulas.tex.html -rw-r--r-- 1 edrx edrx 5853 Feb 21 2020 2010-1-MD-esquemas.tex -rw-r--r-- 1 edrx edrx 7632 Mar 20 23:24 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 Feb 21 2020 2010-1-MD-exercs-P4.tex -rw-r--r-- 1 edrx edrx 18531 Mar 20 23:24 2010-1-MD-exercs-P4.tex.html -rw-r--r-- 1 edrx edrx 3898 Feb 21 2020 2010-1-MD-hanoi.tex -rw-r--r-- 1 edrx edrx 5855 Mar 20 23:24 2010-1-MD-hanoi.tex.html -rw-r--r-- 1 edrx edrx 8708 Feb 21 2020 2010-1-MD-plano-de-aulas.tex -rw-r--r-- 1 edrx edrx 12127 Mar 20 23:24 2010-1-MD-plano-de-aulas.tex.html -rw-r--r-- 1 edrx edrx 9815 Feb 21 2020 2010-1-MD-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 12753 Mar 20 23:24 2010-1-MD-plano-de-curso.tex.html -rw-r--r-- 1 edrx edrx 4034 Feb 21 2020 2010-1-MD-prova-1-body.tex -rw-r--r-- 1 edrx edrx 5360 Mar 20 23:24 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 Feb 21 2020 2010-1-MD-prova-1.tex -rw-r--r-- 1 edrx edrx 51473 Mar 20 23:24 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 Feb 21 2020 2010-1-MD-prova-2.tex -rw-r--r-- 1 edrx edrx 8220 Mar 20 23:24 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 Feb 21 2020 2010-1-MD-prova-3.tex -rw-r--r-- 1 edrx edrx 4118 Mar 20 23:24 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 Feb 21 2020 2010-1-MD-prova-VS.tex -rw-r--r-- 1 edrx edrx 6806 Mar 20 23:24 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 Feb 21 2020 2010-1-MD-prova-VS2.tex -rw-r--r-- 1 edrx edrx 13181 Mar 20 23:24 2010-1-MD-prova-VS2.tex.html -rw-r--r-- 1 edrx edrx 2568 Feb 21 2020 2010-2-MD-exercs-VR.tex -rw-r--r-- 1 edrx edrx 4042 Mar 20 23:24 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 Feb 21 2020 2010-edital-monit-MD.tex -rw-r--r-- 1 edrx edrx 24576 Mar 20 23:24 2010-edital-monit-MD.tex.html -rw-r--r-- 1 edrx edrx 20574 Feb 21 2020 2010-proj-gma.tex -rw-r--r-- 1 edrx edrx 28266 Mar 20 23:24 2010-proj-gma.tex.html -rw-r--r-- 1 edrx edrx 2056 Feb 21 2020 2010-proj-inic.tex -rw-r--r-- 1 edrx edrx 3402 Mar 20 23:24 2010-proj-inic.tex.html -rw-r--r-- 1 edrx edrx 33786 Feb 21 2020 2010-proj-pesq.tex -rw-r--r-- 1 edrx edrx 41352 Mar 20 23:24 2010-proj-pesq.tex.html -rw-r--r-- 1 edrx edrx 17750 Feb 21 2020 2010-semanact.tex -rw-r--r-- 1 edrx edrx 21256 Mar 20 23:24 2010-semanact.tex.html -rw-r--r-- 1 edrx edrx 6933 Feb 21 2020 2010-valenca.tex -rw-r--r-- 1 edrx edrx 9085 Mar 20 23:24 2010-valenca.tex.html -rw-r--r-- 1 edrx edrx 9051 Feb 21 2020 2010comprcats.tex -rw-r--r-- 1 edrx edrx 11701 Mar 20 23:24 2010comprcats.tex.html -rw-r--r-- 1 edrx edrx 120907 Feb 21 2020 2010diags-body.tex -rw-r--r-- 1 edrx edrx 137236 Mar 20 23:24 2010diags-body.tex.html -rw-r--r-- 1 edrx edrx 6334 Feb 21 2020 2010diags-outer.tex -rw-r--r-- 1 edrx edrx 8348 Mar 20 23:24 2010diags-outer.tex.html -rw-r--r-- 2 edrx www-data 313448 Dec 4 2010 2010diags.pdf -rw-r--r-- 1 edrx edrx 107551 Feb 21 2020 2010diags.tex -rw-r--r-- 1 edrx edrx 124199 Mar 20 23:24 2010diags.tex.html -rw-r--r-- 1 edrx edrx 111539 Feb 21 2020 2010hyps.tex -rw-r--r-- 1 edrx edrx 140102 Mar 20 23:24 2010hyps.tex.html -rw-r--r-- 2 edrx edrx 145250 Mar 8 2018 2010kockdiff-new.pdf -rw-r--r-- 1 edrx edrx 13007 Mar 1 2020 2010kockdiff-new.tex -rw-r--r-- 1 edrx edrx 16529 Mar 20 23:24 2010kockdiff-new.tex.html -rw-r--r-- 2 edrx edrx 98953 Mar 8 2018 2010kockdiff-new.tgz -rw-r--r-- 1 edrx edrx 12885 Mar 1 2020 2010kockdiff-utf8.tex -rw-r--r-- 1 edrx edrx 16642 Mar 20 23:24 2010kockdiff-utf8.tex.html -rw-r--r-- 2 edrx www-data 165717 May 11 2011 2010kockdiff.pdf -rw-r--r-- 1 edrx edrx 12204 Feb 21 2020 2010kockdiff.tex -rw-r--r-- 1 edrx edrx 14781 Mar 20 23:24 2010kockdiff.tex.html -rw-r--r-- 1 edrx edrx 6961 Feb 21 2020 2010lcccs.tex -rw-r--r-- 1 edrx edrx 9231 Mar 20 23:24 2010lcccs.tex.html -rw-r--r-- 1 edrx edrx 6026 Feb 21 2020 2010luayacc.tex -rw-r--r-- 1 edrx edrx 7557 Mar 20 23:24 2010luayacc.tex.html -rw-r--r-- 2 edrx www-data 61076 Aug 19 2010 2010reducao.pdf -rw-r--r-- 1 edrx edrx 6149 Feb 21 2020 2010reducao.tex -rw-r--r-- 1 edrx edrx 8522 Mar 20 23:24 2010reducao.tex.html -rw-r--r-- 1 edrx edrx 11528 Feb 21 2020 2010rings.tex -rw-r--r-- 1 edrx edrx 14145 Mar 20 23:24 2010rings.tex.html -rw-r--r-- 1 edrx edrx 3853 Feb 21 2020 2010sheaves.tex -rw-r--r-- 1 edrx edrx 5526 Mar 20 23:24 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 Feb 21 2020 2010unilog-current.tex -rw-r--r-- 1 edrx edrx 328413 Mar 20 23:24 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 Feb 21 2020 2011-1-GA-regras.tex -rw-r--r-- 1 edrx edrx 9428 Mar 20 23:24 2011-1-GA-regras.tex.html -rw-r--r-- 2 edrx www-data 72856 Dec 13 2011 2011-1-ata-rfm-junho.pdf -rw-r--r-- 1 edrx edrx 3557 Feb 21 2020 2011-ata-monitoria.tex -rw-r--r-- 1 edrx edrx 5179 Mar 20 23:24 2011-ata-monitoria.tex.html -rw-r--r-- 1 edrx edrx 2657 Feb 21 2020 2011-justificativa.tex -rw-r--r-- 1 edrx edrx 4499 Mar 20 23:24 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 Feb 21 2020 2011-rel-est-prob-2.tex -rw-r--r-- 1 edrx edrx 16381 Mar 20 23:24 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 Feb 21 2020 2011-rel-est-prob-3.tex -rw-r--r-- 1 edrx edrx 14458 Mar 20 23:24 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 Feb 21 2020 2011ebl-abs.tex -rw-r--r-- 1 edrx edrx 115357 Mar 20 23:24 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 Feb 21 2020 2011ebl-slides.tex -rw-r--r-- 1 edrx edrx 46840 Mar 20 23:24 2011ebl-slides.tex.html -rw-r--r-- 1 edrx edrx 2750 Feb 21 2020 2011sheaves-2d.tex -rw-r--r-- 1 edrx edrx 4722 Mar 20 23:24 2011sheaves-2d.tex.html -rw-r--r-- 1 edrx edrx 57390 Feb 21 2020 2012-ata-rfm-dez.tex -rw-r--r-- 1 edrx edrx 91387 Mar 20 23:24 2012-ata-rfm-dez.tex.html -rw-r--r-- 1 edrx edrx 10479 Feb 21 2020 2012-rel-prog-func.tex -rw-r--r-- 1 edrx edrx 13851 Mar 20 23:24 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 Feb 21 2020 2012minicats.tex -rw-r--r-- 1 edrx edrx 71384 Mar 20 23:24 2012minicats.tex.html -rw-r--r-- 1 edrx edrx 4698 Feb 21 2020 2012unb-abril.tex -rw-r--r-- 1 edrx edrx 6813 Mar 20 23:24 2012unb-abril.tex.html -rw-r--r-- 1 edrx edrx 5270 Feb 21 2020 2013-1-GA-prova-P2-A.tex -rw-r--r-- 1 edrx edrx 6999 Mar 20 23:24 2013-1-GA-prova-P2-A.tex.html -rw-r--r-- 1 edrx edrx 0 Feb 21 2020 2013-2-GA-P1A.lua -rw-r--r-- 1 edrx edrx 502 Mar 20 23:24 2013-2-GA-P1A.lua.html -rw-r--r-- 1 edrx edrx 1797 Feb 21 2020 2013-2-GA-P1A.tex -rw-r--r-- 1 edrx edrx 3075 Mar 20 23:24 2013-2-GA-P1A.tex.html -rw-r--r-- 1 edrx edrx 6702 Feb 21 2020 2013-GA-criterios.tex -rw-r--r-- 1 edrx edrx 8889 Mar 20 23:24 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 Feb 21 2020 2013-abaixo-assinado-DE.tex -rw-r--r-- 1 edrx edrx 4252 Mar 20 23:24 2013-abaixo-assinado-DE.tex.html -rw-r--r-- 1 edrx edrx 5578 Feb 21 2020 2013-ict-salas.tex -rw-r--r-- 1 edrx edrx 7259 Mar 20 23:24 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 Feb 21 2020 2013-montreal.tex -rw-r--r-- 1 edrx edrx 12605 Mar 20 23:24 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 Feb 21 2020 2013idct-changes.tex -rw-r--r-- 1 edrx edrx 14382 Mar 20 23:24 2013idct-changes.tex.html -rw-r--r-- 1 edrx edrx 8006 Feb 21 2020 2013sheaves-for-children.tex -rw-r--r-- 1 edrx edrx 10608 Mar 20 23:24 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 Feb 21 2020 2014-1-GA-P1.tex -rw-r--r-- 1 edrx edrx 16561 Mar 20 23:24 2014-1-GA-P1.tex.html -rw-r--r-- 1 edrx edrx 2068 Feb 21 2020 2014-1-GA-P2-gab.lua -rw-r--r-- 1 edrx edrx 3190 Mar 20 23:24 2014-1-GA-P2-gab.lua.html -rw-r--r-- 1 edrx edrx 7264 Feb 21 2020 2014-1-GA-P2-gab.tex -rw-r--r-- 1 edrx edrx 9073 Mar 20 23:24 2014-1-GA-P2-gab.tex.html -rw-r--r-- 1 edrx edrx 5731 Feb 21 2020 2014-1-GA-P2.tex -rw-r--r-- 1 edrx edrx 7706 Mar 20 23:24 2014-1-GA-P2.tex.html -rw-r--r-- 1 edrx edrx 5781 Feb 21 2020 2014-1-GA-VR.tex -rw-r--r-- 1 edrx edrx 7698 Mar 20 23:24 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 Feb 21 2020 2014-1-GA-VS.tex -rw-r--r-- 1 edrx edrx 10020 Mar 20 23:24 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 Feb 21 2020 2014-1-GA-metodos.tex -rw-r--r-- 1 edrx edrx 7562 Mar 20 23:24 2014-1-GA-metodos.tex.html -rw-r--r-- 1 edrx edrx 3913 Feb 21 2020 2014-2-GA-lista1.tex -rw-r--r-- 1 edrx edrx 5798 Mar 20 23:24 2014-2-GA-lista1.tex.html -rw-r--r-- 1 edrx edrx 43412 Feb 21 2020 2014-resposta.tex -rw-r--r-- 1 edrx edrx 53243 Mar 20 23:24 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 Feb 21 2020 2014-rfm-rcn-tabela.tex -rw-r--r-- 1 edrx edrx 13171 Mar 20 23:24 2014-rfm-rcn-tabela.tex.html -rw-r--r-- 1 edrx edrx 7509 Feb 21 2020 2014depoimento-ci.tex -rw-r--r-- 1 edrx edrx 9876 Mar 20 23:24 2014depoimento-ci.tex.html -rw-r--r-- 1 edrx edrx 3496 Feb 21 2020 2014istanbul-a.lua -rw-r--r-- 1 edrx edrx 4483 Mar 20 23:24 2014istanbul-a.lua.html -rw-r--r-- 2 edrx edrx 135860 Jun 21 2015 2014istanbul-a.pdf -rw-r--r-- 1 edrx edrx 21324 Feb 21 2020 2014istanbul-a.tex -rw-r--r-- 1 edrx edrx 24188 Mar 20 23:24 2014istanbul-a.tex.html -rw-r--r-- 2 edrx edrx 82064 Apr 12 2014 2014sfc-abstract.pdf -rw-r--r-- 1 edrx edrx 2823 Feb 21 2020 2014sfc-abstract.tex -rw-r--r-- 1 edrx edrx 4218 Mar 20 23:24 2014sfc-abstract.tex.html -rw-r--r-- 2 edrx edrx 216380 Apr 29 2014 2014sfc-slides.pdf -rw-r--r-- 1 edrx edrx 23384 Feb 21 2020 2014sfc-slides.tex -rw-r--r-- 1 edrx edrx 34358 Mar 20 23:24 2014sfc-slides.tex.html -rw-r--r-- 2 edrx edrx 228626 May 19 2014 2014sfc-slides2.pdf -rw-r--r-- 1 edrx edrx 43432 Feb 21 2020 2014sfc-slides2.tex -rw-r--r-- 1 edrx edrx 58352 Mar 20 23:24 2014sfc-slides2.tex.html -rw-r--r-- 2 edrx edrx 18371 May 19 2014 2014sfc-slides2h.pdf -rw-r--r-- 1 edrx edrx 2035 Feb 21 2020 2015-1-C2-figuras1.lua -rw-r--r-- 1 edrx edrx 3169 Mar 20 23:24 2015-1-C2-figuras1.lua.html -rw-r--r-- 1 edrx edrx 6944 Feb 21 2020 2015-1-C2-figuras1.tex -rw-r--r-- 1 edrx edrx 8358 Mar 20 23:24 2015-1-C2-figuras1.tex.html -rw-r--r-- 1 edrx edrx 403 Feb 21 2020 2015-1-C2-lista-edrx-1.lua -rw-r--r-- 1 edrx edrx 1451 Mar 20 23:24 2015-1-C2-lista-edrx-1.lua.html -rw-r--r-- 1 edrx edrx 3186 Feb 21 2020 2015-1-C2-lista-edrx-1.tex -rw-r--r-- 1 edrx edrx 4564 Mar 20 23:24 2015-1-C2-lista-edrx-1.tex.html -rw-r--r-- 1 edrx edrx 403 Feb 21 2020 2015-1-GA-lista-edrx-1.lua -rw-r--r-- 1 edrx edrx 1451 Mar 20 23:24 2015-1-GA-lista-edrx-1.lua.html -rw-r--r-- 1 edrx edrx 13012 Feb 21 2020 2015-1-GA-lista-edrx-1.tex -rw-r--r-- 1 edrx edrx 15560 Mar 20 23:24 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 8121 Feb 21 2020 2015-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 10308 Mar 20 23:24 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 5894 Feb 21 2020 2015-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 8088 Mar 20 23:24 2015-2-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 118287 Dec 8 2018 2015-2-C2-VR.pdf -rw-r--r-- 1 edrx edrx 8421 Feb 21 2020 2015-2-C2-VR.tex -rw-r--r-- 1 edrx edrx 10657 Mar 20 23:24 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 21 2020 2015-2-C2-material.tex -rw-r--r-- 1 edrx edrx 14530 Mar 20 23:24 2015-2-C2-material.tex.html -rw-r--r-- 2 edrx edrx 74303 Feb 17 2016 2015-2-C2-material.tgz -rw-r--r-- 2 edrx edrx 123755 Feb 17 2016 2015-2-GA-P1-gab.pdf -rw-r--r-- 1 edrx edrx 9926 Feb 21 2020 2015-2-GA-P1-gab.tex -rw-r--r-- 1 edrx edrx 12135 Mar 20 23:24 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 Feb 21 2020 2015-2-GA-P2.tex -rw-r--r-- 1 edrx edrx 13936 Mar 20 23:24 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 Feb 21 2020 2015-2-GA-VR.tex -rw-r--r-- 1 edrx edrx 11528 Mar 20 23:24 2015-2-GA-VR.tex.html -rw-r--r-- 1 edrx edrx 2048 Feb 21 2020 2015-2-GA-VS.tex -rw-r--r-- 1 edrx edrx 3878 Mar 20 23:24 2015-2-GA-VS.tex.html -rw-r--r-- 2 edrx edrx 124969 Feb 17 2016 2015-2-GA-material.pdf -rw-r--r-- 1 edrx edrx 15121 Feb 21 2020 2015-2-GA-material.tex -rw-r--r-- 1 edrx edrx 17766 Mar 20 23:24 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 Feb 21 2020 2015children.tex -rw-r--r-- 1 edrx edrx 9182 Mar 20 23:24 2015children.tex.html -rwxr-xr-x 1 edrx edrx 3939 Feb 21 2020 2015logicandcats.lua* -rw-r--r-- 1 edrx edrx 7074 Mar 20 23:24 2015logicandcats.lua.html -rw-r--r-- 1 edrx edrx 14539 Feb 21 2020 2015logicandcats.tex -rw-r--r-- 1 edrx edrx 18705 Mar 20 23:24 2015logicandcats.tex.html -rw-r--r-- 1 edrx edrx 4817 Feb 21 2020 2015oppositions.tex -rw-r--r-- 1 edrx edrx 6675 Mar 20 23:24 2015oppositions.tex.html -rw-r--r-- 2 edrx edrx 328858 Mar 6 2017 2015planar-has.pdf -rw-r--r-- 1 edrx edrx 88230 Feb 21 2020 2015planar-has.tex -rw-r--r-- 1 edrx edrx 107309 Mar 20 23:24 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 15310 Feb 3 2022 2016-1-C2-P1.tex -rw-r--r-- 1 edrx edrx 18666 Mar 20 23:24 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 8625 Feb 21 2020 2016-1-C2-P2.tex -rw-r--r-- 1 edrx edrx 11141 Mar 20 23:24 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 7149 Feb 21 2020 2016-1-C2-VR.tex -rw-r--r-- 1 edrx edrx 9325 Mar 20 23:24 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 7570 Feb 21 2020 2016-1-C2-VS.tex -rw-r--r-- 1 edrx edrx 10297 Mar 20 23:24 2016-1-C2-VS.tex.html -rw-r--r-- 1 edrx edrx 12280 Feb 21 2020 2016-1-C2-material.tex -rw-r--r-- 1 edrx edrx 15511 Mar 20 23:24 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 Feb 21 2020 2016-1-GA-P1.tex -rw-r--r-- 1 edrx edrx 16135 Mar 20 23:24 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 Feb 21 2020 2016-1-GA-P2.tex -rw-r--r-- 1 edrx edrx 10923 Mar 20 23:24 2016-1-GA-P2.tex.html -rw-r--r-- 2 edrx edrx 148495 Aug 2 2016 2016-1-GA-VR.pdf -rw-r--r-- 1 edrx edrx 7722 Feb 21 2020 2016-1-GA-VR.tex -rw-r--r-- 1 edrx edrx 9798 Mar 20 23:24 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 Feb 21 2020 2016-1-GA-VS.tex -rw-r--r-- 1 edrx edrx 8374 Mar 20 23:24 2016-1-GA-VS.tex.html -rw-r--r-- 2 edrx edrx 139559 Sep 16 2019 2016-1-GA-material.pdf -rw-r--r-- 1 edrx edrx 28403 Feb 21 2020 2016-1-GA-material.tex -rw-r--r-- 1 edrx edrx 32748 Mar 20 23:24 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 46596 Feb 21 2020 2016-1-LA-material.tex -rw-r--r-- 1 edrx edrx 57770 Mar 20 23:24 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 3914 Feb 21 2020 2016-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 6503 Mar 20 23:24 2016-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 113791 Dec 6 2017 2016-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 7826 Feb 21 2020 2016-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 10266 Mar 20 23:24 2016-2-C2-P2.tex.html -rw-r--r-- 1 edrx edrx 6873 Feb 21 2020 2016-2-C2-integral.tex -rw-r--r-- 1 edrx edrx 11577 Mar 20 23:24 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 Feb 21 2020 2016-2-GA-P1.tex -rw-r--r-- 1 edrx edrx 8801 Mar 20 23:24 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 Feb 21 2020 2016-2-GA-P2.tex -rw-r--r-- 1 edrx edrx 12041 Mar 20 23:24 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 Feb 21 2020 2016-2-GA-VR.tex -rw-r--r-- 1 edrx edrx 8378 Mar 20 23:24 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 Feb 21 2020 2016-2-GA-VS.tex -rw-r--r-- 1 edrx edrx 8104 Mar 20 23:24 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 100424 Feb 21 2020 2016-2-GA-algebra.tex -rw-r--r-- 1 edrx edrx 122922 Mar 20 23:24 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 Feb 21 2020 2016-2-GA-conicas.tex -rw-r--r-- 1 edrx edrx 4721 Mar 20 23:24 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 Feb 21 2020 2016-2-LA-cats.tex -rw-r--r-- 1 edrx edrx 17122 Mar 20 23:24 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 Feb 21 2020 2016-2-LA-lambda.tex -rw-r--r-- 1 edrx edrx 25599 Mar 20 23:24 2016-2-LA-lambda.tex.html -rw-r--r-- 2 edrx edrx 43262 Aug 27 2016 2016-2-LA-logic.pdf -rw-r--r-- 1 edrx edrx 28087 Feb 21 2020 2016-2-LA-logic.tex -rw-r--r-- 1 edrx edrx 35080 Mar 20 23:24 2016-2-LA-logic.tex.html -rw-r--r-- 1 edrx edrx 9445 Feb 21 2020 2016-2-LA-zhas.tex -rw-r--r-- 1 edrx edrx 14053 Mar 20 23:24 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 Feb 21 2020 2016lucatelli.tex -rw-r--r-- 1 edrx edrx 4571 Mar 20 23:24 2016lucatelli.tex.html -rw-r--r-- 2 edrx edrx 119011 Dec 27 2016 2016modal.pdf -rw-r--r-- 1 edrx edrx 6369 Feb 21 2020 2016optativa-1.tex -rw-r--r-- 1 edrx edrx 9497 Mar 20 23:24 2016optativa-1.tex.html -rw-r--r-- 2 edrx edrx 391022 Dec 18 2016 2016planar-has.pdf -rw-r--r-- 1 edrx edrx 116115 Feb 21 2020 2016planar-has.tex -rw-r--r-- 1 edrx edrx 136960 Mar 20 23:24 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 6226 Feb 21 2020 2017-1-C2-P1.tex -rw-r--r-- 1 edrx edrx 8886 Mar 20 23:24 2017-1-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 83573 Dec 6 2017 2017-1-C2-P2.pdf -rw-r--r-- 1 edrx edrx 4958 Feb 21 2020 2017-1-C2-P2.tex -rw-r--r-- 1 edrx edrx 7911 Mar 20 23:24 2017-1-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 79351 Dec 6 2017 2017-1-C2-VS.pdf -rw-r--r-- 1 edrx edrx 3328 Sep 16 2020 2017-1-C2-VS.tex -rw-r--r-- 1 edrx edrx 6143 Mar 20 23:24 2017-1-C2-VS.tex.html -rw-r--r-- 1 edrx edrx 5430 Feb 21 2020 2017-1-C2-material.tex -rw-r--r-- 1 edrx edrx 9985 Mar 20 23:24 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 Feb 21 2020 2017-1-GA-P1.tex -rw-r--r-- 1 edrx edrx 10169 Mar 20 23:24 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 Feb 21 2020 2017-1-GA-P2.tex -rw-r--r-- 1 edrx edrx 18166 Mar 20 23:24 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 Feb 21 2020 2017-1-GA-VR.tex -rw-r--r-- 1 edrx edrx 17305 Mar 20 23:24 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 Feb 21 2020 2017-1-GA-VS.tex -rw-r--r-- 1 edrx edrx 9102 Mar 20 23:24 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 Feb 21 2020 2017-1-GA-material.tex -rw-r--r-- 1 edrx edrx 119886 Mar 20 23:24 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 Feb 21 2020 2017-1-LA-material.tex -rw-r--r-- 1 edrx edrx 46660 Mar 20 23:24 2017-1-LA-material.tex.html -rw-r--r-- 2 edrx edrx 119895 Dec 19 2017 2017-2-C2-P1.pdf -rw-r--r-- 1 edrx edrx 6812 Feb 21 2020 2017-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 9261 Mar 20 23:24 2017-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 87770 Dec 14 2017 2017-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 6048 Feb 21 2020 2017-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 9019 Mar 20 23:24 2017-2-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 80697 Dec 8 2018 2017-2-C2-VS.pdf -rw-r--r-- 1 edrx edrx 3574 Feb 21 2020 2017-2-C2-VS.tex -rw-r--r-- 1 edrx edrx 6203 Mar 20 23:24 2017-2-C2-VS.tex.html -rw-r--r-- 2 edrx edrx 160378 Apr 2 2018 2017-2-C2-material.pdf -rw-r--r-- 1 edrx edrx 28625 Feb 21 2020 2017-2-C2-material.tex -rw-r--r-- 1 edrx edrx 41297 Mar 20 23:24 2017-2-C2-material.tex.html -rw-r--r-- 2 edrx edrx 100704 May 21 2018 2017-2-GA-P1.pdf -rw-r--r-- 1 edrx edrx 9995 Feb 21 2020 2017-2-GA-P1.tex -rw-r--r-- 1 edrx edrx 12720 Mar 20 23:24 2017-2-GA-P1.tex.html -rw-r--r-- 2 edrx edrx 95447 Dec 13 2017 2017-2-GA-P2.pdf -rw-r--r-- 1 edrx edrx 14055 Feb 21 2020 2017-2-GA-P2.tex -rw-r--r-- 1 edrx edrx 18335 Mar 20 23:24 2017-2-GA-P2.tex.html -rw-r--r-- 2 edrx edrx 100113 Dec 13 2017 2017-2-GA-VR.pdf -rw-r--r-- 1 edrx edrx 11788 Feb 21 2020 2017-2-GA-VR.tex -rw-r--r-- 1 edrx edrx 15826 Mar 20 23:24 2017-2-GA-VR.tex.html -rw-r--r-- 2 edrx edrx 89242 Jan 25 2018 2017-2-GA-VS.pdf -rw-r--r-- 1 edrx edrx 6952 Feb 21 2020 2017-2-GA-VS.tex -rw-r--r-- 1 edrx edrx 9770 Mar 20 23:24 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 99398 Feb 21 2020 2017-2-GA-material.tex -rw-r--r-- 1 edrx edrx 120260 Mar 20 23:24 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 52258 Feb 21 2020 2017-2-LA-material.tex -rw-r--r-- 1 edrx edrx 65333 Mar 20 23:24 2017-2-LA-material.tex.html -rw-r--r-- 1 edrx edrx 3865 Feb 21 2020 2017-music-paper.tex -rw-r--r-- 1 edrx edrx 6815 Mar 20 23:24 2017-music-paper.tex.html -rw-r--r-- 2 edrx edrx 70141 Feb 6 2017 2017adjunctions.pdf -rw-r--r-- 1 edrx edrx 9523 Feb 21 2020 2017adjunctions.tex -rw-r--r-- 1 edrx edrx 12603 Mar 20 23:24 2017adjunctions.tex.html -rw-r--r-- 1 edrx edrx 7380 Aug 20 2020 2017bell.tex -rw-r--r-- 1 edrx edrx 9791 Mar 20 23:24 2017bell.tex.html -rw-r--r-- 1 edrx edrx 1807 Feb 21 2020 2017biblatex.tex -rw-r--r-- 1 edrx edrx 4152 Mar 20 23:24 2017biblatex.tex.html -rw-r--r-- 2 edrx edrx 142769 Jul 24 2017 2017cwm-adjoints.pdf -rw-r--r-- 2 edrx edrx 250424 Nov 25 2017 2017cwm.pdf -rw-r--r-- 1 edrx edrx 74119 May 4 2020 2017cwm.tex -rw-r--r-- 1 edrx edrx 93817 Mar 20 23:24 2017cwm.tex.html -rw-r--r-- 1 edrx edrx 7146 Jan 1 2022 2017distributivity.tex -rw-r--r-- 1 edrx edrx 10209 Mar 20 23:24 2017distributivity.tex.html -rw-r--r-- 2 edrx edrx 62881 Apr 9 2017 2017ebl-abs.pdf -rw-r--r-- 1 edrx edrx 4725 Feb 21 2020 2017ebl-abs.tex -rw-r--r-- 1 edrx edrx 7106 Mar 20 23:24 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 Feb 21 2020 2017ebl-handouts.tex -rw-r--r-- 1 edrx edrx 17674 Mar 20 23:24 2017ebl-handouts.tex.html -rw-r--r-- 1 edrx edrx 2262 Feb 21 2020 2017ebl-proceedings.tex -rw-r--r-- 1 edrx edrx 4705 Mar 20 23:24 2017ebl-proceedings.tex.html -rw-r--r-- 2 edrx edrx 254123 May 9 2017 2017ebl-slides.pdf -rw-r--r-- 1 edrx edrx 48445 Feb 21 2020 2017ebl-slides.tex -rw-r--r-- 1 edrx edrx 63445 Mar 20 23:24 2017ebl-slides.tex.html -rw-r--r-- 2 edrx edrx 245972 Oct 17 2017 2017elephant.pdf -rw-r--r-- 1 edrx edrx 74758 Jul 18 2020 2017elephant.tex -rw-r--r-- 1 edrx edrx 99294 Mar 20 23:24 2017elephant.tex.html -rw-r--r-- 1 edrx edrx 130592 Feb 21 2020 2017idarct.tex -rw-r--r-- 1 edrx edrx 150750 Mar 20 23:24 2017idarct.tex.html -rw-r--r-- 2 edrx edrx 143515 Dec 31 2017 2017idarct.tgz -rw-r--r-- 1 edrx edrx 4543 Feb 21 2020 2017lucatelli-fibs.tex -rw-r--r-- 1 edrx edrx 6991 Mar 20 23:24 2017lucatelli-fibs.tex.html -rw-r--r-- 2 edrx edrx 453030 Aug 30 2017 2017planar-has-1-v1.pdf -rw-r--r-- 2 edrx edrx 209948 Aug 30 2017 2017planar-has-1-v1.tgz -rw-r--r-- 1 edrx edrx 769 Feb 21 2020 2017planar-has-1.mk -rw-r--r-- 1 edrx edrx 1915 Mar 20 23:24 2017planar-has-1.mk.html -rw-r--r-- 2 edrx edrx 500841 Jan 17 2020 2017planar-has-1.pdf -rw-r--r-- 1 edrx edrx 141009 Jun 6 2022 2017planar-has-1.tex -rw-r--r-- 1 edrx edrx 164750 Mar 20 23:24 2017planar-has-1.tex.html -rw-r--r-- 2 edrx edrx 236759 Jan 17 2020 2017planar-has-1.tgz -rw-r--r-- 2 edrx edrx 255519 Jan 17 2020 2017planar-has-1.zip -rw-r--r-- 2 edrx edrx 450707 Jun 30 2018 2017planar-has-2.pdf -rw-r--r-- 1 edrx edrx 145312 Jul 19 2021 2017planar-has-2.tex -rw-r--r-- 1 edrx edrx 166853 Mar 20 23:24 2017planar-has-2.tex.html -rw-r--r-- 2 edrx edrx 141022 Jun 30 2018 2017planar-has-2.tgz -rw-r--r-- 2 edrx edrx 169777 Jun 26 2018 2017planar-has-3.pdf -rw-r--r-- 1 edrx edrx 14776 Feb 21 2020 2017planar-has-3.tex -rw-r--r-- 1 edrx edrx 20653 Mar 20 23:24 2017planar-has-3.tex.html -rw-r--r-- 2 edrx edrx 105020 Feb 12 2018 2017planar-has-3.tgz -rw-r--r-- 1 edrx edrx 7586 Jun 13 2021 2017planar-has-defs.tex -rw-r--r-- 1 edrx edrx 13291 Mar 20 23:24 2017planar-has-defs.tex.html -rw-r--r-- 1 edrx edrx 123863 Feb 21 2020 2017planar-has-deleted.tex -rw-r--r-- 1 edrx edrx 148343 Mar 20 23:24 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 Feb 21 2020 2017planar-has.tex -rw-r--r-- 1 edrx edrx 238666 Mar 20 23:24 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 Feb 21 2020 2017puc-abstract.tex -rw-r--r-- 1 edrx edrx 3554 Mar 20 23:24 2017puc-abstract.tex.html -rw-r--r-- 1 edrx edrx 3572 Feb 21 2020 2017repl-test-1.tex -rw-r--r-- 1 edrx edrx 7149 Mar 20 23:24 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 Feb 21 2020 2017sajl-mini.tex -rw-r--r-- 1 edrx edrx 16801 Mar 20 23:24 2017sajl-mini.tex.html -rw-r--r-- 1 edrx edrx 6800 Feb 21 2020 2017vichy-abs.tex -rw-r--r-- 1 edrx edrx 10654 Mar 20 23:24 2017vichy-abs.tex.html -rw-r--r-- 1 edrx edrx 7573 Feb 21 2020 2017vichy-slides-1.tex -rw-r--r-- 1 edrx edrx 10273 Mar 20 23:24 2017vichy-slides-1.tex.html -rw-r--r-- 1 edrx edrx 2250 Feb 21 2020 2017vichy-slides-2.tex -rw-r--r-- 1 edrx edrx 4689 Mar 20 23:24 2017vichy-slides-2.tex.html -rw-r--r-- 1 edrx edrx 2926 Feb 21 2020 2017vichy-slides-3.tex -rw-r--r-- 1 edrx edrx 5365 Mar 20 23:24 2017vichy-slides-3.tex.html -rw-r--r-- 1 edrx edrx 2250 Feb 21 2020 2017vichy-slides-4.tex -rw-r--r-- 1 edrx edrx 4689 Mar 20 23:24 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 Feb 21 2020 2017vichy-workshop.tex -rw-r--r-- 1 edrx edrx 6982 Mar 20 23:24 2017vichy-workshop.tex.html -rw-r--r-- 2 edrx edrx 43291 Sep 15 2017 2017visualizing-gms.pdf -rw-r--r-- 1 edrx edrx 2616 Feb 21 2020 2017visualizing-gms.tex -rw-r--r-- 1 edrx edrx 3689 Mar 20 23:24 2017visualizing-gms.tex.html -rw-r--r-- 2 edrx edrx 380406 Feb 12 2018 2017yoneda.pdf -rw-r--r-- 1 edrx edrx 84146 Feb 21 2020 2017yoneda.tex -rw-r--r-- 1 edrx edrx 98187 Mar 20 23:24 2017yoneda.tex.html -rw-r--r-- 2 edrx edrx 126610 Feb 12 2018 2017yoneda.tgz -rw-r--r-- 2 edrx edrx 106867 Jul 10 2018 2018-1-C2-P1.pdf -rw-r--r-- 2 edrx edrx 103819 Jul 10 2018 2018-1-C2-P2.pdf -rw-r--r-- 2 edrx edrx 94178 Jul 6 2018 2018-1-GA-P1.pdf -rw-r--r-- 2 edrx edrx 98141 Jul 8 2018 2018-1-GA-P2.pdf -rw-r--r-- 2 edrx edrx 158444 Jun 26 2018 2018-1-GA-R3.pdf -rw-r--r-- 1 edrx edrx 19787 Feb 21 2020 2018-1-GA-R3.tex -rw-r--r-- 1 edrx edrx 26041 Mar 20 23:24 2018-1-GA-R3.tex.html -rw-r--r-- 2 edrx edrx 95298 Jul 11 2018 2018-1-GA-VR.pdf -rw-r--r-- 2 edrx edrx 97917 Jul 19 2018 2018-1-GA-VS.pdf -rw-r--r-- 2 edrx edrx 111334 Jul 2 2018 2018-1-GA-conicas.pdf -rw-r--r-- 1 edrx edrx 3574 Feb 21 2020 2018-1-GA-conicas.tex -rw-r--r-- 1 edrx edrx 7695 Mar 20 23:24 2018-1-GA-conicas.tex.html -rw-r--r-- 2 edrx edrx 462416 Jun 4 2018 2018-1-GA-material.pdf -rw-r--r-- 1 edrx edrx 153195 Feb 21 2020 2018-1-GA-material.tex -rw-r--r-- 1 edrx edrx 183749 Mar 20 23:24 2018-1-GA-material.tex.html -rw-r--r-- 2 edrx edrx 146356 May 28 2018 2018-1-GA-material.tgz -rw-r--r-- 2 edrx edrx 254291 Jan 4 2018 2018-1-LA-material.pdf -rw-r--r-- 1 edrx edrx 55866 Nov 14 13:54 2018-1-LA-material.tex -rw-r--r-- 1 edrx edrx 69750 Mar 20 23:24 2018-1-LA-material.tex.html -rw-r--r-- 2 edrx edrx 113289 Oct 31 2019 2018-2-C2-P1.pdf -rw-r--r-- 1 edrx edrx 9563 Jan 2 2022 2018-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 16504 Mar 20 23:24 2018-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 91785 Dec 20 2018 2018-2-C2-P1.tgz -rw-r--r-- 2 edrx edrx 91136 Nov 10 2018 2018-2-C2-P1fake.pdf -rw-r--r-- 1 edrx edrx 3500 Feb 21 2020 2018-2-C2-P1fake.tex -rw-r--r-- 1 edrx edrx 5887 Mar 20 23:24 2018-2-C2-P1fake.tex.html -rw-r--r-- 2 edrx edrx 90408 Nov 10 2018 2018-2-C2-P1fake.tgz -rw-r--r-- 2 edrx edrx 105717 Dec 6 2019 2018-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 5784 Feb 21 2020 2018-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 8026 Mar 20 23:24 2018-2-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 15649 Dec 15 2018 2018-2-C2-P2.tgz -rw-r--r-- 2 edrx edrx 94870 Dec 20 2018 2018-2-C2-VS.pdf -rw-r--r-- 1 edrx edrx 6089 Feb 21 2020 2018-2-C2-VS.tex -rw-r--r-- 1 edrx edrx 9002 Mar 20 23:24 2018-2-C2-VS.tex.html -rw-r--r-- 2 edrx edrx 79655 Nov 6 2018 2018-2-MD-P1A.pdf -rw-r--r-- 1 edrx edrx 11719 Feb 21 2020 2018-2-MD-P1A.tex -rw-r--r-- 1 edrx edrx 16118 Mar 20 23:24 2018-2-MD-P1A.tex.html -rw-r--r-- 2 edrx edrx 98956 Nov 6 2018 2018-2-MD-P1A.tgz -rw-r--r-- 2 edrx edrx 99748 Nov 21 2018 2018-2-MD-P1B.pdf -rw-r--r-- 1 edrx edrx 11823 Feb 21 2020 2018-2-MD-P1B.tex -rw-r--r-- 1 edrx edrx 16206 Mar 20 23:24 2018-2-MD-P1B.tex.html -rw-r--r-- 2 edrx edrx 108981 Nov 21 2018 2018-2-MD-P1B.tgz -rw-r--r-- 2 edrx edrx 108189 Dec 17 2018 2018-2-MD-P2A.pdf -rw-r--r-- 1 edrx edrx 10561 Feb 21 2020 2018-2-MD-P2A.tex -rw-r--r-- 1 edrx edrx 15339 Mar 20 23:24 2018-2-MD-P2A.tex.html -rw-r--r-- 1 edrx edrx 4710 Feb 21 2020 2018-2-MD-P2B.tex -rw-r--r-- 1 edrx edrx 7352 Mar 20 23:24 2018-2-MD-P2B.tex.html -rw-r--r-- 2 edrx edrx 122231 Dec 18 2018 2018-2-MD-VR.pdf -rw-r--r-- 1 edrx edrx 11700 Feb 21 2020 2018-2-MD-VR.tex -rw-r--r-- 1 edrx edrx 16179 Mar 20 23:24 2018-2-MD-VR.tex.html -rw-r--r-- 2 edrx edrx 100055 Dec 18 2018 2018-2-MD-VR.tgz -rw-r--r-- 1 edrx edrx 4197 Feb 21 2020 2018-2-MD-VS.tex -rw-r--r-- 1 edrx edrx 6826 Mar 20 23:24 2018-2-MD-VS.tex.html -rw-r--r-- 2 edrx edrx 95213 Dec 18 2018 2018-2-MD-defs-recursivas.pdf -rw-r--r-- 1 edrx edrx 7657 Feb 21 2020 2018-2-MD-defs-recursivas.tex -rw-r--r-- 1 edrx edrx 10670 Mar 20 23:24 2018-2-MD-defs-recursivas.tex.html -rw-r--r-- 2 edrx edrx 113628 Dec 23 2018 2018-2-MD-demonstracoes.pdf -rw-r--r-- 1 edrx edrx 13077 Feb 21 2020 2018-2-MD-demonstracoes.tex -rw-r--r-- 1 edrx edrx 15690 Mar 20 23:24 2018-2-MD-demonstracoes.tex.html -rw-r--r-- 2 edrx edrx 93758 Dec 23 2018 2018-2-MD-demonstracoes.tgz -rw-r--r-- 1 edrx edrx 2539 Feb 21 2020 2018-2-MD-material.tex -rw-r--r-- 1 edrx edrx 4940 Mar 20 23:24 2018-2-MD-material.tex.html -rw-r--r-- 2 edrx edrx 68162 Oct 23 2018 2018-2-MD-ordem-prop.pdf -rw-r--r-- 1 edrx edrx 6233 Feb 21 2020 2018-2-MD-ordem-prop.tex -rw-r--r-- 1 edrx edrx 8752 Mar 20 23:24 2018-2-MD-ordem-prop.tex.html -rw-r--r-- 2 edrx edrx 95473 Oct 23 2018 2018-2-MD-ordem-prop.tgz -rw-r--r-- 1 edrx edrx 3272 Feb 21 2020 2018-2-MD-regras-inad.tex -rw-r--r-- 1 edrx edrx 5937 Mar 20 23:24 2018-2-MD-regras-inad.tex.html -rw-r--r-- 2 edrx edrx 110545 Jul 11 2019 2018-2-MD-resposta.pdf -rw-r--r-- 1 edrx edrx 21608 Feb 21 2020 2018-2-MD-resposta.tex -rw-r--r-- 1 edrx edrx 25315 Mar 20 23:24 2018-2-MD-resposta.tex.html -rw-r--r-- 2 edrx edrx 98660 Dec 20 2018 2018-2-MD-resposta.tgz -rw-r--r-- 2 edrx edrx 118425 Dec 5 2018 2018-2-MD-sequentes.pdf -rw-r--r-- 1 edrx edrx 22237 Feb 21 2020 2018-2-MD-sequentes.tex -rw-r--r-- 1 edrx edrx 28153 Mar 20 23:24 2018-2-MD-sequentes.tex.html -rw-r--r-- 2 edrx edrx 97515 Nov 7 2018 2018-2-MD-sequentes.tgz -rw-r--r-- 2 edrx edrx 109381 Dec 17 2018 2018-2-MD-set-compr.pdf -rw-r--r-- 1 edrx edrx 18596 Feb 21 2020 2018-2-MD-set-compr.tex -rw-r--r-- 1 edrx edrx 25721 Mar 20 23:24 2018-2-MD-set-compr.tex.html -rw-r--r-- 2 edrx edrx 100734 Dec 17 2018 2018-2-MD-set-compr.tgz -rw-r--r-- 1 edrx edrx 3866 Feb 21 2020 2018-monitoria.tex -rw-r--r-- 1 edrx edrx 6301 Mar 20 23:24 2018-monitoria.tex.html -rw-r--r-- 1 edrx edrx 6604 Feb 21 2020 2018-projeto-monitoria-MD.tex -rw-r--r-- 1 edrx edrx 8350 Mar 20 23:24 2018-projeto-monitoria-MD.tex.html -rw-r--r-- 1 edrx edrx 7138 Feb 21 2020 2018-rad2017.tex -rw-r--r-- 1 edrx edrx 9823 Mar 20 23:24 2018-rad2017.tex.html -rw-r--r-- 2 edrx edrx 235935 Jan 16 2019 2018dednat6-extras.pdf -rw-r--r-- 1 edrx edrx 42876 Feb 21 2020 2018dednat6-extras.tex -rw-r--r-- 1 edrx edrx 56102 Mar 20 23:24 2018dednat6-extras.tex.html -rw-r--r-- 2 edrx edrx 108921 Dec 31 2018 2018dednat6-extras.tgz -rw-r--r-- 2 edrx edrx 69139 May 15 2019 2018dednat6-minimal.pdf -rw-r--r-- 1 edrx edrx 3887 Feb 21 2020 2018dednat6-minimal.tex -rw-r--r-- 1 edrx edrx 5584 Mar 20 23:24 2018dednat6-minimal.tex.html -rw-r--r-- 2 edrx edrx 78065 Dec 31 2018 2018dednat6-minimal.tgz -rw-r--r-- 1 edrx edrx 3014 Feb 21 2020 2018dednat6-no-lua.tex -rw-r--r-- 1 edrx edrx 4254 Mar 20 23:24 2018dednat6-no-lua.tex.html -rw-r--r-- 1 edrx edrx 1686 Feb 21 2020 2018dednat6-preproc.dnt -rw-r--r-- 1 edrx edrx 2289 Mar 20 23:24 2018dednat6-preproc.dnt.html -rw-r--r-- 1 edrx edrx 2689 Feb 21 2020 2018dednat6-preproc.tex -rw-r--r-- 1 edrx edrx 4176 Mar 20 23:24 2018dednat6-preproc.tex.html -rw-r--r-- 1 edrx edrx 455 Feb 21 2020 2018dednat6-repl.tex -rw-r--r-- 1 edrx edrx 1573 Mar 20 23:24 2018dednat6-repl.tex.html -rw-r--r-- 1 edrx edrx 2206 Feb 21 2020 2018dednat6-zhas.tex -rw-r--r-- 1 edrx edrx 4829 Mar 20 23:24 2018dednat6-zhas.tex.html -rw-r--r-- 1 edrx edrx 64403 Feb 21 2020 2018jacobs.tex -rw-r--r-- 1 edrx edrx 76905 Mar 20 23:24 2018jacobs.tex.html -rw-r--r-- 1 edrx edrx 2276 Feb 21 2020 2018kockdiff.tex -rw-r--r-- 1 edrx edrx 4766 Mar 20 23:24 2018kockdiff.tex.html -rw-r--r-- 1 edrx edrx 2546 Feb 21 2020 2018marciopalmares.tex -rw-r--r-- 1 edrx edrx 5199 Mar 20 23:24 2018marciopalmares.tex.html -rw-r--r-- 1 edrx edrx 20263 Feb 21 2020 2018pergola.tex -rw-r--r-- 1 edrx edrx 25363 Mar 20 23:24 2018pergola.tex.html -rw-r--r-- 1 edrx edrx 4383 Feb 21 2020 2018pict2e.tex -rw-r--r-- 1 edrx edrx 7386 Mar 20 23:24 2018pict2e.tex.html -rw-r--r-- 2 edrx edrx 85042 Sep 13 2018 2018planar-has-new-intro.pdf -rw-r--r-- 1 edrx edrx 5775 Feb 21 2020 2018planar-has-new-intro.tex -rw-r--r-- 1 edrx edrx 8184 Mar 20 23:24 2018planar-has-new-intro.tex.html -rw-r--r-- 2 edrx edrx 95253 Sep 13 2018 2018planar-has-new-intro.tgz -rw-r--r-- 1 edrx edrx 2295 Feb 21 2020 2018repl-test.tex -rw-r--r-- 1 edrx edrx 3979 Mar 20 23:24 2018repl-test.tex.html -rw-r--r-- 2 edrx edrx 73232 Jan 31 2018 2018repl-test.tgz -rw-r--r-- 2 edrx edrx 21104 May 8 2018 2018tug-dednat6-abs.pdf -rw-r--r-- 1 edrx edrx 4354 Feb 21 2020 2018tug-dednat6-abs.tex -rw-r--r-- 1 edrx edrx 5569 Mar 20 23:24 2018tug-dednat6-abs.tex.html -rw-r--r-- 1 edrx edrx 4727 Feb 21 2020 2018tug-dednat6-abs2.tex -rw-r--r-- 1 edrx edrx 5664 Mar 20 23:24 2018tug-dednat6-abs2.tex.html -rw-r--r-- 1 edrx edrx 4384 Feb 21 2020 2018tug-dednat6.lua -rw-r--r-- 1 edrx edrx 7035 Mar 20 23:24 2018tug-dednat6.lua.html -rw-r--r-- 2 edrx edrx 174702 Jul 18 2018 2018tug-dednat6.pdf -rw-r--r-- 2 edrx edrx 122475 Jul 20 2018 2018tug-dednat6.tgz -rw-r--r-- 2 edrx edrx 129061 Oct 29 2018 2018tugboat-rev1.pdf -rw-r--r-- 1 edrx edrx 29625 Feb 21 2020 2018tugboat-rev1.tex -rw-r--r-- 1 edrx edrx 38608 Mar 20 23:24 2018tugboat-rev1.tex.html -rw-r--r-- 2 edrx edrx 120433 Oct 29 2018 2018tugboat-rev1.tgz -rw-r--r-- 2 edrx edrx 110208 Oct 16 2018 2018tugboat.pdf -rw-r--r-- 1 edrx edrx 28830 Feb 21 2020 2018tugboat.tex -rw-r--r-- 1 edrx edrx 37632 Mar 20 23:24 2018tugboat.tex.html -rw-r--r-- 2 edrx edrx 104918 Oct 16 2018 2018tugboat.tgz -rw-r--r-- 2 edrx edrx 120992 Oct 16 2018 2018tugboat.zip -rw-r--r-- 1 edrx edrx 15702 Feb 21 2020 2018vichy-abstracts.tex -rw-r--r-- 1 edrx edrx 18388 Mar 20 23:24 2018vichy-abstracts.tex.html -rw-r--r-- 2 edrx edrx 1029524 Jun 22 2018 2018vichy-vgms-slides.pdf -rw-r--r-- 1 edrx edrx 35485 Feb 21 2020 2018vichy-vgms-slides.tex -rw-r--r-- 1 edrx edrx 47727 Mar 20 23:24 2018vichy-vgms-slides.tex.html -rw-r--r-- 2 edrx edrx 945725 Jun 22 2018 2018vichy-vgms-slides.tgz -rw-r--r-- 2 edrx edrx 1041828 Jun 17 2018 2018vichy-video.pdf -rw-r--r-- 1 edrx edrx 26722 Feb 21 2020 2018vichy-video.tex -rw-r--r-- 1 edrx edrx 38611 Mar 20 23:24 2018vichy-video.tex.html -rw-r--r-- 2 edrx edrx 973255 Apr 25 2018 2018vichy-video.tgz -rw-r--r-- 2 edrx edrx 90202 Oct 23 2019 2019-1-C2-P1.pdf -rw-r--r-- 1 edrx edrx 4701 Oct 21 2021 2019-1-C2-P1.tex -rw-r--r-- 1 edrx edrx 8615 Mar 20 23:24 2019-1-C2-P1.tex.html -rw-r--r-- 1 edrx edrx 4045 Feb 21 2020 2019-1-C2-P2.tex -rw-r--r-- 1 edrx edrx 6524 Mar 20 23:24 2019-1-C2-P2.tex.html -rw-r--r-- 1 edrx edrx 4861 Feb 21 2020 2019-1-C2-VR.tex -rw-r--r-- 1 edrx edrx 7429 Mar 20 23:24 2019-1-C2-VR.tex.html -rw-r--r-- 1 edrx edrx 3104 Feb 21 2020 2019-1-C2-VS.tex -rw-r--r-- 1 edrx edrx 5513 Mar 20 23:24 2019-1-C2-VS.tex.html -rw-r--r-- 2 edrx edrx 110134 Jul 3 2019 2019-1-C2-material.pdf -rw-r--r-- 1 edrx edrx 11697 Jul 21 2022 2019-1-C2-material.tex -rw-r--r-- 1 edrx edrx 16285 Mar 20 23:24 2019-1-C2-material.tex.html -rw-r--r-- 2 edrx edrx 104868 Apr 26 2019 2019-1-C2-material.tgz -rw-r--r-- 2 edrx edrx 75225 Oct 13 2019 2019-1-C3-P1.pdf -rw-r--r-- 1 edrx edrx 4632 Feb 21 2020 2019-1-C3-P1.tex -rw-r--r-- 1 edrx edrx 6978 Mar 20 23:24 2019-1-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 73244 Dec 19 2019 2019-1-C3-P2.pdf -rw-r--r-- 1 edrx edrx 4283 Feb 21 2020 2019-1-C3-P2.tex -rw-r--r-- 1 edrx edrx 7112 Mar 20 23:24 2019-1-C3-P2.tex.html -rw-r--r-- 1 edrx edrx 6835 Feb 21 2020 2019-1-C3-VR.tex -rw-r--r-- 1 edrx edrx 9369 Mar 20 23:24 2019-1-C3-VR.tex.html -rw-r--r-- 1 edrx edrx 3895 Feb 21 2020 2019-1-C3-VS.tex -rw-r--r-- 1 edrx edrx 6247 Mar 20 23:24 2019-1-C3-VS.tex.html -rw-r--r-- 2 edrx edrx 97528 May 22 2019 2019-1-C3-material.pdf -rw-r--r-- 1 edrx edrx 11681 Sep 30 2020 2019-1-C3-material.tex -rw-r--r-- 1 edrx edrx 15902 Mar 20 23:24 2019-1-C3-material.tex.html -rw-r--r-- 2 edrx edrx 116048 Nov 21 2019 2019-2-C2-P1.pdf -rw-r--r-- 1 edrx edrx 12638 Jul 28 2022 2019-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 18151 Mar 20 23:24 2019-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 83640 Feb 3 2021 2019-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 8440 Feb 21 2020 2019-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 13196 Mar 20 23:24 2019-2-C2-P2.tex.html -rw-r--r-- 1 edrx edrx 10599 Feb 21 2020 2019-2-C2-VR.tex -rw-r--r-- 1 edrx edrx 14571 Mar 20 23:24 2019-2-C2-VR.tex.html -rw-r--r-- 1 edrx edrx 4211 Feb 21 2020 2019-2-C2-VS.tex -rw-r--r-- 1 edrx edrx 8129 Mar 20 23:24 2019-2-C2-VS.tex.html -rw-r--r-- 2 edrx edrx 143445 Nov 5 2019 2019-2-C2-material.pdf -rw-r--r-- 1 edrx edrx 26077 Aug 27 2020 2019-2-C2-material.tex -rw-r--r-- 1 edrx edrx 35805 Mar 20 23:24 2019-2-C2-material.tex.html -rw-r--r-- 1 edrx edrx 2395 Feb 21 2020 2019-2-C2-provas-antigas.tex -rw-r--r-- 1 edrx edrx 5355 Mar 20 23:24 2019-2-C2-provas-antigas.tex.html -rw-r--r-- 2 edrx edrx 578166 Jul 5 2022 2019-2-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 4935 Dec 1 10:00 2019-2-C2-tudo.tex -rw-r--r-- 1 edrx edrx 10469 Mar 20 23:24 2019-2-C2-tudo.tex.html -rw-r--r-- 2 edrx edrx 58834 Oct 18 2019 2019-2-C3-P1.pdf -rw-r--r-- 1 edrx edrx 6821 Jul 5 2022 2019-2-C3-P1.tex -rw-r--r-- 1 edrx edrx 10071 Mar 20 23:24 2019-2-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 73312 Dec 19 2019 2019-2-C3-P2.pdf -rw-r--r-- 1 edrx edrx 4680 Jul 5 2022 2019-2-C3-P2.tex -rw-r--r-- 1 edrx edrx 7508 Mar 20 23:24 2019-2-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 91886 Dec 19 2019 2019-2-C3-VR.pdf -rw-r--r-- 1 edrx edrx 8194 Jul 5 2022 2019-2-C3-VR.tex -rw-r--r-- 1 edrx edrx 11142 Mar 20 23:24 2019-2-C3-VR.tex.html -rw-r--r-- 1 edrx edrx 12696 Jul 5 2022 2019-2-C3-VS.tex -rw-r--r-- 1 edrx edrx 15872 Mar 20 23:24 2019-2-C3-VS.tex.html -rw-r--r-- 2 edrx edrx 121604 Dec 9 2019 2019-2-C3-material.pdf -rw-r--r-- 1 edrx edrx 20679 Nov 26 2020 2019-2-C3-material.tex -rw-r--r-- 1 edrx edrx 29830 Mar 20 23:24 2019-2-C3-material.tex.html -rw-r--r-- 2 edrx edrx 493214 Jul 6 2022 2019-2-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 4774 Jul 5 2022 2019-2-C3-tudo.tex -rw-r--r-- 1 edrx edrx 10097 Mar 20 23:24 2019-2-C3-tudo.tex.html -rw-r--r-- 1 edrx edrx 6018 Feb 21 2020 2019-rad2018.tex -rw-r--r-- 1 edrx edrx 8856 Mar 20 23:24 2019-rad2018.tex.html -rw-r--r-- 1 edrx edrx 6333 Feb 21 2020 2019-rad2019.tex -rw-r--r-- 1 edrx edrx 9683 Mar 20 23:24 2019-rad2019.tex.html -rw-r--r-- 1 edrx edrx 527 Apr 1 2022 2019.mk -rw-r--r-- 1 edrx edrx 1370 Mar 20 23:24 2019.mk.html -rw-r--r-- 1 edrx edrx 21600 Nov 10 2020 2019J-ops-algebra.tex -rw-r--r-- 1 edrx edrx 25772 Mar 20 23:24 2019J-ops-algebra.tex.html -rw-r--r-- 1 edrx edrx 9039 Feb 21 2020 2019J-ops-arxiv.tex -rw-r--r-- 1 edrx edrx 16900 Mar 20 23:24 2019J-ops-arxiv.tex.html -rw-r--r-- 1 edrx edrx 16977 Nov 10 2020 2019J-ops-categories.tex -rw-r--r-- 1 edrx edrx 21708 Mar 20 23:24 2019J-ops-categories.tex.html -rw-r--r-- 1 edrx edrx 17414 Nov 10 2020 2019J-ops-classifier.tex -rw-r--r-- 1 edrx edrx 23056 Mar 20 23:24 2019J-ops-classifier.tex.html -rw-r--r-- 1 edrx edrx 12956 Nov 10 2020 2019J-ops-cubes.tex -rw-r--r-- 1 edrx edrx 15286 Mar 20 23:24 2019J-ops-cubes.tex.html -rw-r--r-- 1 edrx edrx 4700 Jul 17 2021 2019J-ops-defs.tex -rw-r--r-- 1 edrx edrx 6727 Mar 20 23:24 2019J-ops-defs.tex.html -rw-r--r-- 1 edrx edrx 10300 Nov 10 2020 2019J-ops-kan.tex -rw-r--r-- 1 edrx edrx 12582 Mar 20 23:24 2019J-ops-kan.tex.html -rw-r--r-- 1 edrx edrx 8437 Nov 10 2020 2019J-ops-logic.tex -rw-r--r-- 1 edrx edrx 10567 Mar 20 23:24 2019J-ops-logic.tex.html -rw-r--r-- 1 edrx edrx 5950 Nov 10 2020 2019J-ops-midway.tex -rw-r--r-- 1 edrx edrx 7899 Mar 20 23:24 2019J-ops-midway.tex.html -rw-r--r-- 1 edrx edrx 13971 Nov 10 2020 2019J-ops-slashings.tex -rw-r--r-- 1 edrx edrx 17175 Mar 20 23:24 2019J-ops-slashings.tex.html -rw-r--r-- 1 edrx edrx 6158 Nov 10 2020 2019J-ops-valuations.tex -rw-r--r-- 1 edrx edrx 7979 Mar 20 23:24 2019J-ops-valuations.tex.html -rw-r--r-- 2 edrx edrx 455819 Jan 19 2020 2019J-ops.pdf -rw-r--r-- 1 edrx edrx 10536 Jul 20 2021 2019J-ops.tex -rw-r--r-- 1 edrx edrx 19055 Mar 20 23:24 2019J-ops.tex.html -rw-r--r-- 2 edrx edrx 143213 Jan 10 2020 2019J-ops.tgz -rw-r--r-- 2 edrx edrx 66790 Jan 19 2020 2019J-ops.zip -rw-r--r-- 1 edrx edrx 1940 Feb 21 2020 2019asy-test.tex -rw-r--r-- 1 edrx edrx 4286 Mar 20 23:24 2019asy-test.tex.html -rw-r--r-- 1 edrx edrx 3885 Feb 21 2020 2019barr1.tex -rw-r--r-- 1 edrx edrx 6017 Mar 20 23:24 2019barr1.tex.html -rw-r--r-- 2 edrx edrx 68815 Feb 3 2019 2019barr2.pdf -rw-r--r-- 1 edrx edrx 3443 Feb 21 2020 2019barr2.tex -rw-r--r-- 1 edrx edrx 5388 Mar 20 23:24 2019barr2.tex.html -rw-r--r-- 2 edrx edrx 93652 Feb 3 2019 2019barr2.zip -rw-r--r-- 1 edrx edrx 2098 Feb 21 2020 2019brute-force.tex -rw-r--r-- 1 edrx edrx 4594 Mar 20 23:24 2019brute-force.tex.html -rw-r--r-- 2 edrx edrx 162173 Jan 14 2020 2019classifier.pdf -rw-r--r-- 1 edrx edrx 12998 Aug 22 2020 2019classifier.tex -rw-r--r-- 1 edrx edrx 18256 Mar 20 23:24 2019classifier.tex.html -rw-r--r-- 2 edrx edrx 89550 Feb 6 2019 2019clg-slides-1.pdf -rw-r--r-- 1 edrx edrx 11745 Feb 21 2020 2019clg-slides-1.tex -rw-r--r-- 1 edrx edrx 17032 Mar 20 23:24 2019clg-slides-1.tex.html -rw-r--r-- 1 edrx edrx 11850 Feb 21 2020 2019clg-slides-2.tex -rw-r--r-- 1 edrx edrx 17199 Mar 20 23:24 2019clg-slides-2.tex.html -rw-r--r-- 2 edrx edrx 89126 Feb 8 2019 2019clg-slides-3.pdf -rw-r--r-- 1 edrx edrx 13201 Feb 21 2020 2019clg-slides-3.tex -rw-r--r-- 1 edrx edrx 18614 Mar 20 23:24 2019clg-slides-3.tex.html -rw-r--r-- 1 edrx edrx 13107 Feb 21 2020 2019clg-slides-4.tex -rw-r--r-- 1 edrx edrx 18520 Mar 20 23:24 2019clg-slides-4.tex.html -rw-r--r-- 1 edrx edrx 13107 Feb 21 2020 2019clg-slides-5.tex -rw-r--r-- 1 edrx edrx 18520 Mar 20 23:24 2019clg-slides-5.tex.html -rw-r--r-- 1 edrx edrx 13107 Feb 21 2020 2019clg-slides-6.tex -rw-r--r-- 1 edrx edrx 18520 Mar 20 23:24 2019clg-slides-6.tex.html -rw-r--r-- 1 edrx edrx 15856 Feb 21 2020 2019compttest.tex -rw-r--r-- 1 edrx edrx 17749 Mar 20 23:24 2019compttest.tex.html -rw-r--r-- 1 edrx edrx 18084 Feb 21 2020 2019derived-rules.tex -rw-r--r-- 1 edrx edrx 21658 Mar 20 23:24 2019derived-rules.tex.html -rw-r--r-- 1 edrx edrx 5544 Feb 21 2020 2019diagxyhack.tex -rw-r--r-- 1 edrx edrx 7022 Mar 20 23:24 2019diagxyhack.tex.html -rw-r--r-- 1 edrx edrx 2311 Feb 21 2020 2019douglas.tex -rw-r--r-- 1 edrx edrx 3714 Mar 20 23:24 2019douglas.tex.html -rw-r--r-- 2 edrx edrx 39119 Jan 14 2019 2019ebl-abs.pdf -rw-r--r-- 1 edrx edrx 7197 Feb 21 2020 2019ebl-abs.tex -rw-r--r-- 1 edrx edrx 8137 Mar 20 23:24 2019ebl-abs.tex.html -rw-r--r-- 2 edrx edrx 203986 May 9 2019 2019ebl-five-appls.pdf -rw-r--r-- 1 edrx edrx 34997 Feb 21 2020 2019ebl-five-appls.tex -rw-r--r-- 1 edrx edrx 48696 Mar 20 23:24 2019ebl-five-appls.tex.html -rw-r--r-- 2 edrx edrx 115013 May 16 2019 2019ebl-mesa-disc-logica-grad.pdf -rw-r--r-- 1 edrx edrx 11788 Feb 21 2020 2019ebl-mesa-disc-logica-grad.tex -rw-r--r-- 1 edrx edrx 16036 Mar 20 23:24 2019ebl-mesa-disc-logica-grad.tex.html -rw-r--r-- 2 edrx edrx 369655 May 14 2019 2019ebl-mesa-slides.pdf -rw-r--r-- 1 edrx edrx 40658 Feb 21 2020 2019ebl-mesa-slides.tex -rw-r--r-- 1 edrx edrx 55073 Mar 20 23:24 2019ebl-mesa-slides.tex.html -rw-r--r-- 1 edrx edrx 8331 Feb 21 2020 2019ebl-relatorio.tex -rw-r--r-- 1 edrx edrx 11240 Mar 20 23:24 2019ebl-relatorio.tex.html -rw-r--r-- 2 edrx edrx 111967 Aug 27 2019 2019eev-puro-cartaz.pdf -rw-r--r-- 1 edrx edrx 116729 Feb 21 2020 2019eev-puro-cartaz.png -rw-r--r-- 1 edrx edrx 5404 Feb 21 2020 2019eev-puro-cartaz.tex -rw-r--r-- 1 edrx edrx 8592 Mar 20 23:24 2019eev-puro-cartaz.tex.html -rw-r--r-- 1 edrx edrx 1465 Feb 21 2020 2019elephant-poster-y.tex -rw-r--r-- 1 edrx edrx 2430 Mar 20 23:24 2019elephant-poster-y.tex.html -rw-r--r-- 1 edrx edrx 62785 Feb 21 2020 2019elephant-poster-z.tex -rw-r--r-- 1 edrx edrx 79402 Mar 20 23:24 2019elephant-poster-z.tex.html -rw-r--r-- 2 edrx edrx 224398 Jul 16 2019 2019elephant-poster.pdf -rw-r--r-- 1 edrx edrx 4213 Feb 21 2020 2019elephant-poster.tex -rw-r--r-- 1 edrx edrx 8510 Mar 20 23:24 2019elephant-poster.tex.html -rw-r--r-- 2 edrx edrx 308915 Oct 30 2019 2019emacsconf-long.pdf -rw-r--r-- 1 edrx edrx 26911 Feb 21 2020 2019emacsconf-long.tex -rw-r--r-- 1 edrx edrx 39986 Mar 20 23:24 2019emacsconf-long.tex.html -rw-r--r-- 2 edrx edrx 240986 Oct 24 2019 2019emacsconf.pdf -rw-r--r-- 1 edrx edrx 21815 Nov 2 2021 2019emacsconf.tex -rw-r--r-- 1 edrx edrx 33613 Mar 20 23:24 2019emacsconf.tex.html -rw-r--r-- 1 edrx edrx 1952 Feb 21 2020 2019ilha-grande-abs.tex -rw-r--r-- 1 edrx edrx 4326 Mar 20 23:24 2019ilha-grande-abs.tex.html -rw-r--r-- 1 edrx edrx 60102 Feb 21 2020 2019ilha-grande-poster-a4.tex -rw-r--r-- 1 edrx edrx 75178 Mar 20 23:24 2019ilha-grande-poster-a4.tex.html -rw-r--r-- 1 edrx edrx 3258 Feb 21 2020 2019ilha-grande-poster.tex -rw-r--r-- 1 edrx edrx 7517 Mar 20 23:24 2019ilha-grande-poster.tex.html -rw-r--r-- 2 edrx edrx 143668 Sep 11 2019 2019ilha-grande-slides.pdf -rw-r--r-- 1 edrx edrx 26199 Feb 21 2020 2019ilha-grande-slides.tex -rw-r--r-- 1 edrx edrx 36190 Mar 20 23:24 2019ilha-grande-slides.tex.html -rw-r--r-- 1 edrx edrx 6435 Feb 21 2020 2019jacobs.tex -rw-r--r-- 1 edrx edrx 8997 Mar 20 23:24 2019jacobs.tex.html -rw-r--r-- 2 edrx edrx 130712 Jan 17 2020 2019kan-extensions.pdf -rw-r--r-- 1 edrx edrx 10527 Feb 21 2020 2019kan-extensions.tex -rw-r--r-- 1 edrx edrx 14412 Mar 20 23:24 2019kan-extensions.tex.html -rw-r--r-- 2 edrx edrx 393591 Jan 14 2019 2019logicday.pdf -rw-r--r-- 1 edrx edrx 49327 Jul 1 2021 2019logicday.tex -rw-r--r-- 1 edrx edrx 70106 Mar 20 23:24 2019logicday.tex.html -rw-r--r-- 2 edrx edrx 244456 Jan 14 2019 2019logicday.tgz -rw-r--r-- 2 edrx edrx 65763 Sep 17 2019 2019modalities-in-S4.pdf -rw-r--r-- 1 edrx edrx 9012 Feb 21 2020 2019modalities-in-S4.tex -rw-r--r-- 1 edrx edrx 12921 Mar 20 23:24 2019modalities-in-S4.tex.html -rw-r--r-- 2 edrx edrx 28419 Oct 13 2019 2019newton-abs.pdf -rw-r--r-- 1 edrx edrx 3465 Feb 21 2020 2019newton-abs.tex -rw-r--r-- 1 edrx edrx 6300 Mar 20 23:24 2019newton-abs.tex.html -rw-r--r-- 2 edrx edrx 204791 Dec 11 2019 2019newton-slides.pdf -rw-r--r-- 1 edrx edrx 36577 Apr 13 2020 2019newton-slides.tex -rw-r--r-- 1 edrx edrx 48877 Mar 20 23:24 2019newton-slides.tex.html -rw-r--r-- 1 edrx edrx 2904 Feb 21 2020 2019notes-adjunctions.tex -rw-r--r-- 1 edrx edrx 5505 Mar 20 23:24 2019notes-adjunctions.tex.html -rw-r--r-- 2 edrx edrx 135133 May 23 2020 2019notes-kleisli.pdf -rw-r--r-- 1 edrx edrx 11778 May 23 2020 2019notes-kleisli.tex -rw-r--r-- 1 edrx edrx 15360 Mar 20 23:24 2019notes-kleisli.tex.html -rw-r--r-- 1 edrx edrx 7380 Feb 21 2020 2019notes-monads-tys.tex -rw-r--r-- 1 edrx edrx 11769 Mar 20 23:24 2019notes-monads-tys.tex.html -rw-r--r-- 2 edrx edrx 151733 Apr 3 2020 2019notes-monads.pdf -rw-r--r-- 1 edrx edrx 47097 Apr 3 2020 2019notes-monads.tex -rw-r--r-- 1 edrx edrx 58391 Mar 20 23:24 2019notes-monads.tex.html -rw-r--r-- 2 edrx edrx 107187 Mar 13 2019 2019notes-monads.tgz -rw-r--r-- 2 edrx edrx 502244 Apr 20 2019 2019notes-types.pdf -rw-r--r-- 1 edrx edrx 117706 Jan 28 2021 2019notes-types.tex -rw-r--r-- 1 edrx edrx 155156 Mar 20 23:24 2019notes-types.tex.html -rw-r--r-- 2 edrx edrx 266044 Apr 20 2019 2019notes-types.tgz -rw-r--r-- 2 edrx edrx 281340 Apr 20 2019 2019notes-types.zip -rw-r--r-- 2 edrx edrx 252936 Jun 1 2019 2019notes-yoneda-2019-06-01.pdf -rw-r--r-- 1 edrx edrx 3933 May 16 2020 2019notes-yoneda.bib -rw-r--r-- 1 edrx edrx 6546 Mar 20 23:24 2019notes-yoneda.bib.html -rw-r--r-- 2 edrx edrx 262650 Apr 5 2020 2019notes-yoneda.pdf -rw-r--r-- 1 edrx edrx 97190 May 17 2020 2019notes-yoneda.tex -rw-r--r-- 1 edrx edrx 133725 Mar 20 23:24 2019notes-yoneda.tex.html -rw-r--r-- 2 edrx edrx 120979 Jun 1 2019 2019notes-yoneda.tgz -rw-r--r-- 2 edrx edrx 264564 May 11 2019 2019oxford-abs-noc.pdf -rw-r--r-- 1 edrx edrx 51273 Feb 21 2020 2019oxford-abs-noc.tex -rw-r--r-- 1 edrx edrx 61661 Mar 20 23:24 2019oxford-abs-noc.tex.html -rw-r--r-- 2 edrx edrx 131075 May 11 2019 2019oxford-abs-noc.tgz -rw-r--r-- 2 edrx edrx 457472 May 15 2019 2019oxford-abs.pdf -rw-r--r-- 1 edrx edrx 52131 Jun 4 2020 2019oxford-abs.tex -rw-r--r-- 1 edrx edrx 64499 Mar 20 23:24 2019oxford-abs.tex.html -rw-r--r-- 2 edrx edrx 59457 May 15 2019 2019oxford-abs.tgz -rw-r--r-- 1 edrx edrx 6892 Jun 29 2020 2019oxford-chars.tex -rw-r--r-- 1 edrx edrx 7846 Mar 20 23:24 2019oxford-chars.tex.html -rw-r--r-- 1 edrx edrx 28584 Feb 21 2020 2019oxford-diags.tex -rw-r--r-- 1 edrx edrx 37766 Mar 20 23:24 2019oxford-diags.tex.html -rw-r--r-- 1 edrx edrx 7876 Feb 21 2020 2019oxford-intro.tex -rw-r--r-- 1 edrx edrx 11203 Mar 20 23:24 2019oxford-intro.tex.html -rw-r--r-- 1 edrx edrx 4454 Feb 21 2020 2019oxford-relatorio.tex -rw-r--r-- 1 edrx edrx 7634 Mar 20 23:24 2019oxford-relatorio.tex.html -rw-r--r-- 1 edrx edrx 6555 Feb 21 2020 2019planar-has-1-main.tex -rw-r--r-- 1 edrx edrx 14146 Mar 20 23:24 2019planar-has-1-main.tex.html -rw-r--r-- 2 edrx edrx 140852 Jun 23 2019 2019planar-has-2-logic.pdf -rw-r--r-- 1 edrx edrx 36513 Feb 21 2020 2019planar-has-2-logic.tex -rw-r--r-- 1 edrx edrx 45161 Mar 20 23:24 2019planar-has-2-logic.tex.html -rw-r--r-- 2 edrx edrx 126025 Jun 23 2019 2019planar-has-2-logic.tgz -rw-r--r-- 1 edrx edrx 24832 Feb 21 2020 2019planar-has-2-slashings.tex -rw-r--r-- 1 edrx edrx 31218 Mar 20 23:24 2019planar-has-2-slashings.tex.html -rw-r--r-- 1 edrx edrx 4076 Feb 21 2020 2019sajl-test.tex -rw-r--r-- 1 edrx edrx 8432 Mar 20 23:24 2019sajl-test.tex.html -rw-r--r-- 2 edrx edrx 165912 Sep 11 2019 2019seminario-hermann.pdf -rw-r--r-- 1 edrx edrx 31740 Feb 21 2020 2019seminario-hermann.tex -rw-r--r-- 1 edrx edrx 45048 Mar 20 23:24 2019seminario-hermann.tex.html -rw-r--r-- 2 edrx edrx 52932 Feb 2 2019 2019xysyntax.pdf -rw-r--r-- 1 edrx edrx 10952 Oct 22 2021 2019xysyntax.tex -rw-r--r-- 1 edrx edrx 14229 Mar 20 23:24 2019xysyntax.tex.html -rw-r--r-- 2 edrx edrx 92462 Jan 19 2019 2019xysyntax.tgz -rw-r--r-- 2 edrx edrx 108701 Jan 19 2019 2019xysyntax.zip -rw-r--r-- 1 edrx edrx 5126 Jul 26 2022 2020-1-C2-MT2.tex -rw-r--r-- 1 edrx edrx 9336 Mar 20 23:24 2020-1-C2-MT2.tex.html -rw-r--r-- 1 edrx edrx 4631 Dec 13 2020 2020-1-C2-MT3.tex -rw-r--r-- 1 edrx edrx 8690 Mar 20 23:24 2020-1-C2-MT3.tex.html -rw-r--r-- 2 edrx edrx 101554 Dec 14 2020 2020-1-C2-P1.pdf -rw-r--r-- 1 edrx edrx 12357 Feb 16 23:01 2020-1-C2-P1.tex -rw-r--r-- 1 edrx edrx 21257 Mar 20 23:24 2020-1-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 87847 Dec 9 2020 2020-1-C2-P2.pdf -rw-r--r-- 1 edrx edrx 9744 Dec 9 2020 2020-1-C2-P2.tex -rw-r--r-- 1 edrx edrx 16543 Mar 20 23:24 2020-1-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 112997 Oct 30 2020 2020-1-C2-TFC2-2.pdf -rw-r--r-- 1 edrx edrx 15102 Aug 25 2021 2020-1-C2-TFC2-2.tex -rw-r--r-- 1 edrx edrx 23422 Mar 20 23:24 2020-1-C2-TFC2-2.tex.html -rw-r--r-- 2 edrx edrx 78301 Oct 27 2020 2020-1-C2-TFC2.pdf -rw-r--r-- 1 edrx edrx 7531 Mar 2 2021 2020-1-C2-TFC2.tex -rw-r--r-- 1 edrx edrx 13282 Mar 20 23:24 2020-1-C2-TFC2.tex.html -rw-r--r-- 2 edrx edrx 108053 Oct 27 2020 2020-1-C2-TFCs.pdf -rw-r--r-- 1 edrx edrx 13851 Mar 2 2021 2020-1-C2-TFCs.tex -rw-r--r-- 1 edrx edrx 21138 Mar 20 23:24 2020-1-C2-TFCs.tex.html -rw-r--r-- 2 edrx edrx 194152 Dec 15 2020 2020-1-C2-VS.pdf -rw-r--r-- 1 edrx edrx 10802 Dec 15 2020 2020-1-C2-VS.tex -rw-r--r-- 1 edrx edrx 15562 Mar 20 23:24 2020-1-C2-VS.tex.html -rw-r--r-- 2 edrx edrx 137725 Oct 2 2020 2020-1-C2-def-integral.pdf -rw-r--r-- 1 edrx edrx 13936 Mar 2 2021 2020-1-C2-def-integral.tex -rw-r--r-- 1 edrx edrx 21183 Mar 20 23:24 2020-1-C2-def-integral.tex.html -rw-r--r-- 2 edrx edrx 92072 Oct 27 2020 2020-1-C2-escadas.pdf -rw-r--r-- 2 edrx edrx 135901 Nov 19 2020 2020-1-C2-fracs-parcs.pdf -rw-r--r-- 1 edrx edrx 9827 Feb 8 2022 2020-1-C2-fracs-parcs.tex -rw-r--r-- 1 edrx edrx 18627 Mar 20 23:24 2020-1-C2-fracs-parcs.tex.html -rw-r--r-- 2 edrx edrx 98067 Nov 26 2020 2020-1-C2-int-pots-sen-cos.pdf -rw-r--r-- 1 edrx edrx 8391 Aug 30 2022 2020-1-C2-int-pots-sen-cos.tex -rw-r--r-- 1 edrx edrx 14961 Mar 20 23:24 2020-1-C2-int-pots-sen-cos.tex.html -rw-r--r-- 2 edrx edrx 86437 Nov 11 2020 2020-1-C2-int-subst.pdf -rw-r--r-- 1 edrx edrx 9316 Sep 22 01:10 2020-1-C2-int-subst.tex -rw-r--r-- 1 edrx edrx 16480 Mar 20 23:24 2020-1-C2-int-subst.tex.html -rw-r--r-- 2 edrx edrx 120651 Sep 16 2020 2020-1-C2-intro.pdf -rw-r--r-- 1 edrx edrx 13122 Feb 13 23:19 2020-1-C2-intro.tex -rw-r--r-- 1 edrx edrx 19379 Mar 20 23:24 2020-1-C2-intro.tex.html -rw-r--r-- 1 edrx edrx 1994 Feb 21 2020 2020-1-C2-material.tex -rw-r--r-- 1 edrx edrx 4742 Mar 20 23:24 2020-1-C2-material.tex.html -rw-r--r-- 2 edrx edrx 87455 Dec 9 2020 2020-1-C2-miniteste-1.pdf -rw-r--r-- 1 edrx edrx 11417 Dec 14 2020 2020-1-C2-miniteste-1.tex -rw-r--r-- 1 edrx edrx 17580 Mar 20 23:24 2020-1-C2-miniteste-1.tex.html -rw-r--r-- 2 edrx edrx 126301 Sep 18 2020 2020-1-C2-somas-1.pdf -rw-r--r-- 1 edrx edrx 11278 Nov 19 2020 2020-1-C2-somas-1.tex -rw-r--r-- 1 edrx edrx 15857 Mar 20 23:24 2020-1-C2-somas-1.tex.html -rw-r--r-- 2 edrx edrx 132706 Sep 24 2020 2020-1-C2-somas-2.pdf -rw-r--r-- 1 edrx edrx 13610 Oct 27 2020 2020-1-C2-somas-2.tex -rw-r--r-- 1 edrx edrx 19486 Mar 20 23:24 2020-1-C2-somas-2.tex.html -rw-r--r-- 2 edrx edrx 128577 Dec 2 2020 2020-1-C2-subst-trig-1.pdf -rw-r--r-- 1 edrx edrx 15200 Feb 8 2022 2020-1-C2-subst-trig-1.tex -rw-r--r-- 1 edrx edrx 24320 Mar 20 23:24 2020-1-C2-subst-trig-1.tex.html -rw-r--r-- 2 edrx edrx 1950950 Jun 30 2022 2020-1-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 6839 Oct 3 23:00 2020-1-C2-tudo.tex -rw-r--r-- 1 edrx edrx 11993 Mar 20 23:24 2020-1-C2-tudo.tex.html -rw-r--r-- 1 edrx edrx 14050 Sep 15 2020 2020-1-C2.tex -rw-r--r-- 1 edrx edrx 21496 Mar 20 23:24 2020-1-C2.tex.html -rw-r--r-- 2 edrx edrx 75097 Nov 27 2020 2020-1-C3-P1.pdf -rw-r--r-- 1 edrx edrx 7934 Oct 4 18:42 2020-1-C3-P1.tex -rw-r--r-- 1 edrx edrx 13089 Mar 20 23:24 2020-1-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 83648 Dec 4 2020 2020-1-C3-P2.pdf -rw-r--r-- 1 edrx edrx 9288 Oct 4 18:42 2020-1-C3-P2.tex -rw-r--r-- 1 edrx edrx 15170 Mar 20 23:24 2020-1-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 74836 Nov 27 2020 2020-1-C3-abertos-e-fechados.pdf -rw-r--r-- 1 edrx edrx 7353 Oct 4 18:42 2020-1-C3-abertos-e-fechados.tex -rw-r--r-- 1 edrx edrx 13733 Mar 20 23:24 2020-1-C3-abertos-e-fechados.tex.html -rw-r--r-- 2 edrx edrx 79619 Nov 25 2020 2020-1-C3-aprox-2a-ordem-R2.pdf -rw-r--r-- 1 edrx edrx 8536 Oct 4 18:41 2020-1-C3-aprox-2a-ordem-R2.tex -rw-r--r-- 1 edrx edrx 15261 Mar 20 23:24 2020-1-C3-aprox-2a-ordem-R2.tex.html -rw-r--r-- 2 edrx edrx 87618 Nov 26 2020 2020-1-C3-derivs-alta-ordem.pdf -rw-r--r-- 1 edrx edrx 8998 Feb 19 2021 2020-1-C3-derivs-alta-ordem.tex -rw-r--r-- 1 edrx edrx 13011 Mar 20 23:24 2020-1-C3-derivs-alta-ordem.tex.html -rw-r--r-- 2 edrx edrx 91259 Nov 26 2020 2020-1-C3-derivs-parciais.pdf -rw-r--r-- 1 edrx edrx 9603 Oct 4 18:40 2020-1-C3-derivs-parciais.tex -rw-r--r-- 1 edrx edrx 16188 Mar 20 23:24 2020-1-C3-derivs-parciais.tex.html -rw-r--r-- 2 edrx edrx 54346 Nov 26 2020 2020-1-C3-dicas-p1.pdf -rw-r--r-- 1 edrx edrx 7114 Oct 4 18:41 2020-1-C3-dicas-p1.tex -rw-r--r-- 1 edrx edrx 12263 Mar 20 23:24 2020-1-C3-dicas-p1.tex.html -rw-r--r-- 2 edrx edrx 87473 Sep 18 2020 2020-1-C3-intro.pdf -rw-r--r-- 1 edrx edrx 9999 Jun 15 2021 2020-1-C3-intro.tex -rw-r--r-- 1 edrx edrx 15046 Mar 20 23:24 2020-1-C3-intro.tex.html -rw-r--r-- 1 edrx edrx 1994 Feb 21 2020 2020-1-C3-material.tex -rw-r--r-- 1 edrx edrx 4742 Mar 20 23:24 2020-1-C3-material.tex.html -rw-r--r-- 2 edrx edrx 67043 Nov 25 2020 2020-1-C3-miniteste-2.pdf -rw-r--r-- 1 edrx edrx 7670 Feb 19 2021 2020-1-C3-miniteste-2.tex -rw-r--r-- 1 edrx edrx 13083 Mar 20 23:24 2020-1-C3-miniteste-2.tex.html -rw-r--r-- 2 edrx edrx 110707 Nov 26 2020 2020-1-C3-plano-tang.pdf -rw-r--r-- 1 edrx edrx 12890 Oct 4 18:41 2020-1-C3-plano-tang.tex -rw-r--r-- 1 edrx edrx 21278 Mar 20 23:24 2020-1-C3-plano-tang.tex.html -rw-r--r-- 2 edrx edrx 144489 Oct 27 2020 2020-1-C3-superficies-1.pdf -rw-r--r-- 1 edrx edrx 12486 Oct 4 19:06 2020-1-C3-superficies-1.tex -rw-r--r-- 1 edrx edrx 19108 Mar 20 23:24 2020-1-C3-superficies-1.tex.html -rw-r--r-- 2 edrx edrx 83851 Oct 27 2020 2020-1-C3-superficies-2.pdf -rw-r--r-- 1 edrx edrx 8840 Mar 10 2021 2020-1-C3-superficies-2.tex -rw-r--r-- 1 edrx edrx 14469 Mar 20 23:24 2020-1-C3-superficies-2.tex.html -rw-r--r-- 2 edrx edrx 150795 Sep 25 2020 2020-1-C3-taylor-1.pdf -rw-r--r-- 1 edrx edrx 16942 Feb 19 2021 2020-1-C3-taylor-1.tex -rw-r--r-- 1 edrx edrx 25640 Mar 20 23:24 2020-1-C3-taylor-1.tex.html -rw-r--r-- 2 edrx edrx 121455 Oct 2 2020 2020-1-C3-taylor-2.pdf -rw-r--r-- 1 edrx edrx 11149 Oct 4 18:40 2020-1-C3-taylor-2.tex -rw-r--r-- 1 edrx edrx 18196 Mar 20 23:24 2020-1-C3-taylor-2.tex.html -rw-r--r-- 2 edrx edrx 138065 Oct 9 2020 2020-1-C3-taylor-3.pdf -rw-r--r-- 1 edrx edrx 12774 Oct 4 18:39 2020-1-C3-taylor-3.tex -rw-r--r-- 1 edrx edrx 20401 Mar 20 23:24 2020-1-C3-taylor-3.tex.html -rw-r--r-- 2 edrx edrx 1612769 Jun 30 2022 2020-1-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 5890 Oct 4 18:34 2020-1-C3-tudo.tex -rw-r--r-- 1 edrx edrx 10786 Mar 20 23:24 2020-1-C3-tudo.tex.html -rw-r--r-- 2 edrx edrx 83662 Oct 27 2020 2020-1-C3-vetor-tangente.pdf -rw-r--r-- 1 edrx edrx 8706 Nov 27 2020 2020-1-C3-vetor-tangente.tex -rw-r--r-- 1 edrx edrx 13649 Mar 20 23:24 2020-1-C3-vetor-tangente.tex.html -rw-r--r-- 1 edrx edrx 6289 Aug 31 2020 2020-1-C3.tex -rw-r--r-- 1 edrx edrx 10019 Mar 20 23:24 2020-1-C3.tex.html -rw-r--r-- 2 edrx edrx 83213 Apr 16 2021 2020-2-C2-MT1.pdf -rw-r--r-- 1 edrx edrx 10757 Feb 8 2022 2020-2-C2-MT1.tex -rw-r--r-- 1 edrx edrx 17859 Mar 20 23:24 2020-2-C2-MT1.tex.html -rw-r--r-- 2 edrx edrx 67071 Apr 9 2021 2020-2-C2-MT2.pdf -rw-r--r-- 1 edrx edrx 9847 Feb 8 2022 2020-2-C2-MT2.tex -rw-r--r-- 1 edrx edrx 17755 Mar 20 23:24 2020-2-C2-MT2.tex.html -rw-r--r-- 2 edrx edrx 134501 Apr 28 2021 2020-2-C2-P1.pdf -rw-r--r-- 1 edrx edrx 13452 Jul 6 2022 2020-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 22125 Mar 20 23:24 2020-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 175562 May 2 2021 2020-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 19150 Jul 18 2022 2020-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 29009 Mar 20 23:24 2020-2-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 145790 Mar 18 2021 2020-2-C2-TFC.pdf -rw-r--r-- 1 edrx edrx 18188 Feb 8 2022 2020-2-C2-TFC.tex -rw-r--r-- 1 edrx edrx 27762 Mar 20 23:24 2020-2-C2-TFC.tex.html -rw-r--r-- 2 edrx edrx 159298 Jul 19 2022 2020-2-C2-edovs.pdf -rw-r--r-- 1 edrx edrx 18743 Jul 20 2022 2020-2-C2-edovs.tex -rw-r--r-- 1 edrx edrx 28861 Mar 20 23:24 2020-2-C2-edovs.tex.html -rw-r--r-- 2 edrx edrx 128349 Mar 11 2021 2020-2-C2-escadas.pdf -rw-r--r-- 1 edrx edrx 21321 Jul 13 2022 2020-2-C2-escadas.tex -rw-r--r-- 1 edrx edrx 31025 Mar 20 23:24 2020-2-C2-escadas.tex.html -rw-r--r-- 2 edrx edrx 138594 Apr 15 2021 2020-2-C2-fracs-parcs.pdf -rw-r--r-- 1 edrx edrx 11305 Feb 8 2022 2020-2-C2-fracs-parcs.tex -rw-r--r-- 1 edrx edrx 19644 Mar 20 23:24 2020-2-C2-fracs-parcs.tex.html -rw-r--r-- 1 edrx edrx 9966 Feb 8 2022 2020-2-C2-ids-trigs.tex -rw-r--r-- 1 edrx edrx 16071 Mar 20 23:24 2020-2-C2-ids-trigs.tex.html -rw-r--r-- 2 edrx edrx 154423 Mar 26 2021 2020-2-C2-int-subst.pdf -rw-r--r-- 1 edrx edrx 25020 Feb 8 2022 2020-2-C2-int-subst.tex -rw-r--r-- 1 edrx edrx 36350 Mar 20 23:24 2020-2-C2-int-subst.tex.html -rw-r--r-- 2 edrx edrx 120334 Feb 4 2021 2020-2-C2-intro.pdf -rw-r--r-- 1 edrx edrx 15247 Nov 18 2021 2020-2-C2-intro.tex -rw-r--r-- 1 edrx edrx 22904 Mar 20 23:24 2020-2-C2-intro.tex.html -rw-r--r-- 2 edrx edrx 143549 Feb 19 2021 2020-2-C2-somas-1.pdf -rw-r--r-- 1 edrx edrx 18984 Nov 10 2021 2020-2-C2-somas-1.tex -rw-r--r-- 1 edrx edrx 29785 Mar 20 23:24 2020-2-C2-somas-1.tex.html -rw-r--r-- 2 edrx edrx 238474 Mar 5 2021 2020-2-C2-somas-2.pdf -rw-r--r-- 1 edrx edrx 47213 Feb 8 2022 2020-2-C2-somas-2.tex -rw-r--r-- 1 edrx edrx 66049 Mar 20 23:24 2020-2-C2-somas-2.tex.html -rw-r--r-- 2 edrx edrx 256700 Apr 7 2021 2020-2-C2-subst-trig.pdf -rw-r--r-- 1 edrx edrx 14573 Feb 8 2022 2020-2-C2-subst-trig.tex -rw-r--r-- 1 edrx edrx 23697 Mar 20 23:24 2020-2-C2-subst-trig.tex.html -rw-r--r-- 2 edrx edrx 2139283 Jul 1 2022 2020-2-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 6123 Oct 3 23:00 2020-2-C2-tudo.tex -rw-r--r-- 1 edrx edrx 11019 Mar 20 23:24 2020-2-C2-tudo.tex.html -rw-r--r-- 2 edrx edrx 302557 Mar 24 2021 2020-2-C3-MT1.pdf -rw-r--r-- 1 edrx edrx 10329 Jul 9 2021 2020-2-C3-MT1.tex -rw-r--r-- 1 edrx edrx 17194 Mar 20 23:24 2020-2-C3-MT1.tex.html -rw-r--r-- 2 edrx edrx 89195 Apr 9 2021 2020-2-C3-MT2.pdf -rw-r--r-- 1 edrx edrx 13080 Apr 9 2021 2020-2-C3-MT2.tex -rw-r--r-- 1 edrx edrx 20240 Mar 20 23:24 2020-2-C3-MT2.tex.html -rw-r--r-- 2 edrx edrx 112503 Apr 30 2021 2020-2-C3-P1.pdf -rw-r--r-- 1 edrx edrx 12768 Jul 23 2021 2020-2-C3-P1.tex -rw-r--r-- 1 edrx edrx 21370 Mar 20 23:24 2020-2-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 118343 May 2 2021 2020-2-C3-P2.pdf -rw-r--r-- 1 edrx edrx 16788 Sep 2 2021 2020-2-C3-P2.tex -rw-r--r-- 1 edrx edrx 25773 Mar 20 23:24 2020-2-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 87330 Feb 10 2021 2020-2-C3-aceleracao.pdf -rw-r--r-- 1 edrx edrx 10773 Nov 17 2021 2020-2-C3-aceleracao.tex -rw-r--r-- 1 edrx edrx 17068 Mar 20 23:24 2020-2-C3-aceleracao.tex.html -rw-r--r-- 2 edrx edrx 89421 Feb 10 2021 2020-2-C3-intro.pdf -rw-r--r-- 1 edrx edrx 13594 Nov 7 2021 2020-2-C3-intro.tex -rw-r--r-- 1 edrx edrx 20331 Mar 20 23:24 2020-2-C3-intro.tex.html -rw-r--r-- 1 edrx edrx 4333 Aug 10 2021 2020-2-C3-plano-tang.lua -rw-r--r-- 1 edrx edrx 7406 Mar 20 23:24 2020-2-C3-plano-tang.lua.html -rw-r--r-- 2 edrx edrx 250673 Apr 30 2021 2020-2-C3-plano-tang.pdf -rw-r--r-- 1 edrx edrx 31239 Aug 9 2021 2020-2-C3-plano-tang.tex -rw-r--r-- 1 edrx edrx 45765 Mar 20 23:24 2020-2-C3-plano-tang.tex.html -rw-r--r-- 2 edrx edrx 280908 Mar 26 2021 2020-2-C3-rcadeia1.pdf -rw-r--r-- 1 edrx edrx 36936 Feb 23 22:00 2020-2-C3-rcadeia1.tex -rw-r--r-- 1 edrx edrx 51354 Mar 20 23:24 2020-2-C3-rcadeia1.tex.html -rw-r--r-- 2 edrx edrx 127265 Feb 19 2021 2020-2-C3-taylor.pdf -rw-r--r-- 1 edrx edrx 15579 Feb 28 2021 2020-2-C3-taylor.tex -rw-r--r-- 1 edrx edrx 25215 Mar 20 23:24 2020-2-C3-taylor.tex.html -rw-r--r-- 2 edrx edrx 1642257 Jun 30 2022 2020-2-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 5602 Sep 27 14:41 2020-2-C3-tudo.tex -rw-r--r-- 1 edrx edrx 10427 Mar 20 23:24 2020-2-C3-tudo.tex.html -rw-r--r-- 2 edrx edrx 83840 Feb 5 2021 2020-2-C3-vetor-tangente.pdf -rw-r--r-- 1 edrx edrx 11751 Nov 12 2021 2020-2-C3-vetor-tangente.tex -rw-r--r-- 1 edrx edrx 18743 Mar 20 23:24 2020-2-C3-vetor-tangente.tex.html -rw-r--r-- 1 edrx edrx 6201 Mar 1 2021 2020-2-CN-template.tex -rw-r--r-- 1 edrx edrx 11361 Mar 20 23:24 2020-2-CN-template.tex.html -rw-r--r-- 2 edrx edrx 151382 Feb 4 2020 2020-ace.pdf -rw-r--r-- 1 edrx edrx 60757 Oct 1 14:26 2020-ace.tex -rw-r--r-- 1 edrx edrx 69942 Mar 20 23:24 2020-ace.tex.html -rw-r--r-- 1 edrx edrx 6006 Feb 21 2020 2020-rad2019.tex -rw-r--r-- 1 edrx edrx 9055 Mar 20 23:24 2020-rad2019.tex.html -rw-r--r-- 2 edrx edrx 452922 Jul 8 2020 2020J-ops-new.pdf -rw-r--r-- 1 edrx edrx 9904 Jul 19 2021 2020J-ops-new.tex -rw-r--r-- 1 edrx edrx 17414 Mar 20 23:24 2020J-ops-new.tex.html -rw-r--r-- 2 edrx edrx 110368 May 9 2020 2020abramsky-tzevelekos.pdf -rw-r--r-- 1 edrx edrx 6931 Jun 19 2020 2020abramsky-tzevelekos.tex -rw-r--r-- 1 edrx edrx 10940 Mar 20 23:24 2020abramsky-tzevelekos.tex.html -rw-r--r-- 2 edrx edrx 110373 May 9 2020 2020abramsky-tzevelekos.tgz -rw-r--r-- 1 edrx edrx 9709 Mar 23 2020 2020adjunctions.tex -rw-r--r-- 1 edrx edrx 12795 Mar 20 23:24 2020adjunctions.tex.html -rw-r--r-- 1 edrx edrx 5329 Jan 18 2021 2020ats.tex -rw-r--r-- 1 edrx edrx 8690 Mar 20 23:24 2020ats.tex.html -rw-r--r-- 2 edrx edrx 150511 May 21 2020 2020awodey.pdf -rw-r--r-- 1 edrx edrx 13667 May 21 2020 2020awodey.tex -rw-r--r-- 1 edrx edrx 18660 Mar 20 23:24 2020awodey.tex.html -rw-r--r-- 2 edrx edrx 112357 Aug 9 2020 2020badiou-low.pdf -rw-r--r-- 1 edrx edrx 8700 Aug 11 2020 2020badiou-low.tex -rw-r--r-- 1 edrx edrx 13016 Mar 20 23:24 2020badiou-low.tex.html -rw-r--r-- 2 edrx edrx 105329 May 28 2020 2020badiou-mt.pdf -rw-r--r-- 1 edrx edrx 7525 May 28 2020 2020badiou-mt.tex -rw-r--r-- 1 edrx edrx 11910 Mar 20 23:24 2020badiou-mt.tex.html -rw-r--r-- 2 edrx edrx 119123 May 18 2020 2020barrwellsctcs.pdf -rw-r--r-- 1 edrx edrx 10899 Apr 30 2020 2020barrwellsctcs.tex -rw-r--r-- 1 edrx edrx 14766 Mar 20 23:24 2020barrwellsctcs.tex.html -rw-r--r-- 2 edrx edrx 83336 Jul 24 2020 2020bell-lst.pdf -rw-r--r-- 1 edrx edrx 21111 Sep 3 2020 2020bell-lst.tex -rw-r--r-- 1 edrx edrx 27043 Mar 20 23:24 2020bell-lst.tex.html -rw-r--r-- 1 edrx edrx 2235 Feb 21 2020 2020bibtex-test.tex -rw-r--r-- 1 edrx edrx 5255 Mar 20 23:24 2020bibtex-test.tex.html -rw-r--r-- 1 edrx edrx 4035 Sep 13 2020 2020borceux1.tex -rw-r--r-- 1 edrx edrx 7989 Mar 20 23:24 2020borceux1.tex.html -rw-r--r-- 1 edrx edrx 3307 Jul 7 2020 2020caccamo-winskel.tex -rw-r--r-- 1 edrx edrx 6546 Mar 20 23:24 2020caccamo-winskel.tex.html -rw-r--r-- 1 edrx edrx 6196 Jul 12 2020 2020caccamo.tex -rw-r--r-- 1 edrx edrx 9543 Mar 20 23:24 2020caccamo.tex.html -rw-r--r-- 1 edrx edrx 1550 Dec 29 2020 2020chinese.tex -rw-r--r-- 1 edrx edrx 2575 Mar 20 23:24 2020chinese.tex.html -rw-r--r-- 2 edrx edrx 444369 Nov 24 2020 2020clops-and-tops-20201124.pdf -rw-r--r-- 2 edrx edrx 151523 Nov 24 2020 2020clops-and-tops-20201124.tgz -rw-r--r-- 2 edrx edrx 166272 Nov 24 2020 2020clops-and-tops-20201124.zip -rw-r--r-- 1 edrx edrx 42325 Jul 7 2021 2020clops-and-tops-garbage.tex -rw-r--r-- 1 edrx edrx 53853 Mar 20 23:24 2020clops-and-tops-garbage.tex.html -rw-r--r-- 2 edrx edrx 443754 Jul 26 2021 2020clops-and-tops.pdf -rw-r--r-- 1 edrx edrx 144287 Oct 9 2021 2020clops-and-tops.tex -rw-r--r-- 1 edrx edrx 172302 Mar 20 23:24 2020clops-and-tops.tex.html -rw-r--r-- 2 edrx edrx 145186 Jul 26 2021 2020clops-and-tops.tgz -rw-r--r-- 2 edrx edrx 159286 Jul 26 2021 2020clops-and-tops.zip -rw-r--r-- 2 edrx edrx 95130 Sep 7 2020 2020closure-operator.pdf -rw-r--r-- 1 edrx edrx 8363 Sep 22 2020 2020closure-operator.tex -rw-r--r-- 1 edrx edrx 11673 Mar 20 23:24 2020closure-operator.tex.html -rw-r--r-- 1 edrx edrx 7085 Nov 11 2020 2020closures-and-J-ops.tex -rw-r--r-- 1 edrx edrx 12581 Mar 20 23:24 2020closures-and-J-ops.tex.html -rw-r--r-- 2 edrx edrx 192097 Jul 30 2020 2020cwm.pdf -rw-r--r-- 1 edrx edrx 48855 Sep 11 2021 2020cwm.tex -rw-r--r-- 1 edrx edrx 61452 Mar 20 23:24 2020cwm.tex.html -rw-r--r-- 1 edrx edrx 1873 Dec 17 2020 2020dednat6-video.tex -rw-r--r-- 1 edrx edrx 3118 Mar 20 23:24 2020dednat6-video.tex.html -rw-r--r-- 1 edrx edrx 6001 Jul 27 2020 2020dialectica.tex -rw-r--r-- 1 edrx edrx 10435 Mar 20 23:24 2020dialectica.tex.html -rw-r--r-- 1 edrx edrx 7845 Jan 24 2021 2020dn6-error-handling.lua -rw-r--r-- 1 edrx edrx 12553 Mar 20 23:24 2020dn6-error-handling.lua.html -rw-r--r-- 1 edrx edrx 4474 Sep 6 2020 2020draw-on-tree.tex -rw-r--r-- 1 edrx edrx 7859 Mar 20 23:24 2020draw-on-tree.tex.html -rw-r--r-- 2 edrx edrx 517097 Jul 24 2021 2020favorite-conventions.pdf -rw-r--r-- 1 edrx edrx 175029 Nov 15 2021 2020favorite-conventions.tex -rw-r--r-- 1 edrx edrx 208302 Mar 20 23:24 2020favorite-conventions.tex.html -rw-r--r-- 2 edrx edrx 76622 Jul 24 2021 2020favorite-conventions.tgz -rw-r--r-- 2 edrx edrx 176369 Jul 24 2021 2020favorite-conventions.zip -rw-r--r-- 1 edrx edrx 5428 Jul 10 2020 2020gaina-kowalski.tex -rw-r--r-- 1 edrx edrx 7860 Mar 20 23:24 2020gaina-kowalski.tex.html -rw-r--r-- 2 edrx edrx 127754 Mar 1 2021 2020genericfigures.pdf -rw-r--r-- 1 edrx edrx 8920 Mar 1 2021 2020genericfigures.tex -rw-r--r-- 1 edrx edrx 14707 Mar 20 23:24 2020genericfigures.tex.html -rw-r--r-- 2 edrx edrx 159128 Feb 18 2021 2020groth-tops.pdf -rw-r--r-- 1 edrx edrx 31491 Feb 21 2021 2020groth-tops.tex -rw-r--r-- 1 edrx edrx 41259 Mar 20 23:24 2020groth-tops.tex.html -rw-r--r-- 2 edrx edrx 30405 May 6 2020 2020homecare.pdf -rw-r--r-- 1 edrx edrx 17278 Feb 21 2020 2020homecare.tex -rw-r--r-- 1 edrx edrx 20026 Mar 20 23:24 2020homecare.tex.html -rw-r--r-- 1 edrx edrx 3970 Jul 9 2020 2020hosgood.tex -rw-r--r-- 1 edrx edrx 7048 Mar 20 23:24 2020hosgood.tex.html -rw-r--r-- 2 edrx edrx 193949 Feb 25 2020 2020hyp.pdf -rw-r--r-- 1 edrx edrx 56699 Oct 22 2021 2020hyp.tex -rw-r--r-- 1 edrx edrx 77482 Mar 20 23:24 2020hyp.tex.html -rw-r--r-- 2 edrx edrx 168033 Jun 29 2020 2020institutions.pdf -rw-r--r-- 1 edrx edrx 17494 Jun 2 2020 2020institutions.tex -rw-r--r-- 1 edrx edrx 24216 Mar 20 23:24 2020institutions.tex.html -rw-r--r-- 1 edrx edrx 6021 Jul 4 2020 2020internal-cats.tex -rw-r--r-- 1 edrx edrx 9158 Mar 20 23:24 2020internal-cats.tex.html -rw-r--r-- 2 edrx edrx 212431 Jul 9 2020 2020jacobs.pdf -rw-r--r-- 1 edrx edrx 33299 Jul 11 2020 2020jacobs.tex -rw-r--r-- 1 edrx edrx 42061 Mar 20 23:24 2020jacobs.tex.html -rw-r--r-- 2 edrx edrx 110223 May 18 2020 2020jacobs.tgz -rw-r--r-- 1 edrx edrx 13617 Jul 20 2020 2020kockdiff.tex -rw-r--r-- 1 edrx edrx 18115 Mar 20 23:24 2020kockdiff.tex.html -rw-r--r-- 1 edrx edrx 4015 Aug 22 2020 2020lambek-scott.tex -rw-r--r-- 1 edrx edrx 7466 Mar 20 23:24 2020lambek-scott.tex.html -rw-r--r-- 2 edrx edrx 97919 Apr 26 2020 2020lambek86.pdf -rw-r--r-- 1 edrx edrx 6853 Apr 26 2020 2020lambek86.tex -rw-r--r-- 1 edrx edrx 10723 Mar 20 23:24 2020lambek86.tex.html -rw-r--r-- 1 edrx edrx 3876 May 22 2020 2020lawvere-adjfo.tex -rw-r--r-- 1 edrx edrx 7574 Mar 20 23:24 2020lawvere-adjfo.tex.html -rw-r--r-- 1 edrx edrx 3948 May 19 2020 2020lawvere-equahyp.tex -rw-r--r-- 1 edrx edrx 7543 Mar 20 23:24 2020lawvere-equahyp.tex.html -rw-r--r-- 1 edrx edrx 5870 May 21 2020 2020lawvere-notation.tex -rw-r--r-- 1 edrx edrx 10895 Mar 20 23:24 2020lawvere-notation.tex.html -rw-r--r-- 1 edrx edrx 40713 Jun 21 2021 2020lindenhovius.tex -rw-r--r-- 1 edrx edrx 49169 Mar 20 23:24 2020lindenhovius.tex.html -rw-r--r-- 1 edrx edrx 5379 May 2 2022 2020list-test.tex -rw-r--r-- 1 edrx edrx 8093 Mar 20 23:24 2020list-test.tex.html -rw-r--r-- 2 edrx edrx 103499 Jul 7 2020 2020loregian.pdf -rw-r--r-- 1 edrx edrx 3582 Jul 9 2020 2020loregian.tex -rw-r--r-- 1 edrx edrx 6799 Mar 20 23:24 2020loregian.tex.html -rw-r--r-- 1 edrx edrx 4032 Aug 17 2020 2020luatex-catcodes.tex -rw-r--r-- 1 edrx edrx 6933 Mar 20 23:24 2020luatex-catcodes.tex.html -rw-r--r-- 2 edrx edrx 101801 May 19 2020 2020macdonaldsobral.pdf -rw-r--r-- 1 edrx edrx 11315 May 20 2020 2020macdonaldsobral.tex -rw-r--r-- 1 edrx edrx 16735 Mar 20 23:24 2020macdonaldsobral.tex.html -rw-r--r-- 2 edrx edrx 268911 Mar 20 2021 2020maclane-moerdijk.pdf -rw-r--r-- 1 edrx edrx 52500 Jul 5 2021 2020maclane-moerdijk.tex -rw-r--r-- 1 edrx edrx 66813 Mar 20 23:24 2020maclane-moerdijk.tex.html -rw-r--r-- 1 edrx edrx 1876 May 1 2020 2020mathabx.tex -rw-r--r-- 1 edrx edrx 3392 Mar 20 23:24 2020mathabx.tex.html -rw-r--r-- 2 edrx edrx 150027 Sep 9 2020 2020mclarty.pdf -rw-r--r-- 1 edrx edrx 25712 Oct 25 2020 2020mclarty.tex -rw-r--r-- 1 edrx edrx 32476 Mar 20 23:24 2020mclarty.tex.html -rw-r--r-- 1 edrx edrx 3854 May 22 2020 2020notes-on-notation.tex -rw-r--r-- 1 edrx edrx 6834 Mar 20 23:24 2020notes-on-notation.tex.html -rw-r--r-- 2 edrx edrx 370846 May 28 2020 2020notes-yoneda.pdf -rw-r--r-- 1 edrx edrx 115396 Jun 17 2020 2020notes-yoneda.tex -rw-r--r-- 1 edrx edrx 156691 Mar 20 23:24 2020notes-yoneda.tex.html -rw-r--r-- 1 edrx edrx 2393 Apr 13 2020 2020on-a-broken-dnc.bib -rw-r--r-- 1 edrx edrx 4221 Mar 20 23:24 2020on-a-broken-dnc.bib.html -rw-r--r-- 1 edrx edrx 23359 May 16 2020 2020on-a-broken-dnc.tex -rw-r--r-- 1 edrx edrx 31920 Mar 20 23:24 2020on-a-broken-dnc.tex.html -rw-r--r-- 1 edrx edrx 3673 Aug 22 2020 2020prawitz.tex -rw-r--r-- 1 edrx edrx 7775 Mar 20 23:24 2020prawitz.tex.html -rw-r--r-- 1 edrx edrx 6918 Mar 21 2020 2020pullback-lemmas.tex -rw-r--r-- 1 edrx edrx 10816 Mar 20 23:24 2020pullback-lemmas.tex.html -rw-r--r-- 1 edrx edrx 3398 Dec 16 2020 2020pythontex.tex -rw-r--r-- 1 edrx edrx 6883 Mar 20 23:24 2020pythontex.tex.html -rw-r--r-- 1 edrx edrx 2394 Dec 19 2020 2020quiver.tex -rw-r--r-- 1 edrx edrx 5240 Mar 20 23:24 2020quiver.tex.html -rw-r--r-- 1 edrx edrx 2145 May 18 2020 2020quotient-types.tex -rw-r--r-- 1 edrx edrx 4822 Mar 20 23:24 2020quotient-types.tex.html -rw-r--r-- 2 edrx edrx 218781 Jul 16 2020 2020riehl.pdf -rw-r--r-- 1 edrx edrx 21890 Aug 3 2020 2020riehl.tex -rw-r--r-- 1 edrx edrx 29825 Mar 20 23:24 2020riehl.tex.html -rw-r--r-- 2 edrx edrx 113526 Jul 9 2020 2020riehl.tgz -rw-r--r-- 2 edrx edrx 123590 Aug 4 2020 2020seelyhyp-poster.pdf -rw-r--r-- 1 edrx edrx 18785 Aug 5 2020 2020seelyhyp-poster.tex -rw-r--r-- 1 edrx edrx 24090 Mar 20 23:24 2020seelyhyp-poster.tex.html -rw-r--r-- 2 edrx edrx 290629 Sep 5 2020 2020seelyhyp.pdf -rw-r--r-- 1 edrx edrx 65491 Sep 5 2020 2020seelyhyp.tex -rw-r--r-- 1 edrx edrx 82795 Mar 20 23:24 2020seelyhyp.tex.html -rw-r--r-- 2 edrx edrx 120977 Jul 9 2020 2020seelyhyp.tgz -rw-r--r-- 1 edrx edrx 10635 May 19 2020 2020seelylccc.tex -rw-r--r-- 1 edrx edrx 14528 Mar 20 23:24 2020seelylccc.tex.html -rw-r--r-- 1 edrx edrx 7501 Aug 15 2020 2020seelyplc.tex -rw-r--r-- 1 edrx edrx 11508 Mar 20 23:24 2020seelyplc.tex.html -rw-r--r-- 2 edrx edrx 189461 Jul 22 2020 2020sheaves.pdf -rw-r--r-- 1 edrx edrx 26041 Jul 25 2020 2020sheaves.tex -rw-r--r-- 1 edrx edrx 34844 Mar 20 23:24 2020sheaves.tex.html -rw-r--r-- 1 edrx edrx 3106 Feb 21 2020 2020tallinn-abstract.bib -rw-r--r-- 1 edrx edrx 6140 Mar 20 23:24 2020tallinn-abstract.bib.html -rw-r--r-- 2 edrx edrx 240762 Feb 7 2020 2020tallinn-abstract.pdf -rw-r--r-- 1 edrx edrx 17633 Feb 21 2020 2020tallinn-abstract.tex -rw-r--r-- 1 edrx edrx 25457 Mar 20 23:24 2020tallinn-abstract.tex.html -rw-r--r-- 1 edrx edrx 8196 Nov 4 2020 2020thermidor.tex -rw-r--r-- 1 edrx edrx 11664 Mar 20 23:24 2020thermidor.tex.html -rw-r--r-- 1 edrx edrx 1985 Feb 21 2020 2020tikz-test.tex -rw-r--r-- 1 edrx edrx 4696 Mar 20 23:24 2020tikz-test.tex.html -rw-r--r-- 1 edrx edrx 8494 Sep 19 2020 2020topostheory.tex -rw-r--r-- 1 edrx edrx 12359 Mar 20 23:24 2020topostheory.tex.html -rw-r--r-- 2 edrx edrx 82456 Aug 12 2021 2021-1-C2-MT1.pdf -rw-r--r-- 1 edrx edrx 12035 Feb 8 2022 2021-1-C2-MT1.tex -rw-r--r-- 1 edrx edrx 19450 Mar 20 23:24 2021-1-C2-MT1.tex.html -rw-r--r-- 2 edrx edrx 85744 Aug 19 2021 2021-1-C2-MT2.pdf -rw-r--r-- 1 edrx edrx 11649 Feb 8 2022 2021-1-C2-MT2.tex -rw-r--r-- 1 edrx edrx 19091 Mar 20 23:24 2021-1-C2-MT2.tex.html -rw-r--r-- 2 edrx edrx 158072 Sep 9 2021 2021-1-C2-P1.pdf -rw-r--r-- 1 edrx edrx 23552 Feb 8 2022 2021-1-C2-P1.tex -rw-r--r-- 1 edrx edrx 35502 Mar 20 23:24 2021-1-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 193653 Sep 20 2021 2021-1-C2-P2.pdf -rw-r--r-- 1 edrx edrx 22558 Feb 8 2022 2021-1-C2-P2.tex -rw-r--r-- 1 edrx edrx 34327 Mar 20 23:24 2021-1-C2-P2.tex.html -rw-r--r-- 1 edrx edrx 19567 Feb 8 2022 2021-1-C2-coisas-antigas.tex -rw-r--r-- 1 edrx edrx 27198 Mar 20 23:24 2021-1-C2-coisas-antigas.tex.html -rw-r--r-- 2 edrx edrx 123244 Sep 3 2021 2021-1-C2-contas-em-C2.pdf -rw-r--r-- 1 edrx edrx 14001 Feb 8 2022 2021-1-C2-contas-em-C2.tex -rw-r--r-- 1 edrx edrx 22669 Mar 20 23:24 2021-1-C2-contas-em-C2.tex.html -rw-r--r-- 1 edrx edrx 14759 Jun 8 2022 2021-1-C2-critical-points.lua -rw-r--r-- 1 edrx edrx 23356 Mar 20 23:24 2021-1-C2-critical-points.lua.html -rw-r--r-- 2 edrx edrx 199606 Jul 19 2022 2021-1-C2-edovs.pdf -rw-r--r-- 1 edrx edrx 24084 Jul 20 2022 2021-1-C2-edovs.tex -rw-r--r-- 1 edrx edrx 36800 Mar 20 23:24 2021-1-C2-edovs.tex.html -rw-r--r-- 1 edrx edrx 14936 Feb 8 2022 2021-1-C2-funcoes-conjs-infinitos.tex -rw-r--r-- 1 edrx edrx 20472 Mar 20 23:24 2021-1-C2-funcoes-conjs-infinitos.tex.html -rw-r--r-- 2 edrx edrx 168515 Sep 2 2021 2021-1-C2-int-subst.pdf -rw-r--r-- 1 edrx edrx 30506 Mar 29 2022 2021-1-C2-int-subst.tex -rw-r--r-- 1 edrx edrx 44372 Mar 20 23:24 2021-1-C2-int-subst.tex.html -rw-r--r-- 1 edrx edrx 10295 Feb 8 2022 2021-1-C2-integrais-escadas.tex -rw-r--r-- 1 edrx edrx 15765 Mar 20 23:24 2021-1-C2-integrais-escadas.tex.html -rw-r--r-- 2 edrx edrx 32744 Jul 22 2021 2021-1-C2-integral-figuras.pdf -rw-r--r-- 1 edrx edrx 9714 Feb 8 2022 2021-1-C2-integral-figuras.tex -rw-r--r-- 1 edrx edrx 16187 Mar 20 23:24 2021-1-C2-integral-figuras.tex.html -rw-r--r-- 2 edrx edrx 99128 Jun 16 2021 2021-1-C2-intro.pdf -rw-r--r-- 1 edrx edrx 14735 Nov 18 2021 2021-1-C2-intro.tex -rw-r--r-- 1 edrx edrx 21761 Mar 20 23:24 2021-1-C2-intro.tex.html -rw-r--r-- 2 edrx edrx 148335 Aug 20 2021 2021-1-C2-os-dois-TFCs.pdf -rw-r--r-- 1 edrx edrx 19062 Jul 13 2022 2021-1-C2-os-dois-TFCs.tex -rw-r--r-- 1 edrx edrx 29573 Mar 20 23:24 2021-1-C2-os-dois-TFCs.tex.html -rw-r--r-- 2 edrx edrx 202681 Oct 5 15:28 2021-1-C2-propriedades-da-integral.pdf -rw-r--r-- 1 edrx edrx 44373 Jul 13 2022 2021-1-C2-propriedades-da-integral.tex -rw-r--r-- 1 edrx edrx 66014 Mar 20 23:24 2021-1-C2-propriedades-da-integral.tex.html -rw-r--r-- 2 edrx edrx 38856 Jul 21 2021 2021-1-C2-somas-1-dicas.pdf -rw-r--r-- 1 edrx edrx 16809 Feb 16 00:34 2021-1-C2-somas-1-dicas.tex -rw-r--r-- 1 edrx edrx 30124 Mar 20 23:24 2021-1-C2-somas-1-dicas.tex.html -rw-r--r-- 2 edrx edrx 153017 Jun 24 2021 2021-1-C2-somas-1.pdf -rw-r--r-- 1 edrx edrx 21624 Mar 10 05:34 2021-1-C2-somas-1.tex -rw-r--r-- 1 edrx edrx 33657 Mar 20 23:24 2021-1-C2-somas-1.tex.html -rw-r--r-- 2 edrx edrx 145096 Jul 22 2021 2021-1-C2-somas-2-4.pdf -rw-r--r-- 1 edrx edrx 30020 Feb 8 2022 2021-1-C2-somas-2-4.tex -rw-r--r-- 1 edrx edrx 42602 Mar 20 23:24 2021-1-C2-somas-2-4.tex.html -rw-r--r-- 2 edrx edrx 275051 Jul 28 2021 2021-1-C2-somas-2.pdf -rw-r--r-- 1 edrx edrx 55417 Jul 3 2022 2021-1-C2-somas-2.tex -rw-r--r-- 1 edrx edrx 79844 Mar 20 23:24 2021-1-C2-somas-2.tex.html -rw-r--r-- 2 edrx edrx 153293 Aug 25 2021 2021-1-C2-subst.pdf -rw-r--r-- 1 edrx edrx 34278 Feb 8 2022 2021-1-C2-subst.tex -rw-r--r-- 1 edrx edrx 50454 Mar 20 23:24 2021-1-C2-subst.tex.html -rw-r--r-- 2 edrx edrx 2434001 Jul 1 2022 2021-1-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 5548 Dec 13 00:32 2021-1-C2-tudo.tex -rw-r--r-- 1 edrx edrx 10444 Mar 20 23:24 2021-1-C2-tudo.tex.html -rw-r--r-- 1 edrx edrx 8789 Mar 11 03:24 2021-1-C3-3D.lua -rw-r--r-- 1 edrx edrx 13101 Mar 20 23:24 2021-1-C3-3D.lua.html -rw-r--r-- 2 edrx edrx 79228 Jul 23 2021 2021-1-C3-MT1.pdf -rw-r--r-- 1 edrx edrx 11523 Jul 23 2021 2021-1-C3-MT1.tex -rw-r--r-- 1 edrx edrx 18286 Mar 20 23:24 2021-1-C3-MT1.tex.html -rw-r--r-- 2 edrx edrx 94898 Sep 1 2021 2021-1-C3-MT2.pdf -rw-r--r-- 1 edrx edrx 11179 Sep 1 2021 2021-1-C3-MT2.tex -rw-r--r-- 1 edrx edrx 17125 Mar 20 23:24 2021-1-C3-MT2.tex.html -rw-r--r-- 2 edrx edrx 120910 Sep 15 2021 2021-1-C3-P1.pdf -rw-r--r-- 1 edrx edrx 13317 Sep 24 2021 2021-1-C3-P1.tex -rw-r--r-- 1 edrx edrx 21893 Mar 20 23:24 2021-1-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 126954 Sep 20 2021 2021-1-C3-P2.pdf -rw-r--r-- 1 edrx edrx 21490 Sep 20 2021 2021-1-C3-P2.tex -rw-r--r-- 1 edrx edrx 33146 Mar 20 23:24 2021-1-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 135998 Sep 16 2021 2021-1-C3-abertos-e-fechados.pdf -rw-r--r-- 1 edrx edrx 18091 Nov 16 09:04 2021-1-C3-abertos-e-fechados.tex -rw-r--r-- 1 edrx edrx 28366 Mar 20 23:24 2021-1-C3-abertos-e-fechados.tex.html -rw-r--r-- 2 edrx edrx 47649 Jul 14 2021 2021-1-C3-cortes.pdf -rw-r--r-- 1 edrx edrx 7825 Jul 14 2021 2021-1-C3-cortes.tex -rw-r--r-- 1 edrx edrx 13300 Mar 20 23:24 2021-1-C3-cortes.tex.html -rw-r--r-- 2 edrx edrx 101046 Jul 16 2021 2021-1-C3-curvas-de-nivel.pdf -rw-r--r-- 1 edrx edrx 19692 Jan 5 2022 2021-1-C3-curvas-de-nivel.tex -rw-r--r-- 1 edrx edrx 33021 Mar 20 23:24 2021-1-C3-curvas-de-nivel.tex.html -rw-r--r-- 2 edrx edrx 113548 Jul 28 2021 2021-1-C3-derivadas-parciais.pdf -rw-r--r-- 1 edrx edrx 15583 Oct 4 18:57 2021-1-C3-derivadas-parciais.tex -rw-r--r-- 1 edrx edrx 25178 Mar 20 23:24 2021-1-C3-derivadas-parciais.tex.html -rw-r--r-- 2 edrx edrx 160806 Aug 20 2021 2021-1-C3-funcoes-quadraticas.pdf -rw-r--r-- 1 edrx edrx 38783 Nov 25 07:21 2021-1-C3-funcoes-quadraticas.tex -rw-r--r-- 1 edrx edrx 56519 Mar 20 23:24 2021-1-C3-funcoes-quadraticas.tex.html -rw-r--r-- 2 edrx edrx 87476 Sep 3 2021 2021-1-C3-gradiente.pdf -rw-r--r-- 1 edrx edrx 11887 Nov 8 09:25 2021-1-C3-gradiente.tex -rw-r--r-- 1 edrx edrx 19494 Mar 20 23:24 2021-1-C3-gradiente.tex.html -rw-r--r-- 2 edrx edrx 89575 Jun 18 2021 2021-1-C3-intro.pdf -rw-r--r-- 1 edrx edrx 13317 Oct 29 2021 2021-1-C3-intro.tex -rw-r--r-- 1 edrx edrx 21092 Mar 20 23:24 2021-1-C3-intro.tex.html -rw-r--r-- 2 edrx edrx 237653 Nov 9 09:57 2021-1-C3-matriz-jacobiana.pdf -rw-r--r-- 1 edrx edrx 13499 Nov 9 09:57 2021-1-C3-matriz-jacobiana.tex -rw-r--r-- 1 edrx edrx 21653 Mar 20 23:24 2021-1-C3-matriz-jacobiana.tex.html -rw-r--r-- 2 edrx edrx 177529 Aug 6 2021 2021-1-C3-notacao-de-fisicos.pdf -rw-r--r-- 1 edrx edrx 29700 Nov 24 2021 2021-1-C3-notacao-de-fisicos.tex -rw-r--r-- 1 edrx edrx 45290 Mar 20 23:24 2021-1-C3-notacao-de-fisicos.tex.html -rw-r--r-- 2 edrx edrx 102858 Jul 21 2021 2021-1-C3-planos.pdf -rw-r--r-- 1 edrx edrx 9934 Jul 21 2021 2021-1-C3-planos.tex -rw-r--r-- 1 edrx edrx 15396 Mar 20 23:24 2021-1-C3-planos.tex.html -rw-r--r-- 2 edrx edrx 164087 Jul 7 2021 2021-1-C3-taylor.pdf -rw-r--r-- 1 edrx edrx 22876 Jan 18 2022 2021-1-C3-taylor.tex -rw-r--r-- 1 edrx edrx 35636 Mar 20 23:24 2021-1-C3-taylor.tex.html -rw-r--r-- 2 edrx edrx 2178367 Jul 6 2022 2021-1-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 6579 Oct 4 18:51 2021-1-C3-tudo.tex -rw-r--r-- 1 edrx edrx 11657 Mar 20 23:24 2021-1-C3-tudo.tex.html -rw-r--r-- 2 edrx edrx 91442 Jun 18 2021 2021-1-C3-vetor-tangente.pdf -rw-r--r-- 1 edrx edrx 13531 Jul 2 2021 2021-1-C3-vetor-tangente.tex -rw-r--r-- 1 edrx edrx 21411 Mar 20 23:24 2021-1-C3-vetor-tangente.tex.html -rw-r--r-- 2 edrx edrx 104863 Jun 25 2021 2021-1-C3-visualizar-limites.pdf -rw-r--r-- 1 edrx edrx 13710 Nov 19 2021 2021-1-C3-visualizar-limites.tex -rw-r--r-- 1 edrx edrx 21787 Mar 20 23:24 2021-1-C3-visualizar-limites.tex.html -rw-r--r-- 1 edrx edrx 6712 Oct 22 2021 2021-1-CN-template.tex -rw-r--r-- 1 edrx edrx 11874 Mar 20 23:24 2021-1-CN-template.tex.html -rw-r--r-- 2 edrx edrx 123100 Nov 19 2021 2021-2-C2-MT1.pdf -rw-r--r-- 1 edrx edrx 9068 Feb 8 2022 2021-2-C2-MT1.tex -rw-r--r-- 1 edrx edrx 15341 Mar 20 23:24 2021-2-C2-MT1.tex.html -rw-r--r-- 1 edrx edrx 16450 Feb 22 2022 2021-2-C2-MT2.lua -rw-r--r-- 1 edrx edrx 18304 Mar 20 23:24 2021-2-C2-MT2.lua.html -rw-r--r-- 2 edrx edrx 126243 Nov 26 2021 2021-2-C2-MT2.pdf -rw-r--r-- 1 edrx edrx 15678 Feb 22 2022 2021-2-C2-MT2.tex -rw-r--r-- 1 edrx edrx 24037 Mar 20 23:24 2021-2-C2-MT2.tex.html -rw-r--r-- 2 edrx edrx 66227 Jan 8 2022 2021-2-C2-MT3.pdf -rw-r--r-- 1 edrx edrx 10263 Feb 8 2022 2021-2-C2-MT3.tex -rw-r--r-- 1 edrx edrx 17789 Mar 20 23:24 2021-2-C2-MT3.tex.html -rw-r--r-- 2 edrx edrx 139177 Feb 3 2022 2021-2-C2-P1.pdf -rw-r--r-- 1 edrx edrx 19960 Feb 8 2022 2021-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 29225 Mar 20 23:24 2021-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 135082 Feb 7 2022 2021-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 21878 Feb 10 2022 2021-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 33558 Mar 20 23:24 2021-2-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 157105 Jan 7 2022 2021-2-C2-TFC1.pdf -rw-r--r-- 1 edrx edrx 24812 Jun 21 2022 2021-2-C2-TFC1.tex -rw-r--r-- 1 edrx edrx 36418 Mar 20 23:24 2021-2-C2-TFC1.tex.html -rw-r--r-- 2 edrx edrx 85414 Feb 24 2022 2021-2-C2-VS.pdf -rw-r--r-- 1 edrx edrx 9560 Feb 24 2022 2021-2-C2-VS.tex -rw-r--r-- 1 edrx edrx 16376 Mar 20 23:24 2021-2-C2-VS.tex.html -rw-r--r-- 1 edrx edrx 2195 Dec 21 2021 2021-2-C2-def-integral.lua -rw-r--r-- 1 edrx edrx 3814 Mar 20 23:24 2021-2-C2-def-integral.lua.html -rw-r--r-- 2 edrx edrx 146117 Dec 22 2021 2021-2-C2-def-integral.pdf -rw-r--r-- 1 edrx edrx 25168 Jun 12 2022 2021-2-C2-def-integral.tex -rw-r--r-- 1 edrx edrx 38716 Mar 20 23:24 2021-2-C2-def-integral.tex.html -rw-r--r-- 2 edrx edrx 197013 Jan 27 2022 2021-2-C2-edovs.pdf -rw-r--r-- 1 edrx edrx 21786 Feb 8 2022 2021-2-C2-edovs.tex -rw-r--r-- 1 edrx edrx 33789 Mar 20 23:24 2021-2-C2-edovs.tex.html -rw-r--r-- 2 edrx edrx 157771 Feb 23 2022 2021-2-C2-fracoes-parciais.pdf -rw-r--r-- 1 edrx edrx 17407 Jul 14 2022 2021-2-C2-fracoes-parciais.tex -rw-r--r-- 1 edrx edrx 28899 Mar 20 23:24 2021-2-C2-fracoes-parciais.tex.html -rw-r--r-- 2 edrx edrx 142684 Dec 17 2021 2021-2-C2-infs-e-sups.pdf -rw-r--r-- 1 edrx edrx 24245 Jul 3 2022 2021-2-C2-infs-e-sups.tex -rw-r--r-- 1 edrx edrx 35097 Mar 20 23:24 2021-2-C2-infs-e-sups.tex.html -rw-r--r-- 2 edrx edrx 215632 Jan 21 2022 2021-2-C2-int-subst.pdf -rw-r--r-- 1 edrx edrx 47982 Jul 4 2022 2021-2-C2-int-subst.tex -rw-r--r-- 1 edrx edrx 64173 Mar 20 23:24 2021-2-C2-int-subst.tex.html -rw-r--r-- 2 edrx edrx 233917 Nov 4 2021 2021-2-C2-intro.pdf -rw-r--r-- 1 edrx edrx 46704 Jul 10 2022 2021-2-C2-intro.tex -rw-r--r-- 1 edrx edrx 60666 Mar 20 23:24 2021-2-C2-intro.tex.html -rw-r--r-- 2 edrx edrx 147011 Jan 26 2022 2021-2-C2-mud-var-gamb.pdf -rw-r--r-- 1 edrx edrx 14510 Feb 8 2022 2021-2-C2-mud-var-gamb.tex -rw-r--r-- 1 edrx edrx 22737 Mar 20 23:24 2021-2-C2-mud-var-gamb.tex.html -rw-r--r-- 1 edrx edrx 11046 Feb 8 2022 2021-2-C2-props-int.tex -rw-r--r-- 1 edrx edrx 16838 Mar 20 23:24 2021-2-C2-props-int.tex.html -rw-r--r-- 2 edrx edrx 76273 Feb 3 2022 2021-2-C2-revisao-pra-P2.pdf -rw-r--r-- 1 edrx edrx 9375 Feb 8 2022 2021-2-C2-revisao-pra-P2.tex -rw-r--r-- 1 edrx edrx 16443 Mar 20 23:24 2021-2-C2-revisao-pra-P2.tex.html -rw-r--r-- 2 edrx edrx 182894 May 12 2022 2021-2-C2-somas-1.pdf -rw-r--r-- 1 edrx edrx 25082 Jun 13 2022 2021-2-C2-somas-1.tex -rw-r--r-- 1 edrx edrx 37700 Mar 20 23:24 2021-2-C2-somas-1.tex.html -rw-r--r-- 2 edrx edrx 145107 Dec 9 2021 2021-2-C2-somas-2-4.pdf -rw-r--r-- 1 edrx edrx 29904 May 19 2022 2021-2-C2-somas-2-4.tex -rw-r--r-- 1 edrx edrx 43078 Mar 20 23:24 2021-2-C2-somas-2-4.tex.html -rw-r--r-- 2 edrx edrx 294651 Oct 26 15:42 2021-2-C2-somas-2.pdf -rw-r--r-- 1 edrx edrx 64128 Oct 13 05:09 2021-2-C2-somas-2.tex -rw-r--r-- 1 edrx edrx 91258 Mar 20 23:24 2021-2-C2-somas-2.tex.html -rwxr-xr-x 1 edrx edrx 1832 Jan 5 2022 2021-2-C2-tudo.gnumake* -rw-r--r-- 1 edrx edrx 4295 Mar 20 23:24 2021-2-C2-tudo.gnumake.html -rw-r--r-- 2 edrx edrx 2890596 Feb 24 2022 2021-2-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 6471 Jul 10 2022 2021-2-C2-tudo.tex -rw-r--r-- 1 edrx edrx 10879 Mar 20 23:24 2021-2-C2-tudo.tex.html -rw-r--r-- 2 edrx edrx 62178 Nov 12 2021 2021-2-C3-MT1.pdf -rw-r--r-- 1 edrx edrx 12936 Dec 7 2021 2021-2-C3-MT1.tex -rw-r--r-- 1 edrx edrx 20322 Mar 20 23:24 2021-2-C3-MT1.tex.html -rw-r--r-- 2 edrx edrx 62711 Jan 12 2022 2021-2-C3-MT2.pdf -rw-r--r-- 1 edrx edrx 13255 Jul 6 2022 2021-2-C3-MT2.tex -rw-r--r-- 1 edrx edrx 23156 Mar 20 23:24 2021-2-C3-MT2.tex.html -rw-r--r-- 2 edrx edrx 99726 Jan 22 2022 2021-2-C3-P1.pdf -rw-r--r-- 1 edrx edrx 13874 Feb 23 2022 2021-2-C3-P1.tex -rw-r--r-- 1 edrx edrx 22701 Mar 20 23:24 2021-2-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 64462 Feb 2 2022 2021-2-C3-P2.pdf -rw-r--r-- 1 edrx edrx 9578 Nov 24 22:03 2021-2-C3-P2.tex -rw-r--r-- 1 edrx edrx 16808 Mar 20 23:24 2021-2-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 58028 Feb 11 2022 2021-2-C3-VS.pdf -rw-r--r-- 1 edrx edrx 9284 Feb 13 2022 2021-2-C3-VS.tex -rw-r--r-- 1 edrx edrx 15742 Mar 20 23:24 2021-2-C3-VS.tex.html -rw-r--r-- 2 edrx edrx 328955 Nov 17 2021 2021-2-C3-bezier.pdf -rw-r--r-- 1 edrx edrx 22619 Mar 6 20:58 2021-2-C3-bezier.tex -rw-r--r-- 1 edrx edrx 31824 Mar 20 23:24 2021-2-C3-bezier.tex.html -rw-r--r-- 1 edrx edrx 2891 Jan 15 2022 2021-2-C3-diag-nums.gnuplot -rw-r--r-- 1 edrx edrx 4186 Mar 20 23:24 2021-2-C3-diag-nums.gnuplot.html -rw-r--r-- 1 edrx edrx 2613 May 28 2022 2021-2-C3-diag-nums.lua -rw-r--r-- 1 edrx edrx 3886 Mar 20 23:24 2021-2-C3-diag-nums.lua.html -rw-r--r-- 2 edrx edrx 118760 Jan 7 2022 2021-2-C3-diag-nums.pdf -rw-r--r-- 1 edrx edrx 26911 Dec 6 12:50 2021-2-C3-diag-nums.tex -rw-r--r-- 1 edrx edrx 44149 Mar 20 23:24 2021-2-C3-diag-nums.tex.html -rw-r--r-- 2 edrx edrx 62213 Feb 2 2022 2021-2-C3-funcoes-homogeneas.pdf -rw-r--r-- 1 edrx edrx 10286 Nov 24 22:02 2021-2-C3-funcoes-homogeneas.tex -rw-r--r-- 1 edrx edrx 17917 Mar 20 23:24 2021-2-C3-funcoes-homogeneas.tex.html -rw-r--r-- 1 edrx edrx 33256 Jun 22 2022 2021-2-C3-funcoes-quadraticas.tex -rw-r--r-- 1 edrx edrx 48493 Mar 20 23:24 2021-2-C3-funcoes-quadraticas.tex.html -rw-r--r-- 2 edrx edrx 99087 Nov 3 2021 2021-2-C3-intro.pdf -rw-r--r-- 1 edrx edrx 17827 Aug 26 2022 2021-2-C3-intro.tex -rw-r--r-- 1 edrx edrx 26146 Mar 20 23:24 2021-2-C3-intro.tex.html -rw-r--r-- 2 edrx edrx 294540 Jan 2 2022 2021-2-C3-notacao-de-fisicos.pdf -rw-r--r-- 1 edrx edrx 42946 May 31 2022 2021-2-C3-notacao-de-fisicos.tex -rw-r--r-- 1 edrx edrx 66003 Mar 20 23:24 2021-2-C3-notacao-de-fisicos.tex.html -rw-r--r-- 2 edrx edrx 79808 Jan 28 2022 2021-2-C3-taylor-R2.pdf -rw-r--r-- 1 edrx edrx 9819 Jan 28 2022 2021-2-C3-taylor-R2.tex -rw-r--r-- 1 edrx edrx 16581 Mar 20 23:24 2021-2-C3-taylor-R2.tex.html -rw-r--r-- 2 edrx edrx 181966 Jan 21 2022 2021-2-C3-taylor.pdf -rw-r--r-- 1 edrx edrx 21715 Apr 21 2022 2021-2-C3-taylor.tex -rw-r--r-- 1 edrx edrx 32435 Mar 20 23:24 2021-2-C3-taylor.tex.html -rw-r--r-- 2 edrx edrx 110599 Nov 19 2021 2021-2-C3-tipos.pdf -rw-r--r-- 1 edrx edrx 18138 Sep 2 2022 2021-2-C3-tipos.tex -rw-r--r-- 1 edrx edrx 27845 Mar 20 23:24 2021-2-C3-tipos.tex.html -rw-r--r-- 2 edrx edrx 1703516 Feb 11 2022 2021-2-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 5647 Oct 4 18:58 2021-2-C3-tudo.tex -rw-r--r-- 1 edrx edrx 9814 Mar 20 23:24 2021-2-C3-tudo.tex.html -rw-r--r-- 2 edrx edrx 98323 Nov 5 2021 2021-2-C3-vetor-tangente.pdf -rw-r--r-- 1 edrx edrx 14373 Nov 12 2021 2021-2-C3-vetor-tangente.tex -rw-r--r-- 1 edrx edrx 22777 Mar 20 23:24 2021-2-C3-vetor-tangente.tex.html -rw-r--r-- 1 edrx edrx 6421 May 24 2022 2021-2-CN-template.tex -rw-r--r-- 1 edrx edrx 12107 Mar 20 23:24 2021-2-CN-template.tex.html -rw-r--r-- 1 edrx edrx 3562 Dec 27 2021 2021-deptypes-for-children.tex -rw-r--r-- 1 edrx edrx 7093 Mar 20 23:24 2021-deptypes-for-children.tex.html -rw-r--r-- 1 edrx edrx 7683 Dec 2 2021 2021-plano-remoto-C2.tex -rw-r--r-- 1 edrx edrx 10786 Mar 20 23:24 2021-plano-remoto-C2.tex.html -rw-r--r-- 2 edrx edrx 34253 Nov 30 2021 2021-plano-remoto-C3.pdf -rw-r--r-- 1 edrx edrx 4919 Nov 30 2021 2021-plano-remoto-C3.tex -rw-r--r-- 1 edrx edrx 7158 Mar 20 23:24 2021-plano-remoto-C3.tex.html -rw-r--r-- 1 edrx edrx 9343 Mar 3 2021 2021-rad2020.tex -rw-r--r-- 1 edrx edrx 13560 Mar 20 23:24 2021-rad2020.tex.html -rw-r--r-- 1 edrx edrx 9145 Jun 13 2021 2021ArtDecoN.tex -rw-r--r-- 1 edrx edrx 14225 Mar 20 23:24 2021ArtDecoN.tex.html -rw-r--r-- 2 edrx edrx 46117 Sep 29 2021 2021burghardt.pdf -rw-r--r-- 1 edrx edrx 8118 Oct 21 2021 2021burghardt.tex -rw-r--r-- 1 edrx edrx 13563 Mar 20 23:24 2021burghardt.tex.html -rw-r--r-- 2 edrx edrx 107317 Sep 29 2021 2021burghardt.tgz -rw-r--r-- 1 edrx edrx 3586 Dec 11 2021 2021composes-hash.tex -rw-r--r-- 1 edrx edrx 7005 Mar 20 23:24 2021composes-hash.tex.html -rw-r--r-- 2 edrx edrx 7202 Dec 11 2021 2021composes-hash.zip -rw-r--r-- 1 edrx edrx 4110 Mar 8 2021 2021dn6-error-handling.lua -rw-r--r-- 1 edrx edrx 7797 Mar 20 23:24 2021dn6-error-handling.lua.html -rw-r--r-- 2 edrx edrx 1001678 Nov 22 2021 2021emacsconf.pdf -rw-r--r-- 1 edrx edrx 11394 Nov 22 2021 2021emacsconf.tex -rw-r--r-- 1 edrx edrx 18307 Mar 20 23:24 2021emacsconf.tex.html -rw-r--r-- 2 edrx edrx 487147 Nov 3 2021 2021emacsconf.tgz -rw-r--r-- 2 edrx edrx 499899 Nov 3 2021 2021emacsconf.zip -rw-r--r-- 2 edrx edrx 35271 Jan 19 2021 2021excuse-abs.pdf -rw-r--r-- 1 edrx edrx 6216 Jan 19 2021 2021excuse-abs.tex -rw-r--r-- 1 edrx edrx 9761 Mar 20 23:24 2021excuse-abs.tex.html -rw-r--r-- 1 edrx edrx 6848 Jan 24 2021 2021excuse.lua -rw-r--r-- 1 edrx edrx 10532 Mar 20 23:24 2021excuse.lua.html -rw-r--r-- 2 edrx edrx 446464 Feb 16 2021 2021excuse.pdf -rw-r--r-- 1 edrx edrx 69830 Sep 11 2022 2021excuse.tex -rw-r--r-- 1 edrx edrx 94623 Mar 20 23:24 2021excuse.tex.html -rw-r--r-- 2 edrx edrx 232313 Jan 27 2021 2021excuse.tgz -rw-r--r-- 1 edrx edrx 7337 Oct 22 2021 2021fitch-old.lua -rw-r--r-- 1 edrx edrx 8638 Mar 20 23:24 2021fitch-old.lua.html -rw-r--r-- 1 edrx edrx 6548 Oct 24 2021 2021fitch.lua -rw-r--r-- 1 edrx edrx 10103 Mar 20 23:24 2021fitch.lua.html -rw-r--r-- 2 edrx edrx 65125 Mar 24 2022 2021fitch.pdf -rw-r--r-- 1 edrx edrx 5174 Oct 24 2021 2021fitch.tex -rw-r--r-- 1 edrx edrx 8795 Mar 20 23:24 2021fitch.tex.html -rw-r--r-- 2 edrx edrx 131857 May 20 2021 2021groth-tops-children-slides.pdf -rw-r--r-- 1 edrx edrx 37276 Jul 4 2021 2021groth-tops-children-slides.tex -rw-r--r-- 1 edrx edrx 48836 Mar 20 23:24 2021groth-tops-children-slides.tex.html -rw-r--r-- 1 edrx edrx 5346 May 9 2021 2021groth-tops-children.lua -rw-r--r-- 1 edrx edrx 8080 Mar 20 23:24 2021groth-tops-children.lua.html -rw-r--r-- 2 edrx edrx 376225 May 20 2021 2021groth-tops-children.pdf -rw-r--r-- 1 edrx edrx 103922 Jun 13 2021 2021groth-tops-children.tex -rw-r--r-- 1 edrx edrx 122197 Mar 20 23:24 2021groth-tops-children.tex.html -rw-r--r-- 2 edrx edrx 148692 Apr 7 2021 2021groth-tops-children.tgz -rw-r--r-- 2 edrx edrx 150716 Mar 23 2021 2021groth-tops-children.zip -rw-r--r-- 1 edrx edrx 15786 Apr 4 2021 2021groth-tops-defs.tex -rw-r--r-- 1 edrx edrx 23835 Mar 20 23:24 2021groth-tops-defs.tex.html -rw-r--r-- 1 edrx edrx 4373 Jan 8 2021 2021haskell.tex -rw-r--r-- 1 edrx edrx 8239 Mar 20 23:24 2021haskell.tex.html -rw-r--r-- 2 edrx edrx 54008 Oct 14 2021 2021lean-nng.pdf -rw-r--r-- 1 edrx edrx 12823 Oct 22 2021 2021lean-nng.tex -rw-r--r-- 1 edrx edrx 19373 Mar 20 23:24 2021lean-nng.tex.html -rw-r--r-- 1 edrx edrx 5525 Oct 23 2021 2021lean.lua -rw-r--r-- 1 edrx edrx 10727 Mar 20 23:24 2021lean.lua.html -rw-r--r-- 2 edrx edrx 125007 Jul 11 2021 2021lindenhovius-j-to-X.pdf -rw-r--r-- 1 edrx edrx 14868 Dec 9 2021 2021lindenhovius-j-to-X.tex -rw-r--r-- 1 edrx edrx 21283 Mar 20 23:24 2021lindenhovius-j-to-X.tex.html -rw-r--r-- 1 edrx edrx 11006 Jul 11 2021 2021lindenhovius-june.tex -rw-r--r-- 1 edrx edrx 15222 Mar 20 23:24 2021lindenhovius-june.tex.html -rw-r--r-- 2 edrx edrx 2556102 Feb 2 2021 2021logicday.pdf -rw-r--r-- 1 edrx edrx 19530 Feb 2 2021 2021logicday.tex -rw-r--r-- 1 edrx edrx 28169 Mar 20 23:24 2021logicday.tex.html -rw-r--r-- 1 edrx edrx 6422 Jul 11 2021 2021other-bijections.tex -rw-r--r-- 1 edrx edrx 10239 Mar 20 23:24 2021other-bijections.tex.html -rw-r--r-- 1 edrx edrx 24654 Mar 11 03:34 2021pict2e.lua -rw-r--r-- 1 edrx edrx 35501 Mar 20 23:24 2021pict2e.lua.html -rw-r--r-- 1 edrx edrx 5032 Jan 19 2022 2021pict2e.tex -rw-r--r-- 1 edrx edrx 8384 Mar 20 23:24 2021pict2e.tex.html -rw-r--r-- 2 edrx edrx 344864 Aug 8 2021 2021planar-HAs-2.pdf -rw-r--r-- 1 edrx edrx 98872 Mar 10 2022 2021planar-HAs-2.tex -rw-r--r-- 1 edrx edrx 120194 Mar 20 23:24 2021planar-HAs-2.tex.html -rw-r--r-- 2 edrx edrx 144500 Aug 8 2021 2021planar-HAs-2.tgz -rw-r--r-- 1 edrx edrx 3550 Mar 2 2021 2021repl-pict.lua -rw-r--r-- 1 edrx edrx 6609 Mar 20 23:24 2021repl-pict.lua.html -rw-r--r-- 1 edrx edrx 2613 Mar 2 2021 2021repl-pict.tex -rw-r--r-- 1 edrx edrx 5472 Mar 20 23:24 2021repl-pict.tex.html -rw-r--r-- 2 edrx edrx 865798 Nov 8 2021 2021resposta-daniela.pdf -rw-r--r-- 1 edrx edrx 10197 Nov 10 2021 2021resposta-daniela.tex -rw-r--r-- 1 edrx edrx 13553 Mar 20 23:24 2021resposta-daniela.tex.html -rw-r--r-- 1 edrx edrx 136653 Nov 26 2021 2021rrj.tex -rw-r--r-- 1 edrx edrx 145029 Mar 20 23:24 2021rrj.tex.html -rw-r--r-- 2 edrx edrx 367545 Oct 15 2021 2021sgl.pdf -rw-r--r-- 1 edrx edrx 26902 Oct 22 2021 2021sgl.tex -rw-r--r-- 1 edrx edrx 35936 Mar 20 23:24 2021sgl.tex.html -rw-r--r-- 2 edrx edrx 288478 Oct 15 2021 2021sgl.tgz -rw-r--r-- 2 edrx edrx 263055 Oct 9 2021 2021sgl.zip -rw-r--r-- 1 edrx edrx 3114 Jan 29 2021 2021ski.tex -rw-r--r-- 1 edrx edrx 6445 Mar 20 23:24 2021ski.tex.html -rw-r--r-- 2 edrx edrx 213523 Jun 11 2021 2021sobre-aulas-por-telegram.pdf -rw-r--r-- 1 edrx edrx 35975 Mar 16 19:09 2021sobre-aulas-por-telegram.tex -rw-r--r-- 1 edrx edrx 49223 Mar 20 23:24 2021sobre-aulas-por-telegram.tex.html -rw-r--r-- 1 edrx edrx 2777 Oct 1 2021 2021standalone.tex -rw-r--r-- 1 edrx edrx 4611 Mar 20 23:24 2021standalone.tex.html -rw-r--r-- 1 edrx edrx 5267 Dec 25 2021 2021systemF.tex -rw-r--r-- 1 edrx edrx 9342 Mar 20 23:24 2021systemF.tex.html -rw-r--r-- 1 edrx edrx 4502 Jul 16 2022 2021verbatim.lua -rw-r--r-- 1 edrx edrx 7185 Mar 20 23:24 2021verbatim.lua.html -rw-r--r-- 1 edrx edrx 2791 Oct 24 2021 2021verbatim.tex -rw-r--r-- 1 edrx edrx 5532 Mar 20 23:24 2021verbatim.tex.html -rw-r--r-- 1 edrx edrx 10826 Jan 9 2022 2021yoneda.tex -rw-r--r-- 1 edrx edrx 14978 Mar 20 23:24 2021yoneda.tex.html -rw-r--r-- 1 edrx edrx 3758 Jul 24 2021 2021zhang.tex -rw-r--r-- 1 edrx edrx 8212 Mar 20 23:24 2021zhang.tex.html -rw-r--r-- 2 edrx edrx 69292 Jun 24 2022 2022-1-C2-MT1.pdf -rw-r--r-- 1 edrx edrx 9516 Jun 29 2022 2022-1-C2-MT1.tex -rw-r--r-- 1 edrx edrx 16745 Mar 20 23:24 2022-1-C2-MT1.tex.html -rw-r--r-- 2 edrx edrx 104680 Jul 18 2022 2022-1-C2-MT2.pdf -rw-r--r-- 1 edrx edrx 8881 Jul 18 2022 2022-1-C2-MT2.tex -rw-r--r-- 1 edrx edrx 16377 Mar 20 23:24 2022-1-C2-MT2.tex.html -rw-r--r-- 2 edrx edrx 146241 Jul 19 2022 2022-1-C2-P1.pdf -rw-r--r-- 1 edrx edrx 26143 Dec 16 16:33 2022-1-C2-P1.tex -rw-r--r-- 1 edrx edrx 37935 Mar 20 23:24 2022-1-C2-P1.tex.html -rw-r--r-- 1 edrx edrx 12533 Jul 30 2022 2022-1-C2-P2.lua -rw-r--r-- 1 edrx edrx 18938 Mar 20 23:24 2022-1-C2-P2.lua.html -rw-r--r-- 2 edrx edrx 171902 Jul 27 2022 2022-1-C2-P2.pdf -rw-r--r-- 1 edrx edrx 20785 Nov 17 09:57 2022-1-C2-P2.tex -rw-r--r-- 1 edrx edrx 32746 Mar 20 23:24 2022-1-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 215267 Jun 29 2022 2022-1-C2-TFC1.pdf -rw-r--r-- 1 edrx edrx 39280 Aug 25 2022 2022-1-C2-TFC1.tex -rw-r--r-- 1 edrx edrx 55185 Mar 20 23:24 2022-1-C2-TFC1.tex.html -rw-r--r-- 2 edrx edrx 126124 Nov 17 10:00 2022-1-C2-VR.pdf -rw-r--r-- 1 edrx edrx 16878 Jul 26 2022 2022-1-C2-VR.tex -rw-r--r-- 1 edrx edrx 25603 Mar 20 23:24 2022-1-C2-VR.tex.html -rw-r--r-- 2 edrx edrx 185457 Aug 2 2022 2022-1-C2-VSA.pdf -rw-r--r-- 1 edrx edrx 16855 Aug 2 2022 2022-1-C2-VSA.tex -rw-r--r-- 1 edrx edrx 25415 Mar 20 23:24 2022-1-C2-VSA.tex.html -rw-r--r-- 1 edrx edrx 1591 Aug 31 2022 2022-1-C2-VSB-rodada.tex -rw-r--r-- 1 edrx edrx 2782 Mar 20 23:24 2022-1-C2-VSB-rodada.tex.html -rw-r--r-- 2 edrx edrx 122513 Sep 2 2022 2022-1-C2-VSB.pdf -rw-r--r-- 1 edrx edrx 15058 Nov 28 21:06 2022-1-C2-VSB.tex -rw-r--r-- 1 edrx edrx 24298 Mar 20 23:24 2022-1-C2-VSB.tex.html -rw-r--r-- 2 edrx edrx 265329 Jul 8 2022 2022-1-C2-algumas-t-ints.pdf -rw-r--r-- 1 edrx edrx 64925 Dec 19 10:41 2022-1-C2-algumas-t-ints.tex -rw-r--r-- 1 edrx edrx 88918 Mar 20 23:24 2022-1-C2-algumas-t-ints.tex.html -rw-r--r-- 2 edrx edrx 121398 Jul 13 2022 2022-1-C2-der-fun-inv.pdf -rw-r--r-- 1 edrx edrx 17282 Jul 13 2022 2022-1-C2-der-fun-inv.tex -rw-r--r-- 1 edrx edrx 26041 Mar 20 23:24 2022-1-C2-der-fun-inv.tex.html -rw-r--r-- 2 edrx edrx 118645 Jul 13 2022 2022-1-C2-dicas-pra-P1.pdf -rw-r--r-- 1 edrx edrx 14835 Jul 13 2022 2022-1-C2-dicas-pra-P1.tex -rw-r--r-- 1 edrx edrx 22980 Mar 20 23:24 2022-1-C2-dicas-pra-P1.tex.html -rw-r--r-- 2 edrx edrx 25647 Jul 19 2022 2022-1-C2-dicas-pra-P2.pdf -rw-r--r-- 1 edrx edrx 10519 Jul 20 2022 2022-1-C2-dicas-pra-P2.tex -rw-r--r-- 1 edrx edrx 20646 Mar 20 23:24 2022-1-C2-dicas-pra-P2.tex.html -rw-r--r-- 2 edrx edrx 133236 Jul 26 2022 2022-1-C2-dicas-pra-VSA.pdf -rw-r--r-- 1 edrx edrx 14920 Nov 16 09:31 2022-1-C2-dicas-pra-VSA.tex -rw-r--r-- 1 edrx edrx 23203 Mar 20 23:24 2022-1-C2-dicas-pra-VSA.tex.html -rw-r--r-- 1 edrx edrx 8735 Jun 14 2022 2022-1-C2-fini.tex -rw-r--r-- 1 edrx edrx 15401 Mar 20 23:24 2022-1-C2-fini.tex.html -rw-r--r-- 1 edrx edrx 8684 Jul 14 2022 2022-1-C2-formulas-defs.tex -rw-r--r-- 1 edrx edrx 13715 Mar 20 23:24 2022-1-C2-formulas-defs.tex.html -rw-r--r-- 1 edrx edrx 6228 Jul 15 2022 2022-1-C2-formulas-test.tex -rw-r--r-- 1 edrx edrx 12115 Mar 20 23:24 2022-1-C2-formulas-test.tex.html -rw-r--r-- 2 edrx edrx 156928 Jun 4 2022 2022-1-C2-infs-e-sups.pdf -rw-r--r-- 1 edrx edrx 32268 Oct 25 18:51 2022-1-C2-infs-e-sups.tex -rw-r--r-- 1 edrx edrx 46086 Mar 20 23:24 2022-1-C2-infs-e-sups.tex.html -rw-r--r-- 1 edrx edrx 3858 Apr 27 2022 2022-1-C2-intro.lua -rw-r--r-- 1 edrx edrx 5655 Mar 20 23:24 2022-1-C2-intro.lua.html -rw-r--r-- 2 edrx edrx 165617 Apr 27 2022 2022-1-C2-intro.pdf -rw-r--r-- 1 edrx edrx 24934 Jul 10 2022 2022-1-C2-intro.tex -rw-r--r-- 1 edrx edrx 36426 Mar 20 23:24 2022-1-C2-intro.tex.html -rw-r--r-- 2 edrx edrx 94147 Jul 13 2022 2022-1-C2-primitivas.pdf -rw-r--r-- 1 edrx edrx 13529 Jul 13 2022 2022-1-C2-primitivas.tex -rw-r--r-- 1 edrx edrx 23064 Mar 20 23:24 2022-1-C2-primitivas.tex.html -rw-r--r-- 2 edrx edrx 141424 May 13 2022 2022-1-C2-somas-3.pdf -rw-r--r-- 1 edrx edrx 23694 May 19 2022 2022-1-C2-somas-3.tex -rw-r--r-- 1 edrx edrx 36416 Mar 20 23:24 2022-1-C2-somas-3.tex.html -rw-r--r-- 2 edrx edrx 2525375 Feb 20 20:15 2022-1-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 6745 Feb 20 20:14 2022-1-C2-tudo.tex -rw-r--r-- 1 edrx edrx 12039 Mar 20 23:24 2022-1-C2-tudo.tex.html -rw-r--r-- 2 edrx edrx 88668 Jun 26 2022 2022-1-C3-MT1.pdf -rw-r--r-- 1 edrx edrx 9565 Jun 29 2022 2022-1-C3-MT1.tex -rw-r--r-- 1 edrx edrx 16741 Mar 20 23:24 2022-1-C3-MT1.tex.html -rw-r--r-- 2 edrx edrx 46862 Jul 11 2022 2022-1-C3-MT2.pdf -rw-r--r-- 1 edrx edrx 7419 Jul 11 2022 2022-1-C3-MT2.tex -rw-r--r-- 1 edrx edrx 13086 Mar 20 23:24 2022-1-C3-MT2.tex.html -rw-r--r-- 2 edrx edrx 112749 Nov 14 09:20 2022-1-C3-P1.pdf -rw-r--r-- 1 edrx edrx 13369 Nov 11 09:27 2022-1-C3-P1.tex -rw-r--r-- 1 edrx edrx 20449 Mar 20 23:24 2022-1-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 81895 Jul 26 2022 2022-1-C3-P2.pdf -rw-r--r-- 1 edrx edrx 14493 Aug 29 2022 2022-1-C3-P2.tex -rw-r--r-- 1 edrx edrx 23570 Mar 20 23:24 2022-1-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 79947 Jul 26 2022 2022-1-C3-VR.pdf -rw-r--r-- 1 edrx edrx 10043 Aug 4 2022 2022-1-C3-VR.tex -rw-r--r-- 1 edrx edrx 17038 Mar 20 23:24 2022-1-C3-VR.tex.html -rw-r--r-- 2 edrx edrx 73915 Aug 31 2022 2022-1-C3-VS.pdf -rw-r--r-- 1 edrx edrx 9646 Aug 29 2022 2022-1-C3-VS.tex -rw-r--r-- 1 edrx edrx 16236 Mar 20 23:24 2022-1-C3-VS.tex.html -rw-r--r-- 1 edrx edrx 1592 Aug 31 2022 2022-1-C3-VSB-rodada.tex -rw-r--r-- 1 edrx edrx 2783 Mar 20 23:24 2022-1-C3-VSB-rodada.tex.html -rw-r--r-- 2 edrx edrx 105661 Sep 2 2022 2022-1-C3-VSB.pdf -rw-r--r-- 1 edrx edrx 15365 Sep 2 2022 2022-1-C3-VSB.tex -rw-r--r-- 1 edrx edrx 23331 Mar 20 23:24 2022-1-C3-VSB.tex.html -rw-r--r-- 2 edrx edrx 117134 Nov 4 14:00 2022-1-C3-funcoes-homogeneas.pdf -rw-r--r-- 1 edrx edrx 14405 Jul 26 2022 2022-1-C3-funcoes-homogeneas.tex -rw-r--r-- 1 edrx edrx 22978 Mar 20 23:24 2022-1-C3-funcoes-homogeneas.tex.html -rw-r--r-- 2 edrx edrx 479767 Jun 29 2022 2022-1-C3-notacao-de-fisicos.pdf -rw-r--r-- 1 edrx edrx 51828 Sep 28 00:08 2022-1-C3-notacao-de-fisicos.tex -rw-r--r-- 1 edrx edrx 76768 Mar 20 23:24 2022-1-C3-notacao-de-fisicos.tex.html -rw-r--r-- 2 edrx edrx 23690 Jul 3 2022 2022-1-C3-orbita.pdf -rw-r--r-- 1 edrx edrx 8985 Aug 26 2022 2022-1-C3-orbita.tex -rw-r--r-- 1 edrx edrx 16091 Mar 20 23:24 2022-1-C3-orbita.tex.html -rw-r--r-- 2 edrx edrx 1255864 Feb 8 17:26 2022-1-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 5025 Feb 8 17:24 2022-1-C3-tudo.tex -rw-r--r-- 1 edrx edrx 9176 Mar 20 23:24 2022-1-C3-tudo.tex.html -rw-r--r-- 1 edrx edrx 6710 Jul 12 2022 2022-1-CN-template.tex -rw-r--r-- 1 edrx edrx 12668 Mar 20 23:24 2022-1-CN-template.tex.html -rw-r--r-- 2 edrx edrx 904885 Jul 8 2022 2022-1-apresentacao-C2.pdf -rw-r--r-- 1 edrx edrx 25015 Aug 8 2022 2022-1-apresentacao-C2.tex -rw-r--r-- 1 edrx edrx 34201 Mar 20 23:24 2022-1-apresentacao-C2.tex.html -rw-r--r-- 1 edrx edrx 30248 Mar 8 21:00 2022-2-C2-C3-ajuda.tex -rw-r--r-- 1 edrx edrx 52326 Mar 20 23:24 2022-2-C2-C3-ajuda.tex.html -rw-r--r-- 2 edrx edrx 126267 Nov 30 15:35 2022-2-C2-P1.pdf -rw-r--r-- 1 edrx edrx 15524 Dec 19 10:37 2022-2-C2-P1.tex -rw-r--r-- 1 edrx edrx 26911 Mar 20 23:24 2022-2-C2-P1.tex.html -rw-r--r-- 2 edrx edrx 122690 Dec 9 19:51 2022-2-C2-P2.pdf -rw-r--r-- 1 edrx edrx 18512 Dec 14 08:30 2022-2-C2-P2.tex -rw-r--r-- 1 edrx edrx 30289 Mar 20 23:24 2022-2-C2-P2.tex.html -rw-r--r-- 2 edrx edrx 128373 Oct 27 10:26 2022-2-C2-TFC1-e-TFC2.pdf -rw-r--r-- 1 edrx edrx 16176 Dec 4 01:32 2022-2-C2-TFC1-e-TFC2.tex -rw-r--r-- 1 edrx edrx 25294 Mar 20 23:24 2022-2-C2-TFC1-e-TFC2.tex.html -rw-r--r-- 2 edrx edrx 85461 Dec 9 19:52 2022-2-C2-VR.pdf -rw-r--r-- 1 edrx edrx 10220 Dec 8 11:20 2022-2-C2-VR.tex -rw-r--r-- 1 edrx edrx 17537 Mar 20 23:24 2022-2-C2-VR.tex.html -rw-r--r-- 1 edrx edrx 14405 Dec 20 00:16 2022-2-C2-VS.tex -rw-r--r-- 1 edrx edrx 23908 Mar 20 23:24 2022-2-C2-VS.tex.html -rw-r--r-- 2 edrx edrx 22175 Nov 9 08:38 2022-2-C2-areas-e-volumes.pdf -rw-r--r-- 1 edrx edrx 9587 Nov 9 08:37 2022-2-C2-areas-e-volumes.tex -rw-r--r-- 1 edrx edrx 19692 Mar 20 23:24 2022-2-C2-areas-e-volumes.tex.html -rw-r--r-- 2 edrx edrx 133391 Sep 1 2022 2022-2-C2-buraco.pdf -rw-r--r-- 1 edrx edrx 19439 Mar 10 05:23 2022-2-C2-buraco.tex -rw-r--r-- 1 edrx edrx 33335 Mar 20 23:24 2022-2-C2-buraco.tex.html -rw-r--r-- 2 edrx edrx 23411 Nov 29 15:32 2022-2-C2-dicas-pra-P1.pdf -rw-r--r-- 1 edrx edrx 9244 Nov 29 14:43 2022-2-C2-dicas-pra-P1.tex -rw-r--r-- 1 edrx edrx 16900 Mar 20 23:24 2022-2-C2-dicas-pra-P1.tex.html -rw-r--r-- 2 edrx edrx 26784 Dec 4 01:38 2022-2-C2-dicas-pra-P2.pdf -rw-r--r-- 1 edrx edrx 8926 Dec 6 18:34 2022-2-C2-dicas-pra-P2.tex -rw-r--r-- 1 edrx edrx 16682 Mar 20 23:24 2022-2-C2-dicas-pra-P2.tex.html -rw-r--r-- 2 edrx edrx 65455 Dec 12 04:23 2022-2-C2-dicas-pra-VS.pdf -rw-r--r-- 1 edrx edrx 10380 Dec 12 04:15 2022-2-C2-dicas-pra-VS.tex -rw-r--r-- 1 edrx edrx 18094 Mar 20 23:24 2022-2-C2-dicas-pra-VS.tex.html -rw-r--r-- 2 edrx edrx 21456 Dec 1 11:28 2022-2-C2-edos-exatas.pdf -rw-r--r-- 1 edrx edrx 8335 Dec 1 11:27 2022-2-C2-edos-exatas.tex -rw-r--r-- 1 edrx edrx 15437 Mar 20 23:24 2022-2-C2-edos-exatas.tex.html -rw-r--r-- 2 edrx edrx 101079 Nov 23 10:58 2022-2-C2-edos-lineares.pdf -rw-r--r-- 1 edrx edrx 16661 Nov 23 14:23 2022-2-C2-edos-lineares.tex -rw-r--r-- 1 edrx edrx 29257 Mar 20 23:24 2022-2-C2-edos-lineares.tex.html -rw-r--r-- 2 edrx edrx 24918 Dec 4 01:18 2022-2-C2-edovs.pdf -rw-r--r-- 1 edrx edrx 9666 Dec 4 01:16 2022-2-C2-edovs.tex -rw-r--r-- 1 edrx edrx 18817 Mar 20 23:24 2022-2-C2-edovs.tex.html -rw-r--r-- 2 edrx edrx 160253 Sep 21 15:53 2022-2-C2-fracoes-parciais.pdf -rw-r--r-- 1 edrx edrx 21286 Oct 4 00:10 2022-2-C2-fracoes-parciais.tex -rw-r--r-- 1 edrx edrx 36552 Mar 20 23:24 2022-2-C2-fracoes-parciais.tex.html -rw-r--r-- 2 edrx edrx 242856 Nov 21 15:07 2022-2-C2-int-por-partes.pdf -rw-r--r-- 1 edrx edrx 16240 Feb 9 21:11 2022-2-C2-int-por-partes.tex -rw-r--r-- 1 edrx edrx 27753 Mar 20 23:24 2022-2-C2-int-por-partes.tex.html -rw-r--r-- 1 edrx edrx 10434 Aug 24 2022 2022-2-C2-intro.tex -rw-r--r-- 1 edrx edrx 17978 Mar 20 23:24 2022-2-C2-intro.tex.html -rw-r--r-- 2 edrx edrx 82629 Oct 4 00:46 2022-2-C2-mathologermovel.pdf -rw-r--r-- 1 edrx edrx 13105 Oct 4 00:45 2022-2-C2-mathologermovel.tex -rw-r--r-- 1 edrx edrx 21046 Mar 20 23:24 2022-2-C2-mathologermovel.tex.html -rw-r--r-- 2 edrx edrx 117859 Sep 22 02:23 2022-2-C2-mudanca-de-variaveis.pdf -rw-r--r-- 1 edrx edrx 20149 Dec 13 23:24 2022-2-C2-mudanca-de-variaveis.tex -rw-r--r-- 1 edrx edrx 35942 Mar 20 23:24 2022-2-C2-mudanca-de-variaveis.tex.html -rw-r--r-- 2 edrx edrx 72552 Sep 5 2022 2022-2-C2-plano-de-curso.pdf -rw-r--r-- 1 edrx edrx 8653 Dec 6 20:28 2022-2-C2-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 12412 Mar 20 23:24 2022-2-C2-plano-de-curso.tex.html -rw-r--r-- 2 edrx edrx 215755 Oct 13 14:07 2022-2-C2-somas-de-riemann.pdf -rw-r--r-- 1 edrx edrx 52251 Nov 18 12:26 2022-2-C2-somas-de-riemann.tex -rw-r--r-- 1 edrx edrx 76317 Mar 20 23:24 2022-2-C2-somas-de-riemann.tex.html -rw-r--r-- 2 edrx edrx 108154 Sep 29 16:19 2022-2-C2-subst-trig.pdf -rw-r--r-- 1 edrx edrx 14419 Nov 29 14:40 2022-2-C2-subst-trig.tex -rw-r--r-- 1 edrx edrx 24275 Mar 20 23:24 2022-2-C2-subst-trig.tex.html -rw-r--r-- 2 edrx edrx 1982388 Dec 26 15:04 2022-2-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 7232 Feb 9 21:42 2022-2-C2-tudo.tex -rw-r--r-- 1 edrx edrx 12394 Mar 20 23:24 2022-2-C2-tudo.tex.html -rw-r--r-- 2 edrx edrx 96803 Nov 14 09:21 2022-2-C3-P1.pdf -rw-r--r-- 1 edrx edrx 21407 Nov 26 18:24 2022-2-C3-P1.tex -rw-r--r-- 1 edrx edrx 29868 Mar 20 23:24 2022-2-C3-P1.tex.html -rw-r--r-- 2 edrx edrx 108410 Dec 13 08:51 2022-2-C3-P2.pdf -rw-r--r-- 1 edrx edrx 17252 Dec 12 17:32 2022-2-C3-P2.tex -rw-r--r-- 1 edrx edrx 28608 Mar 20 23:24 2022-2-C3-P2.tex.html -rw-r--r-- 2 edrx edrx 105742 Jan 23 20:43 2022-2-C3-VR.pdf -rw-r--r-- 1 edrx edrx 12308 Jan 23 20:41 2022-2-C3-VR.tex -rw-r--r-- 1 edrx edrx 19743 Mar 20 23:24 2022-2-C3-VR.tex.html -rw-r--r-- 1 edrx edrx 6522 Dec 1 18:20 2022-2-C3-VS.tex -rw-r--r-- 1 edrx edrx 12556 Mar 20 23:24 2022-2-C3-VS.tex.html -rw-r--r-- 2 edrx edrx 192052 Oct 26 12:02 2022-2-C3-derivadas-parciais.pdf -rw-r--r-- 1 edrx edrx 25221 Dec 6 16:44 2022-2-C3-derivadas-parciais.tex -rw-r--r-- 1 edrx edrx 42950 Mar 20 23:24 2022-2-C3-derivadas-parciais.tex.html -rw-r--r-- 2 edrx edrx 25365 Nov 8 13:35 2022-2-C3-dicas-pra-P1.pdf -rw-r--r-- 1 edrx edrx 8674 Nov 8 13:34 2022-2-C3-dicas-pra-P1.tex -rw-r--r-- 1 edrx edrx 15925 Mar 20 23:24 2022-2-C3-dicas-pra-P1.tex.html -rw-r--r-- 2 edrx edrx 51990 Dec 4 00:44 2022-2-C3-dicas-pra-P2.pdf -rw-r--r-- 1 edrx edrx 12002 Dec 4 00:43 2022-2-C3-dicas-pra-P2.tex -rw-r--r-- 1 edrx edrx 19680 Mar 20 23:24 2022-2-C3-dicas-pra-P2.tex.html -rw-r--r-- 1 edrx edrx 7025 Nov 15 22:44 2022-2-C3-funcoes-difs.tex -rw-r--r-- 1 edrx edrx 13367 Mar 20 23:24 2022-2-C3-funcoes-difs.tex.html -rw-r--r-- 2 edrx edrx 21554 Nov 9 08:41 2022-2-C3-funcoes-homogeneas.pdf -rw-r--r-- 1 edrx edrx 8194 Nov 9 08:39 2022-2-C3-funcoes-homogeneas.tex -rw-r--r-- 1 edrx edrx 15101 Mar 20 23:24 2022-2-C3-funcoes-homogeneas.tex.html -rw-r--r-- 2 edrx edrx 97910 Aug 28 2022 2022-2-C3-intro.pdf -rw-r--r-- 1 edrx edrx 16427 Sep 2 2022 2022-2-C3-intro.tex -rw-r--r-- 1 edrx edrx 27019 Mar 20 23:24 2022-2-C3-intro.tex.html -rw-r--r-- 2 edrx edrx 91218 Nov 30 10:14 2022-2-C3-maximos-e-minimos.pdf -rw-r--r-- 1 edrx edrx 13986 Dec 4 00:02 2022-2-C3-maximos-e-minimos.tex -rw-r--r-- 1 edrx edrx 24767 Mar 20 23:24 2022-2-C3-maximos-e-minimos.tex.html -rw-r--r-- 2 edrx edrx 74035 Sep 5 2022 2022-2-C3-plano-de-curso.pdf -rw-r--r-- 1 edrx edrx 8436 Nov 22 22:07 2022-2-C3-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 12753 Mar 20 23:24 2022-2-C3-plano-de-curso.tex.html -rw-r--r-- 2 edrx edrx 131887 Oct 7 08:24 2022-2-C3-plano-tangente.pdf -rw-r--r-- 1 edrx edrx 22933 Oct 26 10:39 2022-2-C3-plano-tangente.tex -rw-r--r-- 1 edrx edrx 39065 Mar 20 23:24 2022-2-C3-plano-tangente.tex.html -rw-r--r-- 2 edrx edrx 22810 Nov 9 10:06 2022-2-C3-regra-da-cadeia.pdf -rw-r--r-- 1 edrx edrx 7979 Nov 9 10:06 2022-2-C3-regra-da-cadeia.tex -rw-r--r-- 1 edrx edrx 14967 Mar 20 23:24 2022-2-C3-regra-da-cadeia.tex.html -rw-r--r-- 2 edrx edrx 25756 Oct 7 04:35 2022-2-C3-superficies.pdf -rw-r--r-- 1 edrx edrx 10560 Oct 6 19:07 2022-2-C3-superficies.tex -rw-r--r-- 1 edrx edrx 20676 Mar 20 23:24 2022-2-C3-superficies.tex.html -rw-r--r-- 2 edrx edrx 196603 Sep 23 12:19 2022-2-C3-taylor.pdf -rw-r--r-- 1 edrx edrx 30848 Mar 10 05:09 2022-2-C3-taylor.tex -rw-r--r-- 1 edrx edrx 46811 Mar 20 23:24 2022-2-C3-taylor.tex.html -rw-r--r-- 2 edrx edrx 136756 Sep 3 2022 2022-2-C3-tipos.pdf -rw-r--r-- 1 edrx edrx 21496 Oct 4 23:46 2022-2-C3-tipos.tex -rw-r--r-- 1 edrx edrx 31579 Mar 20 23:24 2022-2-C3-tipos.tex.html -rw-r--r-- 2 edrx edrx 179678 Nov 23 13:48 2022-2-C3-topologia.pdf -rw-r--r-- 1 edrx edrx 23875 Feb 14 00:05 2022-2-C3-topologia.tex -rw-r--r-- 1 edrx edrx 36767 Mar 20 23:24 2022-2-C3-topologia.tex.html -rw-r--r-- 2 edrx edrx 1558887 Jan 23 20:43 2022-2-C3-tudo.pdf -rw-r--r-- 1 edrx edrx 6400 Feb 9 18:04 2022-2-C3-tudo.tex -rw-r--r-- 1 edrx edrx 10885 Mar 20 23:24 2022-2-C3-tudo.tex.html -rw-r--r-- 1 edrx edrx 6586 Feb 2 22:47 2022-2-CN-template.tex -rw-r--r-- 1 edrx edrx 12588 Mar 20 23:24 2022-2-CN-template.tex.html -rw-r--r-- 1 edrx edrx 7139 Jan 30 06:42 2022-C2-projeto-de-monitoria.tex -rw-r--r-- 1 edrx edrx 10230 Mar 20 23:24 2022-C2-projeto-de-monitoria.tex.html -rw-r--r-- 1 edrx edrx 4275 Dec 11 18:55 2022-arthur.tex -rw-r--r-- 1 edrx edrx 9411 Mar 20 23:24 2022-arthur.tex.html -rw-r--r-- 1 edrx edrx 6915 Mar 15 2022 2022-plano-de-atividades-C2.tex -rw-r--r-- 1 edrx edrx 9457 Mar 20 23:24 2022-plano-de-atividades-C2.tex.html -rw-r--r-- 1 edrx edrx 6913 Mar 15 2022 2022-plano-de-atividades-C3.tex -rw-r--r-- 1 edrx edrx 9455 Mar 20 23:24 2022-plano-de-atividades-C3.tex.html -rw-r--r-- 2 edrx edrx 72518 Sep 2 2022 2022-plano-de-curso-C2.pdf -rw-r--r-- 2 edrx edrx 74009 Sep 2 2022 2022-plano-de-curso-C3.pdf -rw-r--r-- 1 edrx edrx 7275 Mar 24 2022 2022-rad2021.tex -rw-r--r-- 1 edrx edrx 12612 Mar 20 23:24 2022-rad2021.tex.html -rw-r--r-- 1 edrx edrx 18244 Feb 11 14:23 2022-reclamacoes.tex -rw-r--r-- 1 edrx edrx 23189 Mar 20 23:24 2022-reclamacoes.tex.html -rw-r--r-- 1 edrx edrx 2811 Aug 28 2022 2022-termo-de-compromisso.tex -rw-r--r-- 1 edrx edrx 5051 Mar 20 23:24 2022-termo-de-compromisso.tex.html -rw-r--r-- 1 edrx edrx 3914 Jan 14 2022 2022AgdaYoneda1.lagda.tex -rw-r--r-- 1 edrx edrx 6877 Mar 20 23:24 2022AgdaYoneda1.lagda.tex.html -rw-r--r-- 1 edrx edrx 15642 Feb 1 2022 2022Cats3.lagda.tex -rw-r--r-- 1 edrx edrx 18770 Mar 20 23:24 2022Cats3.lagda.tex.html -rw-r--r-- 2 edrx edrx 128271 Jan 31 2022 2022Cats3.pdf -rw-r--r-- 1 edrx edrx 3214 Jan 31 2022 2022Cats4.lagda.tex -rw-r--r-- 1 edrx edrx 5771 Mar 20 23:24 2022Cats4.lagda.tex.html -rw-r--r-- 2 edrx edrx 7288 Jan 31 2022 2022Cats4.pdf -rw-r--r-- 1 edrx edrx 3442 Jan 31 2022 2022Cats5.lagda.tex -rw-r--r-- 1 edrx edrx 5999 Mar 20 23:24 2022Cats5.lagda.tex.html -rw-r--r-- 1 edrx edrx 7940 Feb 2 2022 2022Cats6.lagda.tex -rw-r--r-- 1 edrx edrx 10551 Mar 20 23:24 2022Cats6.lagda.tex.html -rw-r--r-- 2 edrx edrx 49382 Feb 2 2022 2022Cats6.pdf -rw-r--r-- 2 edrx edrx 53078 Jan 31 2022 2022agda-logic-1.pdf -rw-r--r-- 1 edrx edrx 6332 Jan 9 2022 2022agda-logic-1.tex -rw-r--r-- 1 edrx edrx 10603 Mar 20 23:24 2022agda-logic-1.tex.html -rw-r--r-- 1 edrx edrx 5758 Jul 8 2022 2022chat-walter.tex -rw-r--r-- 1 edrx edrx 8950 Mar 20 23:24 2022chat-walter.tex.html -rw-r--r-- 1 edrx edrx 5791 Jun 19 2022 2022cwm.tex -rw-r--r-- 1 edrx edrx 9276 Mar 20 23:24 2022cwm.tex.html -rw-r--r-- 1 edrx edrx 6329 Jan 30 2022 2022dep-vars.tex -rw-r--r-- 1 edrx edrx 9856 Mar 20 23:24 2022dep-vars.tex.html -rw-r--r-- 2 edrx edrx 149954 Sep 14 2022 2022ebl-abs.pdf -rw-r--r-- 1 edrx edrx 5022 Sep 30 02:02 2022ebl-abs.tex -rw-r--r-- 1 edrx edrx 7031 Mar 20 23:24 2022ebl-abs.tex.html -rw-r--r-- 1 edrx edrx 2988 Nov 7 23:23 2022ebl-relatorio.tex -rw-r--r-- 1 edrx edrx 5577 Mar 20 23:24 2022ebl-relatorio.tex.html -rw-r--r-- 2 edrx edrx 234625 Sep 14 2022 2022ebl.pdf -rw-r--r-- 1 edrx edrx 31523 Sep 30 02:27 2022ebl.tex -rw-r--r-- 1 edrx edrx 47284 Mar 20 23:24 2022ebl.tex.html -rw-r--r-- 2 edrx edrx 217792 Sep 14 2022 2022ebl.tgz -rw-r--r-- 2 edrx edrx 230856 Sep 14 2022 2022ebl.zip -rw-r--r-- 1 edrx edrx 3221 Oct 3 22:55 2022emacsconf-kla.tex -rw-r--r-- 1 edrx edrx 6716 Mar 20 23:24 2022emacsconf-kla.tex.html -rw-r--r-- 1 edrx edrx 3181 Oct 3 22:55 2022emacsconf-py.tex -rw-r--r-- 1 edrx edrx 6672 Mar 20 23:24 2022emacsconf-py.tex.html -rw-r--r-- 1 edrx edrx 8642 Feb 23 2022 2022hissa.tex -rw-r--r-- 1 edrx edrx 10861 Mar 20 23:24 2022hissa.tex.html -rw-r--r-- 2 edrx edrx 27893 Oct 10 18:57 2022lacombe.pdf -rw-r--r-- 1 edrx edrx 14519 Oct 13 16:35 2022lacombe.tex -rw-r--r-- 1 edrx edrx 17554 Mar 20 23:24 2022lacombe.tex.html -rw-r--r-- 1 edrx edrx 1810 Mar 8 2022 2022meteor-test1.pre.bib -rw-r--r-- 1 edrx edrx 3156 Mar 20 23:24 2022meteor-test1.pre.bib.html -rw-r--r-- 1 edrx edrx 16573 Mar 9 2022 2022meteor-test1.tex -rw-r--r-- 1 edrx edrx 21116 Mar 20 23:24 2022meteor-test1.tex.html -rw-r--r-- 1 edrx edrx 4291 Jan 6 14:52 2022missing-changes-1.tex -rw-r--r-- 1 edrx edrx 6742 Mar 20 23:24 2022missing-changes-1.tex.html -rw-r--r-- 1 edrx edrx 12257 Feb 27 2022 2022missing-diags-yoneda.tex -rw-r--r-- 1 edrx edrx 16841 Mar 20 23:24 2022missing-diags-yoneda.tex.html -rw-r--r-- 1 edrx edrx 9555 May 3 2022 2022ochs-meteor1.tex -rw-r--r-- 1 edrx edrx 14975 Mar 20 23:24 2022ochs-meteor1.tex.html -rw-r--r-- 2 edrx edrx 14271 Mar 11 2022 2022on-the-missing-agda.pdf -rw-r--r-- 1 edrx edrx 13686 Mar 12 2022 2022on-the-missing-agda.tex -rw-r--r-- 1 edrx edrx 19473 Mar 20 23:24 2022on-the-missing-agda.tex.html -rw-r--r-- 2 edrx edrx 458754 May 13 2022 2022on-the-missing-b.pdf -rw-r--r-- 1 edrx edrx 211317 May 19 2022 2022on-the-missing-b.tex -rw-r--r-- 1 edrx edrx 252795 Mar 20 23:24 2022on-the-missing-b.tex.html -rw-r--r-- 2 edrx edrx 242544 May 13 2022 2022on-the-missing-b.zip -rw-r--r-- 2 edrx edrx 538828 Mar 10 2022 2022on-the-missing.pdf -rw-r--r-- 1 edrx edrx 218443 Sep 12 2022 2022on-the-missing.tex -rw-r--r-- 1 edrx edrx 261917 Mar 20 23:24 2022on-the-missing.tex.html -rw-r--r-- 2 edrx edrx 178860 Mar 10 2022 2022on-the-missing.tgz -rw-r--r-- 2 edrx edrx 193002 Mar 10 2022 2022on-the-missing.zip -rw-r--r-- 1 edrx edrx 1227 Nov 5 15:54 2022pgf-test.tex -rw-r--r-- 1 edrx edrx 2327 Mar 20 23:24 2022pgf-test.tex.html -rw-r--r-- 2 edrx edrx 47415 Apr 22 2022 2022pict2e-nodes-test6.pdf -rw-r--r-- 1 edrx edrx 46825 Mar 11 03:35 2022pict2e.lua -rw-r--r-- 1 edrx edrx 63824 Mar 20 23:24 2022pict2e.lua.html -rw-r--r-- 2 edrx edrx 47416 Apr 22 2022 2022pict2e.pdf -rw-r--r-- 1 edrx edrx 4341 Jul 17 2022 2022pict2e.tex -rw-r--r-- 1 edrx edrx 9221 Mar 20 23:24 2022pict2e.tex.html -rw-r--r-- 1 edrx edrx 3900 Apr 22 2022 2022repl.tex -rw-r--r-- 1 edrx edrx 8171 Mar 20 23:24 2022repl.tex.html -rw-r--r-- 1 edrx edrx 57425 Oct 18 23:16 2022sula.tex -rw-r--r-- 1 edrx edrx 59922 Mar 20 23:24 2022sula.tex.html -rw-r--r-- 1 edrx edrx 331 Jan 13 2022 2022throw-1.lua -rw-r--r-- 1 edrx edrx 1084 Mar 20 23:24 2022throw-1.lua.html -rw-r--r-- 1 edrx edrx 3531 Oct 30 15:45 2022tikz-repl.tex -rw-r--r-- 1 edrx edrx 6413 Mar 20 23:24 2022tikz-repl.tex.html -rw-r--r-- 1 edrx edrx 11102 Oct 16 23:39 2022tikzwd-1.tex -rw-r--r-- 1 edrx edrx 13656 Mar 20 23:24 2022tikzwd-1.tex.html -rw-r--r-- 1 edrx edrx 6836 Oct 30 12:41 2022tikzwd-2.tex -rw-r--r-- 1 edrx edrx 8851 Mar 20 23:24 2022tikzwd-2.tex.html -rw-r--r-- 1 edrx edrx 12388 Feb 7 2022 2022yoneda-pseudocode.tex -rw-r--r-- 1 edrx edrx 16285 Mar 20 23:24 2022yoneda-pseudocode.tex.html -rw-r--r-- 2 edrx edrx 164458 Mar 6 17:15 2023-1-C2-intro.pdf -rw-r--r-- 1 edrx edrx 52461 Mar 9 22:09 2023-1-C2-intro.tex -rw-r--r-- 1 edrx edrx 67295 Mar 20 23:24 2023-1-C2-intro.tex.html -rw-r--r-- 1 edrx edrx 8441 Mar 11 15:35 2023-1-C2-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 12523 Mar 20 23:24 2023-1-C2-plano-de-curso.tex.html -rw-r--r-- 2 edrx edrx 166776 Feb 20 20:23 2023-1-C2-tudo.pdf -rw-r--r-- 1 edrx edrx 3737 Feb 2 23:22 2023-1-C2-tudo.tex -rw-r--r-- 1 edrx edrx 7802 Mar 20 23:24 2023-1-C2-tudo.tex.html -rw-r--r-- 1 edrx edrx 6621 Feb 2 23:28 2023-1-C3-intro.tex -rw-r--r-- 1 edrx edrx 12666 Mar 20 23:24 2023-1-C3-intro.tex.html -rw-r--r-- 1 edrx edrx 8616 Feb 5 20:00 2023-1-C3-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 12679 Mar 20 23:24 2023-1-C3-plano-de-curso.tex.html -rw-r--r-- 1 edrx edrx 4033 Feb 2 23:43 2023-1-C3-tudo.tex -rw-r--r-- 1 edrx edrx 8467 Mar 20 23:24 2023-1-C3-tudo.tex.html -rw-r--r-- 1 edrx edrx 7265 Mar 11 17:53 2023-1-C4-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 11347 Mar 20 23:24 2023-1-C4-plano-de-curso.tex.html -rw-r--r-- 1 edrx edrx 6587 Feb 2 22:51 2023-1-CN-template.tex -rw-r--r-- 1 edrx edrx 12589 Mar 20 23:24 2023-1-CN-template.tex.html -rw-r--r-- 1 edrx edrx 6605 Mar 11 17:18 2023-1-LA-intro.tex -rw-r--r-- 1 edrx edrx 12650 Mar 20 23:24 2023-1-LA-intro.tex.html -rw-r--r-- 1 edrx edrx 7164 Mar 11 17:43 2023-1-LA-plano-de-curso.tex -rw-r--r-- 1 edrx edrx 11398 Mar 20 23:24 2023-1-LA-plano-de-curso.tex.html -rw-r--r-- 1 edrx edrx 3740 Mar 11 17:18 2023-1-LA-tudo.tex -rw-r--r-- 1 edrx edrx 7805 Mar 20 23:24 2023-1-LA-tudo.tex.html -rw-r--r-- 1 edrx edrx 6589 Feb 25 14:42 2023-1-MM-template.tex -rw-r--r-- 1 edrx edrx 12588 Mar 20 23:24 2023-1-MM-template.tex.html -rw-r--r-- 1 edrx edrx 4301 Mar 11 16:08 2023-1-MM-tudo-template.tex -rw-r--r-- 1 edrx edrx 8376 Mar 20 23:24 2023-1-MM-tudo-template.tex.html -rw-r--r-- 1 edrx edrx 9729 Feb 1 23:22 2023-C3-projeto-de-monitoria.tex -rw-r--r-- 1 edrx edrx 11102 Mar 20 23:24 2023-C3-projeto-de-monitoria.tex.html -rw-r--r-- 1 edrx edrx 5263 Feb 14 04:54 2023-caepro-VR.tex -rw-r--r-- 1 edrx edrx 8051 Mar 20 23:24 2023-caepro-VR.tex.html -rw-r--r-- 1 edrx edrx 6767 Feb 14 00:36 2023-caepro-didatica.tex -rw-r--r-- 1 edrx edrx 11060 Mar 20 23:24 2023-caepro-didatica.tex.html -rw-r--r-- 2 edrx edrx 40730 Mar 2 01:06 2023-caepro-hist.pdf -rw-r--r-- 1 edrx edrx 6127 Mar 1 23:02 2023-caepro-hist.tex -rw-r--r-- 1 edrx edrx 8691 Mar 20 23:24 2023-caepro-hist.tex.html -rw-r--r-- 1 edrx edrx 6921 Feb 15 18:03 2023-caepro-plano.tex -rw-r--r-- 1 edrx edrx 10310 Mar 20 23:24 2023-caepro-plano.tex.html -rw-r--r-- 2 edrx edrx 48438 Feb 28 03:47 2023-caepro-reclamacoes.pdf -rw-r--r-- 1 edrx edrx 15571 Feb 28 01:56 2023-caepro-reclamacoes.tex -rw-r--r-- 1 edrx edrx 19122 Mar 20 23:24 2023-caepro-reclamacoes.tex.html -rw-r--r-- 2 edrx edrx 32789 Feb 12 21:14 2023-caepro.pdf -rw-r--r-- 1 edrx edrx 6135 Feb 16 04:53 2023-caepro.tex -rw-r--r-- 1 edrx edrx 8955 Mar 20 23:24 2023-caepro.tex.html -rw-r--r-- 1 edrx edrx 6347 Mar 16 10:46 2023-rad2022.tex -rw-r--r-- 1 edrx edrx 12328 Mar 20 23:24 2023-rad2022.tex.html -rw-r--r-- 2 edrx edrx 273868 Oct 14 2017 5.pdf -rw-r--r-- 1 edrx edrx 9504 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 16489 Mar 20 23:24 Makefile.html -rw-r--r-- 1 edrx edrx 30479 Aug 29 2022 Pict2e1-1.lua -rw-r--r-- 1 edrx edrx 47443 Mar 20 23:24 Pict2e1-1.lua.html -rw-r--r-- 1 edrx edrx 36458 Aug 29 2022 Pict2e1.lua -rw-r--r-- 1 edrx edrx 54775 Mar 20 23:24 Pict2e1.lua.html -rw-r--r-- 1 edrx edrx 1350 Feb 21 2020 README -rw-r--r-- 1 edrx edrx 2806 Mar 20 23:24 README.html -rw-r--r-- 1 edrx edrx 32878 Feb 21 2020 activist.bib -rw-r--r-- 1 edrx edrx 68767 Mar 20 23:24 activist.bib.html -rw-r--r-- 1 edrx edrx 7769 Feb 21 2020 ata.cls -rw-r--r-- 1 edrx edrx 8309 Mar 20 23:24 ata.cls.html -rw-r--r-- 1 edrx edrx 2311 Feb 21 2020 beamer-template.tex -rw-r--r-- 1 edrx edrx 4451 Mar 20 23:24 beamer-template.tex.html -rw-r--r-- 1 edrx edrx 2536 Feb 21 2020 beamertest.tex -rw-r--r-- 1 edrx edrx 3946 Mar 20 23:24 beamertest.tex.html -rw-r--r-- 1 edrx edrx 32380 Feb 21 2020 bussproofs.sty -rw-r--r-- 1 edrx edrx 38441 May 23 2022 catsem-ab.bib -rw-r--r-- 1 edrx edrx 89935 Mar 20 23:24 catsem-ab.bib.html -rw-r--r-- 1 edrx edrx 23828 Jan 31 2022 catsem-slides.bib -rw-r--r-- 1 edrx edrx 38326 Mar 20 23:24 catsem-slides.bib.html -rw-r--r-- 1 edrx edrx 52708 Mar 10 2022 catsem-u.bib -rw-r--r-- 1 edrx edrx 111275 Mar 20 23:24 catsem-u.bib.html -rw-r--r-- 1 edrx edrx 38619 Jun 26 2020 catsem.bib -rw-r--r-- 1 edrx edrx 78809 Mar 20 23:24 catsem.bib.html -rw-r--r-- 1 edrx edrx 966 Feb 21 2020 catsembibtest.tex -rw-r--r-- 1 edrx edrx 1800 Mar 20 23:24 catsembibtest.tex.html -rw-r--r-- 2 edrx www-data 111528 Jul 4 2011 chapa1-pressao.pdf -rw-r--r-- 1 edrx edrx 8809 Feb 21 2020 chapa1-pressao.tex -rw-r--r-- 1 edrx edrx 11972 Mar 20 23:24 chapa1-pressao.tex.html -rw-r--r-- 1 edrx edrx 6265 Feb 21 2020 chapa1-regric.tex -rw-r--r-- 1 edrx edrx 8542 Mar 20 23:24 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 Feb 21 2020 chaui-hch.tex -rw-r--r-- 1 edrx edrx 57833 Mar 20 23:24 chaui-hch.tex.html -rw-r--r-- 1 edrx edrx 5490 Feb 21 2020 dednat.icn -rw-r--r-- 1 edrx edrx 6498 Mar 20 23:24 dednat.icn.html drwxr-xr-x 3 edrx edrx 4096 Mar 20 23:24 dednat6/ -rwxr-xr-x 1 edrx edrx 3903 Feb 21 2020 dednat6load.lua* -rw-r--r-- 1 edrx edrx 6642 Mar 20 23:24 dednat6load.lua.html -rw-r--r-- 1 edrx edrx 69490 Feb 21 2020 desenhos.014 -rw-r--r-- 1 edrx edrx 107705 Mar 20 23:24 desenhos.014.html -rw-r--r-- 1 edrx edrx 18095 Feb 21 2020 diaglib.014 -rw-r--r-- 1 edrx edrx 23470 Mar 20 23:24 diaglib.014.html -rw-r--r-- 1 edrx edrx 3272 Feb 21 2020 dynkin.tcl -rw-r--r-- 1 edrx edrx 4048 Mar 20 23:24 dynkin.tcl.html -rw-r--r-- 1 edrx edrx 17740 May 21 2020 edrx.sty -rw-r--r-- 1 edrx edrx 23639 Mar 20 23:24 edrx.sty.html -rw-r--r-- 1 edrx edrx 19507 Mar 16 2020 edrx15.sty -rw-r--r-- 1 edrx edrx 31363 Mar 20 23:24 edrx15.sty.html -rw-r--r-- 1 edrx edrx 427 Feb 21 2020 edrx15chars.tex -rw-r--r-- 1 edrx edrx 1090 Mar 20 23:24 edrx15chars.tex.html -rw-r--r-- 1 edrx edrx 6451 Jul 17 2021 edrx15defs.tex -rw-r--r-- 1 edrx edrx 8274 Mar 20 23:24 edrx15defs.tex.html -rw-r--r-- 1 edrx edrx 19362 Feb 21 2020 edrx17.sty -rw-r--r-- 1 edrx edrx 30976 Mar 20 23:24 edrx17.sty.html -rw-r--r-- 1 edrx edrx 24045 Jul 17 2021 edrx17defs.tex -rw-r--r-- 1 edrx edrx 37125 Mar 20 23:24 edrx17defs.tex.html -rw-r--r-- 1 edrx edrx 11907 Jun 29 2020 edrx20chars.tex -rw-r--r-- 1 edrx edrx 13767 Mar 20 23:24 edrx20chars.tex.html -rw-r--r-- 1 edrx edrx 834 Aug 24 2020 edrx20limp.tex -rw-r--r-- 1 edrx edrx 1906 Mar 20 23:24 edrx20limp.tex.html -rw-r--r-- 1 edrx edrx 9367 Sep 14 2022 edrx21.sty -rw-r--r-- 1 edrx edrx 19093 Mar 20 23:24 edrx21.sty.html -rw-r--r-- 1 edrx edrx 13394 Jan 22 2022 edrx21chars-d.tex -rw-r--r-- 1 edrx edrx 16043 Mar 20 23:24 edrx21chars-d.tex.html -rw-r--r-- 1 edrx edrx 8692 Jan 30 2022 edrx21chars.tex -rw-r--r-- 1 edrx edrx 11379 Mar 20 23:24 edrx21chars.tex.html -rw-r--r-- 1 edrx edrx 6934 Sep 12 2022 edrx21defs.tex -rw-r--r-- 1 edrx edrx 12177 Mar 20 23:24 edrx21defs.tex.html -rw-r--r-- 1 edrx edrx 1299 Feb 21 2020 edrxaccents.tex -rw-r--r-- 1 edrx edrx 2062 Mar 20 23:24 edrxaccents.tex.html -rw-r--r-- 1 edrx edrx 9591 Jun 27 2021 edrxchars.tex -rw-r--r-- 1 edrx edrx 11705 Mar 20 23:24 edrxchars.tex.html -rw-r--r-- 1 edrx edrx 7068 Jul 25 2022 edrxgac2.tex -rw-r--r-- 1 edrx edrx 11725 Mar 20 23:24 edrxgac2.tex.html -rw-r--r-- 1 edrx edrx 2433 Sep 14 2020 edrxheadfoot.tex -rw-r--r-- 1 edrx edrx 3648 Mar 20 23:24 edrxheadfoot.tex.html -rw-r--r-- 1 edrx edrx 23891 Dec 14 2021 edrxpict.lua -rw-r--r-- 1 edrx edrx 41209 Mar 20 23:24 edrxpict.lua.html -rw-r--r-- 1 edrx edrx 731 Feb 21 2020 edrxrepl.tex -rw-r--r-- 1 edrx edrx 1683 Mar 20 23:24 edrxrepl.tex.html -rw-r--r-- 1 edrx edrx 10101 Mar 11 02:35 edrxtikz.lua -rw-r--r-- 1 edrx edrx 16758 Mar 20 23:24 edrxtikz.lua.html -rw-r--r-- 1 edrx edrx 17984 Dec 23 2021 emaxima.sty -rw-r--r-- 1 edrx edrx 18739 Mar 20 23:24 emaxima.sty.html -rw-r--r-- 2 edrx edrx 300859 Jul 1 2016 falta-misandria-a5.pdf -rw-r--r-- 1 edrx edrx 5051 Feb 21 2020 falta-misandria-a5.tex -rw-r--r-- 1 edrx edrx 8596 Mar 20 23:24 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 Feb 21 2020 falta-misandria-body.tex -rw-r--r-- 1 edrx edrx 6916 Mar 20 23:24 falta-misandria-body.tex.html -rw-r--r-- 1 edrx edrx 11671 Feb 21 2020 falta-misandria-cats.tex -rw-r--r-- 1 edrx edrx 14306 Mar 20 23:24 falta-misandria-cats.tex.html -rw-r--r-- 1 edrx edrx 22731 Feb 21 2020 falta-misandria-corpo.tex -rw-r--r-- 1 edrx edrx 27163 Mar 20 23:24 falta-misandria-corpo.tex.html -rw-r--r-- 1 edrx edrx 5414 Feb 21 2020 falta-misandria-daniel.tex -rw-r--r-- 1 edrx edrx 6917 Mar 20 23:24 falta-misandria-daniel.tex.html -rw-r--r-- 1 edrx edrx 4183 Feb 21 2020 falta-misandria-f-etc.tex -rw-r--r-- 1 edrx edrx 5152 Mar 20 23:24 falta-misandria-f-etc.tex.html -rw-r--r-- 1 edrx edrx 121223 Feb 21 2020 falta-misandria-f-fm.tex -rw-r--r-- 1 edrx edrx 128434 Mar 20 23:24 falta-misandria-f-fm.tex.html -rw-r--r-- 1 edrx edrx 2517 Feb 21 2020 falta-misandria-f-g.tex -rw-r--r-- 1 edrx edrx 4781 Mar 20 23:24 falta-misandria-f-g.tex.html -rw-r--r-- 1 edrx edrx 12342 Feb 21 2020 falta-misandria-f-haz.tex -rw-r--r-- 1 edrx edrx 13145 Mar 20 23:24 falta-misandria-f-haz.tex.html -rw-r--r-- 2 edrx edrx 354290 Jan 9 2019 falta-misandria-f-main.pdf -rw-r--r-- 1 edrx edrx 2335 Feb 21 2020 falta-misandria-f-main.tex -rw-r--r-- 1 edrx edrx 5687 Mar 20 23:24 falta-misandria-f-main.tex.html -rw-r--r-- 1 edrx edrx 17623 Feb 21 2020 falta-misandria-f-scr.tex -rw-r--r-- 1 edrx edrx 19243 Mar 20 23:24 falta-misandria-f-scr.tex.html -rw-r--r-- 1 edrx edrx 41320 Feb 21 2020 falta-misandria-f-xs.tex -rw-r--r-- 1 edrx edrx 42250 Mar 20 23:24 falta-misandria-f-xs.tex.html -rw-r--r-- 1 edrx edrx 5286 Feb 21 2020 falta-misandria-hdt.tex -rw-r--r-- 1 edrx edrx 6506 Mar 20 23:24 falta-misandria-hdt.tex.html -rw-r--r-- 1 edrx edrx 10266 Feb 21 2020 falta-misandria-homens.tex -rw-r--r-- 1 edrx edrx 12092 Mar 20 23:24 falta-misandria-homens.tex.html -rw-r--r-- 1 edrx edrx 19325 Feb 21 2020 falta-misandria-intro.tex -rw-r--r-- 1 edrx edrx 23711 Mar 20 23:24 falta-misandria-intro.tex.html -rw-r--r-- 1 edrx edrx 11385 Feb 21 2020 falta-misandria-nismos.tex -rw-r--r-- 1 edrx edrx 13675 Mar 20 23:24 falta-misandria-nismos.tex.html -rw-r--r-- 1 edrx edrx 1273 Feb 21 2020 falta-misandria-print.tex -rw-r--r-- 1 edrx edrx 2309 Mar 20 23:24 falta-misandria-print.tex.html -rw-r--r-- 1 edrx edrx 14855 Feb 21 2020 falta-misandria-rh.tex -rw-r--r-- 1 edrx edrx 18012 Mar 20 23:24 falta-misandria-rh.tex.html -rw-r--r-- 2 edrx edrx 43355 Jun 1 2018 falta-misandria-scr.pdf -rw-r--r-- 1 edrx edrx 18483 Feb 21 2020 falta-misandria-scr.tex -rw-r--r-- 1 edrx edrx 21384 Mar 20 23:24 falta-misandria-scr.tex.html -rw-r--r-- 1 edrx edrx 8582 Feb 21 2020 falta-misandria-tf.tex -rw-r--r-- 1 edrx edrx 10706 Mar 20 23:24 falta-misandria-tf.tex.html -rw-r--r-- 1 edrx edrx 13602 Feb 21 2020 falta-misandria-tf0.tex -rw-r--r-- 1 edrx edrx 16357 Mar 20 23:24 falta-misandria-tf0.tex.html -rw-r--r-- 2 edrx edrx 252898 Feb 28 2018 falta-misandria-v.pdf -rw-r--r-- 1 edrx edrx 138436 Feb 21 2020 falta-misandria-v.tex -rw-r--r-- 1 edrx edrx 149901 Mar 20 23:24 falta-misandria-v.tex.html -rw-r--r-- 2 edrx edrx 54701 Jan 27 2018 falta-misandria-v.tgz -rw-r--r-- 2 edrx edrx 53390 Feb 28 2018 falta-misandria-v.zip -rw-r--r-- 2 edrx edrx 264608 Oct 24 2015 falta-misandria.pdf -rw-r--r-- 1 edrx edrx 10083 Feb 21 2020 filters.bib -rw-r--r-- 1 edrx edrx 18647 Mar 20 23:24 filters.bib.html -rw-r--r-- 2 edrx www-data 54936 Feb 23 2010 forest.pdf -rw-r--r-- 1 edrx edrx 11057 Feb 21 2020 forest.tex -rw-r--r-- 1 edrx edrx 11977 Mar 20 23:24 forest.tex.html -rw-r--r-- 1 edrx edrx 4696 Feb 21 2020 frob-sketch.eps -rw-r--r-- 1 edrx edrx 86 Feb 21 2020 gray50.bmp -rw-r--r-- 1 edrx edrx 86 Feb 21 2020 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 32203 Apr 3 2020 istanbul-handouts.tex -rw-r--r-- 1 edrx edrx 39480 Mar 20 23:24 istanbul-handouts.tex.html -rw-r--r-- 2 edrx edrx 200642 Aug 5 2015 istanbul-july.pdf -rw-r--r-- 1 edrx edrx 50431 Feb 21 2020 istanbul-july.tex -rw-r--r-- 1 edrx edrx 60919 Mar 20 23:24 istanbul-july.tex.html -rw-r--r-- 1 edrx edrx 106221 Feb 21 2020 istanbul1.org -rw-r--r-- 1 edrx edrx 114587 Mar 20 23:24 istanbul1.org.html -rw-r--r-- 2 edrx edrx 383060 Jun 25 2015 istanbul1.pdf -rw-r--r-- 1 edrx edrx 96174 Feb 21 2020 istanbul1.tex -rw-r--r-- 1 edrx edrx 101697 Mar 20 23:24 istanbul1.tex.html -rw-r--r-- 1 edrx edrx 10992 Feb 21 2020 istanbulall.lua -rw-r--r-- 1 edrx edrx 20384 Mar 20 23:24 istanbulall.lua.html -rw-r--r-- 1 edrx edrx 6342 Feb 21 2020 istanbuldefs.tex -rw-r--r-- 1 edrx edrx 8374 Mar 20 23:24 istanbuldefs.tex.html -rw-r--r-- 1 edrx edrx 5829 Feb 1 2021 istanbulglyphs.el -rw-r--r-- 1 edrx edrx 7930 Mar 20 23:24 istanbulglyphs.el.html -rw-r--r-- 1 edrx edrx 34228 Feb 21 2020 istanbulquotes.tex -rw-r--r-- 1 edrx edrx 45541 Mar 20 23:24 istanbulquotes.tex.html -rw-r--r-- 1 edrx edrx 1744 Feb 21 2020 kaplansky.tex -rw-r--r-- 1 edrx edrx 3075 Mar 20 23:24 kaplansky.tex.html -rw-r--r-- 1 edrx edrx 1139 Feb 21 2020 lualoader.lua -rw-r--r-- 1 edrx edrx 2270 Mar 20 23:24 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 Feb 21 2020 maira.tex -rw-r--r-- 1 edrx edrx 35977 Mar 20 23:24 maira.tex.html -rw-r--r-- 1 edrx edrx 17092 Feb 21 2020 mar99a.dn -rw-r--r-- 1 edrx edrx 16265 Feb 21 2020 mar99a.dnt -rw-r--r-- 1 edrx edrx 13836 Feb 21 2020 mar99b.dn -rw-r--r-- 1 edrx edrx 11958 Feb 21 2020 mar99b.dnt -rw-r--r-- 1 edrx edrx 808 Mar 3 2020 material-para-GA.md -rw-r--r-- 1 edrx edrx 1490 Mar 20 23:24 material-para-GA.md.html -rw-r--r-- 2 edrx edrx 465239 Feb 21 2020 material-para-GA.pdf -rw-r--r-- 1 edrx edrx 163050 Feb 16 23:03 material-para-GA.tex -rw-r--r-- 1 edrx edrx 196061 Mar 20 23:24 material-para-GA.tex.html -rw-r--r-- 2 edrx edrx 163164 Feb 21 2020 material-para-GA.tgz -rw-r--r-- 2 edrx edrx 181458 Feb 21 2020 material-para-GA.zip -rw-r--r-- 1 edrx edrx 3804 Jun 6 2020 mynewunicodechar.sty -rw-r--r-- 1 edrx edrx 4930 Mar 20 23:24 mynewunicodechar.sty.html -rw-r--r-- 1 edrx edrx 1019 Feb 21 2020 myrepl.lua -rw-r--r-- 1 edrx edrx 2098 Mar 20 23:24 myrepl.lua.html -rw-r--r-- 1 edrx edrx 8106 Feb 21 2020 passo-a-passo-concurso.tex -rw-r--r-- 1 edrx edrx 10354 Mar 20 23:24 passo-a-passo-concurso.tex.html -rw-r--r-- 1 edrx edrx 138085 Feb 21 2020 personas-sexuais-cap-1.tex -rw-r--r-- 1 edrx edrx 148838 Mar 20 23:24 personas-sexuais-cap-1.tex.html -rw-r--r-- 1 edrx edrx 2199 Feb 21 2020 phil.bib -rw-r--r-- 1 edrx edrx 3215 Mar 20 23:24 phil.bib.html -rw-r--r-- 2 edrx www-data 115662 Jan 12 2004 poep.pdf -rw-r--r-- 1 edrx edrx 45826 Feb 21 2020 poep.tex -rw-r--r-- 1 edrx edrx 46798 Mar 20 23:24 poep.tex.html -rw-r--r-- 1 edrx edrx 10467 Feb 21 2020 proof.edrx.sty -rw-r--r-- 2 edrx www-data 45650 Jan 12 2004 reinhab.pdf -rw-r--r-- 1 edrx edrx 16165 Feb 21 2020 reinhab.tex -rw-r--r-- 1 edrx edrx 17046 Mar 20 23:24 reinhab.tex.html -rw-r--r-- 2 edrx www-data 272818 Nov 4 2012 rrj.pdf -rw-r--r-- 1 edrx edrx 135903 Feb 21 2020 rrj.tex -rw-r--r-- 1 edrx edrx 159709 Mar 20 23:24 rrj.tex.html -rw-r--r-- 1 edrx edrx 14977 Feb 21 2020 tese2.sty -rw-r--r-- 1 edrx edrx 17339 Mar 20 23:24 tese2.sty.html -rw-r--r-- 1 edrx edrx 2598 Feb 21 2020 testdynkin.tex -rw-r--r-- 1 edrx edrx 3308 Mar 20 23:24 testdynkin.tex.html -rw-r--r-- 2 edrx edrx 22695 Jan 9 2020 tmp.pdf -rw-r--r-- 1 edrx edrx 5311 Feb 8 00:14 tmp.tex -rw-r--r-- 1 edrx edrx 8046 Mar 20 23:24 tmp.tex.html -rw-r--r-- 1 edrx edrx 1817 Feb 21 2020 tmppgf.tex -rw-r--r-- 1 edrx edrx 3277 Mar 20 23:24 tmppgf.tex.html -rw-r--r-- 1 edrx edrx 545 Feb 21 2020 twot-boxes.lua -rw-r--r-- 1 edrx edrx 1349 Mar 20 23:24 twot-boxes.lua.html -rw-r--r-- 1 edrx edrx 3871 Feb 21 2020 twot-pages.lua -rw-r--r-- 1 edrx edrx 4617 Mar 20 23:24 twot-pages.lua.html -rw-r--r-- 1 edrx edrx 2409 Feb 21 2020 twot-paragraph.lua -rw-r--r-- 1 edrx edrx 3245 Mar 20 23:24 twot-paragraph.lua.html -rw-r--r-- 1 edrx edrx 799 Feb 21 2020 twot.tex -rw-r--r-- 1 edrx edrx 1735 Mar 20 23:24 twot.tex.html -rw-r--r-- 1 edrx edrx 3475 Feb 21 2020 vgatim.sty -rw-r--r-- 2 edrx edrx 176760 Apr 8 2015 whipping-girl.pdf -rw-r--r-- 1 edrx edrx 53908 Feb 21 2020 whipping-girl.tex -rw-r--r-- 1 edrx edrx 55255 Mar 20 23:24 whipping-girl.tex.html -rw-r--r-- 2 edrx www-data 41006 Jan 12 2004 yogphi.pdf -rw-r--r-- 1 edrx edrx 9299 Feb 21 2020 yogphi.tex -rw-r--r-- 1 edrx edrx 10357 Mar 20 23:24 yogphi.tex.html -rw-r--r-- 1 edrx edrx 1272 Feb 21 2020 zinc.icn -rw-r--r-- 1 edrx edrx 4258 Feb 21 2020 zlib.icn