drwxr-xr-x 2 edrx edrx 36864 Dec 23 2022 ./ drwxr-xr-x 315 edrx edrx 61440 May 31 09:20 ../ -rw-r--r-- 1 edrx edrx 1970 Feb 21 2020 2014-evil-presheaf.png -rw-r--r-- 1 edrx edrx 32070 Jun 3 2025 20161221_selana_diagramas_small.jpg -rw-r--r-- 1 edrx edrx 4561 Feb 21 2020 2017cwm.png -rw-r--r-- 1 edrx edrx 1897 Feb 21 2020 2018vichy-vgms.png -rw-r--r-- 1 edrx edrx 6456 Feb 21 2020 2019-viipl.png -rw-r--r-- 1 edrx edrx 24613 May 13 2024 2020-find-here-links-small.png -rw-r--r-- 1 edrx edrx 263690 May 13 2024 2020-find-here-links.png -rw-r--r-- 1 edrx edrx 2443 Jul 19 2021 2020clops-and-tops-4-1.png -rw-r--r-- 1 edrx edrx 7769 Jul 19 2021 2020clops-and-tops-4-2-small.png -rw-r--r-- 1 edrx edrx 27170 Jul 19 2021 2020clops-and-tops-4-2.png -rw-r--r-- 1 edrx edrx 4205 Nov 6 2020 2020clops-and-tops.png -rw-r--r-- 1 edrx edrx 3776 Jun 26 2020 2020favorite-conventions.png -rw-r--r-- 1 edrx edrx 60663 Mar 3 2023 2021-1-C2-somas-1-dicas-small.png -rw-r--r-- 1 edrx edrx 26423 Mar 3 2023 2021-2-c3-cabos-na-diagonal-small.png -rw-r--r-- 1 edrx edrx 55759 Dec 7 2021 2021-emacs-tcl-bridge.png -rw-r--r-- 1 edrx edrx 6496 Feb 3 2024 2021-emacsconf2021-dednat6-small.png -rw-r--r-- 1 edrx edrx 51236 Feb 3 2024 2021-emacsconf2021-dednat6.png -rw-r--r-- 1 edrx edrx 9429 Mar 23 2021 2021-excuse-tt.png -rw-r--r-- 1 edrx edrx 31640 Dec 26 2021 2021-ffll-small.png -rw-r--r-- 1 edrx edrx 37794 Dec 29 2021 2021-find-agdatype-small.png -rw-r--r-- 1 edrx edrx 1744 Mar 23 2021 2021-groth-tops.png -rw-r--r-- 1 edrx edrx 35377 Nov 8 2021 2021-oficina-1-small.png -rw-r--r-- 1 edrx edrx 25147 Nov 9 2021 2021-oficina-2-small.png -rw-r--r-- 1 edrx edrx 34400 Dec 11 2021 2021-org-for-non-users-small.png -rw-r--r-- 1 edrx edrx 176911 Sep 13 2021 2021-square-cube-3.png -rw-r--r-- 1 edrx edrx 108295 Sep 12 2021 2021-square-cube.png -rw-r--r-- 1 edrx edrx 45622 Nov 29 2021 2021-workshop-0.png -rw-r--r-- 1 edrx edrx 15270 Dec 1 2021 2021-workshop-1-small.png -rw-r--r-- 1 edrx edrx 38073 Dec 2 2021 2021-workshop-2-small.png -rw-r--r-- 1 edrx edrx 13160 Dec 3 2021 2021-workshop-3-small.png -rw-r--r-- 1 edrx edrx 17033 Dec 4 2021 2021-workshop-4-small.png -rw-r--r-- 1 edrx edrx 29358 Dec 4 2021 2021-workshop-5-small.png -rw-r--r-- 1 edrx edrx 32253 Dec 4 2021 2021-workshop-6-small.png -rw-r--r-- 1 edrx edrx 40063 Mar 3 2023 2021aulas-por-telegram-small.png -rw-r--r-- 1 edrx edrx 17971 Aug 18 2022 2021emacsconf-p03-small.png -rw-r--r-- 1 edrx edrx 25939 Aug 18 2022 2021emacsconf-p04-small.png -rw-r--r-- 1 edrx edrx 20628 Aug 18 2022 2021emacsconf-p05-small.png -rw-r--r-- 1 edrx edrx 24744 Aug 18 2022 2021emacsconf-p06-small.png -rw-r--r-- 1 edrx edrx 29003 Aug 18 2022 2021emacsconf-p10-small.png -rw-r--r-- 1 edrx edrx 30136 Nov 5 2021 2021emacsconf-small.png -rw-r--r-- 1 edrx edrx 67188 Nov 5 2021 2021projeto-de-ensino-small.png -rw-r--r-- 1 edrx edrx 17595 Jan 1 2022 2022-agda-logic-distrib-1-small.png -rw-r--r-- 1 edrx edrx 115399 Jan 1 2022 2022-agda-logic-distrib-1.png -rw-r--r-- 1 edrx edrx 16636 Jan 1 2022 2022-agda-logic-simple-1-2-small.png -rw-r--r-- 1 edrx edrx 102502 Jan 1 2022 2022-agda-logic-simple-1-2.png -rw-r--r-- 1 edrx edrx 9349 Sep 20 2022 2022-eev-cabal-small.png -rw-r--r-- 1 edrx edrx 68991 Sep 20 2022 2022-eev-cabal.png -rw-r--r-- 1 edrx edrx 7285 Oct 25 2022 2022-eev-download-video-2-small.png -rw-r--r-- 1 edrx edrx 56829 Oct 25 2022 2022-eev-download-video-2.png -rw-r--r-- 1 edrx edrx 8323 Oct 25 2022 2022-eev-download-video-small.png -rw-r--r-- 1 edrx edrx 61854 Oct 25 2022 2022-eev-download-video.png -rw-r--r-- 1 edrx edrx 38166 Jan 4 2022 2022-eev-make-0-small.png -rw-r--r-- 1 edrx edrx 18854 Jan 6 2022 2022-eev-make-2-small.png -rw-r--r-- 1 edrx edrx 141070 Jan 6 2022 2022-eev-make-2.png -rw-r--r-- 1 edrx edrx 29864 May 15 2022 2022-eev-wconfig-gwen-small.png -rw-r--r-- 1 edrx edrx 344887 May 15 2022 2022-eev-wconfig-gwen.png -rw-r--r-- 1 edrx edrx 4076 May 4 2022 2022-eev-wconfig-init-file-small.png -rw-r--r-- 1 edrx edrx 37123 May 4 2022 2022-eev-wconfig-init-file.png -rw-r--r-- 1 edrx edrx 2546 May 4 2022 2022-eev-wconfig-main-small.png -rw-r--r-- 1 edrx edrx 23739 May 4 2022 2022-eev-wconfig-main.png -rw-r--r-- 1 edrx edrx 46911 May 2 2022 2022-eev-wconfig-pt-1-small.png -rw-r--r-- 1 edrx edrx 625613 May 2 2022 2022-eev-wconfig-pt-1.png -rw-r--r-- 1 edrx edrx 49237 May 3 2022 2022-eev-wconfig-pt-2-small.png -rw-r--r-- 1 edrx edrx 545518 May 3 2022 2022-eev-wconfig-pt-2.png -rw-r--r-- 1 edrx edrx 28013 Jan 2 2022 2022-emaxima-1-small.png -rw-r--r-- 1 edrx edrx 160410 Jan 2 2022 2022-emaxima-1.png -rw-r--r-- 1 edrx edrx 25140 Jan 2 2022 2022-emaxima-2-small.png -rw-r--r-- 1 edrx edrx 164342 Jan 2 2022 2022-emaxima-2.png -rw-r--r-- 1 edrx edrx 4175 Aug 22 2022 2022-eshell-tut-foo-small.png -rw-r--r-- 1 edrx edrx 41668 Aug 22 2022 2022-eshell-tut-foo.png -rw-r--r-- 1 edrx edrx 16248 Feb 1 2022 2022-find-agdanorm-small.png -rw-r--r-- 1 edrx edrx 104658 Feb 1 2022 2022-find-agdanorm.png -rw-r--r-- 1 edrx edrx 34671 Jan 16 2022 2022-find-eev-angg-demo-small.png -rw-r--r-- 1 edrx edrx 5645 Apr 4 2022 2022-find-eev-angg-redef-small.png -rw-r--r-- 1 edrx edrx 41189 Apr 4 2022 2022-find-eev-angg-redef.png -rw-r--r-- 1 edrx edrx 42297 Jan 15 2022 2022-find-eev-angg-small.png -rw-r--r-- 1 edrx edrx 32585 Jan 24 2022 2022-find-elisp-intro-small.png -rw-r--r-- 1 edrx edrx 2359 Oct 9 2022 2022-find-ghc-links-small.png -rw-r--r-- 1 edrx edrx 24715 Oct 9 2022 2022-find-ghc-links.png -rw-r--r-- 1 edrx edrx 6563 Apr 4 2022 2022-find-newbrowser-links-small.png -rw-r--r-- 1 edrx edrx 49603 Apr 4 2022 2022-find-newbrowser-links.png -rw-r--r-- 1 edrx edrx 4736 Apr 4 2022 2022-find-newpdfviewer-links-small.png -rw-r--r-- 1 edrx edrx 35909 Apr 4 2022 2022-find-newpdfviewer-links.png -rw-r--r-- 1 edrx edrx 6203 Apr 4 2022 2022-find-red-star-links-small.png -rw-r--r-- 1 edrx edrx 47645 Apr 4 2022 2022-find-red-star-links.png -rw-r--r-- 1 edrx edrx 7807 Jan 15 2022 2022-maxima-doeval-small.png -rw-r--r-- 1 edrx edrx 61637 Jan 15 2022 2022-maxima-doeval.png -rw-r--r-- 1 edrx edrx 13433 Apr 18 2022 2022-pict2e-lua-small.png -rw-r--r-- 1 edrx edrx 12883 Apr 19 2022 2022-pict2e-lua-video-small.png -rw-r--r-- 1 edrx edrx 68878 Apr 19 2022 2022-pict2e-lua-video.png -rw-r--r-- 1 edrx edrx 53529 Apr 18 2022 2022-pict2e-lua.png -rw-r--r-- 1 edrx edrx 64429 Apr 18 2022 2022-sitio-a-cuca-vai-pegar-EP01.jpg -rw-r--r-- 1 edrx edrx 38812 Dec 23 2022 2022-smaller-fullscreen-no-small.png -rw-r--r-- 2 edrx edrx 340130 Dec 23 2022 2022-smaller-fullscreen-no.png -rw-r--r-- 1 edrx edrx 28322 Dec 23 2022 2022-smaller-fullscreen-yes-small.png -rw-r--r-- 2 edrx edrx 258011 Dec 23 2022 2022-smaller-fullscreen-yes.png -rw-r--r-- 1 edrx edrx 51125 Nov 2 2022 2022-tikz-video-small.png -rw-r--r-- 1 edrx edrx 52744 Oct 20 2022 2022-yttranscript-video-small.png -rw-r--r-- 1 edrx edrx 6274 Mar 28 2022 2022agda-mode-prop-small.png -rw-r--r-- 1 edrx edrx 43859 Mar 28 2022 2022agda-mode-prop.png -rw-r--r-- 1 edrx edrx 1589 Apr 4 2022 2022ee-hyperlink-prefix-small.png -rw-r--r-- 1 edrx edrx 22403 Apr 4 2022 2022ee-hyperlink-prefix.png -rw-r--r-- 1 edrx edrx 8918 Mar 27 2022 2022eepitch-emlua-0-small.png -rw-r--r-- 1 edrx edrx 65107 Mar 27 2022 2022eepitch-emlua-0.png -rw-r--r-- 1 edrx edrx 5675 Apr 4 2022 2022eev-calc-0-small.png -rw-r--r-- 1 edrx edrx 44898 Apr 4 2022 2022eev-calc-0.png -rw-r--r-- 1 edrx edrx 6078 Apr 1 2022 2022eev-svg-def-integral-small.png -rw-r--r-- 1 edrx edrx 41293 Apr 1 2022 2022eev-svg-def-integral.png -rw-r--r-- 1 edrx edrx 6125 Apr 1 2022 2022eev-svg-img-interval-small.png -rw-r--r-- 1 edrx edrx 40882 Apr 1 2022 2022eev-svg-img-interval.png -rw-r--r-- 1 edrx edrx 13469 Apr 1 2022 2022eev-svg-script-0-small.png -rw-r--r-- 1 edrx edrx 52533 Apr 1 2022 2022eev-svg-script-0.png -rw-r--r-- 1 edrx edrx 7972 Apr 1 2022 2022eev-svg-sela-small.png -rw-r--r-- 1 edrx edrx 57935 Apr 1 2022 2022eev-svg-sela.png -rw-r--r-- 1 edrx edrx 17560 Oct 24 2022 2022eev-tik1-shape-rect-small.png -rw-r--r-- 1 edrx edrx 67546 Oct 24 2022 2022eev-tik1-shape-rect.png -rw-r--r-- 1 edrx edrx 7559 Dec 8 2022 2022eev-videos-1c-small.png -rw-r--r-- 1 edrx edrx 68362 Dec 8 2022 2022eev-videos-1c.png -rw-r--r-- 1 edrx edrx 18086 Dec 8 2022 2022eev-videos-not-found-small.png -rw-r--r-- 1 edrx edrx 66802 Dec 8 2022 2022eev-videos-not-found.png -rw-r--r-- 1 edrx edrx 7130 Dec 8 2022 2022eev-videos-psne-ing-small.png -rw-r--r-- 1 edrx edrx 55728 Dec 8 2022 2022eev-videos-psne-ing.png -rw-r--r-- 1 edrx edrx 59847 Apr 4 2022 2022find-1stclassvideos.png -rw-r--r-- 1 edrx edrx 5857 Nov 24 2022 2022find-git-links-small.png -rw-r--r-- 1 edrx edrx 47029 Nov 24 2022 2022find-git-links.png -rw-r--r-- 1 edrx edrx 6934 Oct 20 2022 2022find-importlib-links-small.png -rw-r--r-- 1 edrx edrx 53985 Oct 20 2022 2022find-importlib-links.png -rw-r--r-- 1 edrx edrx 21196 Dec 19 2022 2022find-mpv-links-small.png -rw-r--r-- 1 edrx edrx 113436 Dec 19 2022 2022find-mpv-links.png -rw-r--r-- 1 edrx edrx 3869 Oct 19 2022 2022find-pip3-links-small.png -rw-r--r-- 1 edrx edrx 33451 Oct 19 2022 2022find-pip3-links.png -rw-r--r-- 1 edrx edrx 7005 Oct 20 2022 2022find-pypi-links-small.png -rw-r--r-- 1 edrx edrx 52905 Oct 20 2022 2022find-pypi-links.png -rw-r--r-- 1 edrx edrx 9531 Mar 30 2022 2022find-yttranscript-links-small.png -rw-r--r-- 1 edrx edrx 81440 Mar 30 2022 2022find-yttranscript-links.png -rw-r--r-- 1 edrx edrx 7123 Mar 11 2022 2022on-the-missing.png -rw-r--r-- 1 edrx edrx 4165 Oct 28 2022 2022tiks-h-and-v-small.png -rw-r--r-- 1 edrx edrx 33842 Oct 28 2022 2022tiks-h-and-v.png -rw-r--r-- 1 edrx edrx 5326 Nov 9 2022 2022tikz-exercises-small.png -rw-r--r-- 1 edrx edrx 48232 Nov 9 2022 2022tikz-exercises.png -rw-r--r-- 1 edrx edrx 5145 Oct 28 2022 2022tikz-h-and-v-small.png -rw-r--r-- 1 edrx edrx 39529 Oct 28 2022 2022tikz-h-and-v.png -rw-r--r-- 1 edrx edrx 19465 Nov 10 2022 2022tikz-magnetic-small.png -rw-r--r-- 1 edrx edrx 83583 Nov 10 2022 2022tikz-magnetic.png -rw-r--r-- 1 edrx edrx 5666 Nov 2 2022 2022tikz-objects-small.png -rw-r--r-- 1 edrx edrx 42194 Nov 2 2022 2022tikz-objects.png -rw-r--r-- 1 edrx edrx 3817 Nov 2 2022 2022tikz-pdftoolsr-small.png -rw-r--r-- 1 edrx edrx 38245 Nov 2 2022 2022tikz-pdftoolsr.png -rw-r--r-- 1 edrx edrx 5578 Nov 2 2022 2022tikz-show-small.png -rw-r--r-- 1 edrx edrx 48810 Nov 2 2022 2022tikz-show.png -rw-r--r-- 1 edrx edrx 6793 Nov 2 2022 2022tikz-showtex-small.png -rw-r--r-- 1 edrx edrx 54855 Nov 2 2022 2022tikz-showtex.png -rw-r--r-- 1 edrx edrx 7468 Nov 9 2022 2022tikz-texrun-small.png -rw-r--r-- 1 edrx edrx 65032 Nov 9 2022 2022tikz-texrun.png -rw-r--r-- 1 edrx edrx 10513 Jun 28 2025 2023-08-09-depoimento-eduardo-small.jpg -rw-r--r-- 1 edrx edrx 6149 Apr 15 2023 2023-Ast1-small.png -rw-r--r-- 1 edrx edrx 45966 Apr 15 2023 2023-Ast1.png -rw-r--r-- 1 edrx edrx 7153 Aug 21 2023 2023-ELpeg1-Gram-tests-small.png -rw-r--r-- 1 edrx edrx 57558 Aug 21 2023 2023-ELpeg1-Gram-tests.png -rw-r--r-- 1 edrx edrx 6630 Aug 21 2023 2023-ELpeg1-assoc-small.png -rw-r--r-- 1 edrx edrx 47548 Aug 21 2023 2023-ELpeg1-assoc.png -rw-r--r-- 1 edrx edrx 8295 Apr 21 2023 2023-ELpeg2-small.png -rw-r--r-- 1 edrx edrx 56298 Apr 21 2023 2023-ELpeg2.png -rw-r--r-- 1 edrx edrx 5654 Mar 25 2023 2023-Gram1-small.png -rw-r--r-- 1 edrx edrx 47039 Mar 25 2023 2023-Gram1.png -rw-r--r-- 1 edrx edrx 7795 Apr 1 2023 2023-Gram3-small.png -rw-r--r-- 1 edrx edrx 61772 Apr 1 2023 2023-Gram3.png -rw-r--r-- 1 edrx edrx 4530 Feb 6 2023 2023-blogme-class-parsers-small.png -rw-r--r-- 1 edrx edrx 37277 Feb 6 2023 2023-blogme-class-parsers.png -rw-r--r-- 1 edrx edrx 3832 Feb 6 2023 2023-blogme-class-print-defs-small.png -rw-r--r-- 1 edrx edrx 35030 Feb 6 2023 2023-blogme-class-print-defs.png -rw-r--r-- 1 edrx edrx 24443 Mar 3 2023 2023-caepro-VR-small.png -rw-r--r-- 1 edrx edrx 45687 Mar 2 2023 2023-caepro-o-que-sobra-small.png -rw-r--r-- 1 edrx edrx 77342 Mar 3 2023 2023-caepro0-small.png -rw-r--r-- 1 edrx edrx 5054 Oct 23 2023 2023-find-sandwichsexp-links-small.png -rw-r--r-- 1 edrx edrx 41034 Oct 23 2023 2023-find-sandwichsexp-links.png -rw-r--r-- 1 edrx edrx 4022 Nov 13 2023 2023-lua-repl-prefix-small.png -rw-r--r-- 1 edrx edrx 40724 Nov 13 2023 2023-lua-repl-prefix.png -rw-r--r-- 1 edrx edrx 6951 Sep 30 2023 2023-pn1-folium-small.png -rw-r--r-- 1 edrx edrx 54007 Sep 30 2023 2023-pn1-folium.png -rw-r--r-- 1 edrx edrx 23373 Mar 19 2023 2023-precisamos-de-mais-slogans-small.png -rw-r--r-- 1 edrx edrx 22209 Sep 19 2023 2023-qdraw-lissajous-small.png -rw-r--r-- 1 edrx edrx 85399 Sep 19 2023 2023-qdraw-lissajous.png -rw-r--r-- 1 edrx edrx 19823 Sep 30 2023 2023-qdraw-parabola-small.png -rw-r--r-- 1 edrx edrx 77326 Sep 30 2023 2023-qdraw-parabola.png -rw-r--r-- 1 edrx edrx 46732 Jan 31 2023 2023-squeak-item1ctsa-small.png -rw-r--r-- 1 edrx edrx 346092 Jan 31 2023 2023-squeak-item1ctsa.png -rw-r--r-- 1 edrx edrx 17265 Feb 25 2023 2023-tk-pack-small.png -rw-r--r-- 1 edrx edrx 76494 Feb 25 2023 2023-tk-pack.png -rw-r--r-- 1 edrx edrx 19243 Mar 12 2023 2023-visual-vs-auditivo-small.png -rw-r--r-- 1 edrx edrx 7464 Jan 11 2023 2023find-try-sly-links-0-small.png -rw-r--r-- 1 edrx edrx 61477 Jan 11 2023 2023find-try-sly-links-0.png -rw-r--r-- 1 edrx edrx 4093 Jan 4 2024 2023loeliger-gitk-mini.png -rw-r--r-- 1 edrx edrx 27881 Jan 4 2024 2023loeliger-gitk.png -rw-r--r-- 1 edrx edrx 220175 Dec 31 2023 2023loeliger.gif -rw-r--r-- 1 edrx edrx 7455 Jun 9 2024 2024-LuaTreeLean-1-small.png -rw-r--r-- 1 edrx edrx 48684 Jun 9 2024 2024-LuaTreeLean-1.png -rw-r--r-- 1 edrx edrx 5572 Jun 22 2024 2024-LuaTreeLean-2-small.png -rw-r--r-- 1 edrx edrx 43840 Jun 22 2024 2024-LuaTreeLean-2.png -rw-r--r-- 1 edrx edrx 16463 Nov 3 2024 2024-Maxima2-lua-demo-small.jpg -rw-r--r-- 1 edrx edrx 69638 Nov 3 2024 2024-Maxima2-lua-demo.jpg -rw-r--r-- 1 edrx edrx 16036 Feb 6 2024 2024-ParseTikz1-1-small.png -rw-r--r-- 1 edrx edrx 58151 Feb 6 2024 2024-ParseTikz1-1.png -rw-r--r-- 1 edrx edrx 9398 Jan 28 2024 2024-Repl3-Prosody-small.png -rw-r--r-- 1 edrx edrx 66855 Jan 28 2024 2024-Repl3-Prosody.png -rw-r--r-- 1 edrx edrx 8321 Jan 28 2024 2024-Repl3-Repl-tests-1-small.png -rw-r--r-- 1 edrx edrx 60301 Jan 28 2024 2024-Repl3-Repl-tests-1.png -rw-r--r-- 1 edrx edrx 9363 Jan 28 2024 2024-Repl3-Repl-tests-2-small.png -rw-r--r-- 1 edrx edrx 63761 Jan 28 2024 2024-Repl3-Repl-tests-2.png -rw-r--r-- 1 edrx edrx 8416 Jan 28 2024 2024-Repl3-Repl-tests-3-small.png -rw-r--r-- 1 edrx edrx 59667 Jan 28 2024 2024-Repl3-Repl-tests-3.png -rw-r--r-- 1 edrx edrx 3136 Jan 27 2024 2024-Repl3-debug-debug-small.png -rw-r--r-- 1 edrx edrx 27373 Jan 27 2024 2024-Repl3-debug-debug.png -rw-r--r-- 1 edrx edrx 12012 Jan 28 2024 2024-Repl3-find-luatb-small.png -rw-r--r-- 1 edrx edrx 77137 Jan 28 2024 2024-Repl3-find-luatb.png -rw-r--r-- 1 edrx edrx 8155 Nov 7 2024 2024-bash-1-small.png -rw-r--r-- 1 edrx edrx 58442 Nov 7 2024 2024-bash-1.png -rw-r--r-- 1 edrx edrx 10126 Nov 7 2024 2024-bash-2-small.png -rw-r--r-- 1 edrx edrx 67403 Nov 7 2024 2024-bash-2.png -rw-r--r-- 1 edrx edrx 4747 Nov 7 2024 2024-bash-3-small.png -rw-r--r-- 1 edrx edrx 38547 Nov 7 2024 2024-bash-3.png -rw-r--r-- 1 edrx edrx 17361 Dec 1 2024 2024-bash-test-blocks-small.png -rw-r--r-- 1 edrx edrx 92066 Dec 1 2024 2024-bash-test-blocks.png -rw-r--r-- 1 edrx edrx 40794 Aug 8 2024 2024-convite-maxima-small.png -rw-r--r-- 1 edrx edrx 4696 Jul 25 2024 2024-cut-and-paste-1-small.png -rw-r--r-- 1 edrx edrx 39400 Jul 25 2024 2024-cut-and-paste-1.png -rw-r--r-- 1 edrx edrx 13427 Jul 25 2024 2024-cut-and-paste-2-small.png -rw-r--r-- 1 edrx edrx 51540 Jul 25 2024 2024-cut-and-paste-2.png -rw-r--r-- 1 edrx edrx 28125 Jul 25 2024 2024-cut-and-paste-3-small.png -rw-r--r-- 1 edrx edrx 151643 Jul 25 2024 2024-cut-and-paste-3.png -rw-r--r-- 1 edrx edrx 4301 Jul 25 2024 2024-cut-and-paste-4-small.png -rw-r--r-- 1 edrx edrx 37847 Jul 25 2024 2024-cut-and-paste-4.png -rw-r--r-- 1 edrx edrx 14767 Jul 21 2024 2024-cut-and-paste-5-small.png -rw-r--r-- 1 edrx edrx 54555 Jul 21 2024 2024-cut-and-paste-5.png -rw-r--r-- 1 edrx edrx 17791 Oct 12 2024 2024-eepitch-debug-small.png -rw-r--r-- 1 edrx edrx 64926 Oct 12 2024 2024-eepitch-debug.png -rw-r--r-- 1 edrx edrx 12768 Jan 6 2024 2024-eev-git-small.jpg -rw-r--r-- 1 edrx edrx 123894 Jan 6 2024 2024-eev-git.jpg -rw-r--r-- 1 edrx edrx 44202 Sep 24 2024 2024-emacs-graphical-eev-small.png -rw-r--r-- 1 edrx edrx 84904 Sep 24 2024 2024-emacs-graphical-eev.png -rw-r--r-- 1 edrx edrx 27243 Sep 24 2024 2024-emacs-graphical-splash-small.png -rw-r--r-- 1 edrx edrx 126470 Sep 24 2024 2024-emacs-graphical-splash.png -rw-r--r-- 1 edrx edrx 23957 Nov 29 2024 2024-emacs-gui-and-terminal-small.png -rw-r--r-- 1 edrx edrx 156697 Nov 29 2024 2024-emacs-gui-and-terminal.png -rw-r--r-- 1 edrx edrx 50747 Sep 24 2024 2024-emacs-nw-eev-small.png -rw-r--r-- 1 edrx edrx 68272 Sep 24 2024 2024-emacs-nw-eev.png -rw-r--r-- 1 edrx edrx 12792 Sep 24 2024 2024-emacs-nw-splash-small.png -rw-r--r-- 1 edrx edrx 21477 Sep 24 2024 2024-emacs-nw-splash.png -rw-r--r-- 1 edrx edrx 19391 Dec 7 2024 2024-emacsconf2024-small.png -rw-r--r-- 1 edrx edrx 73318 Dec 7 2024 2024-emacsconf2024.png -rw-r--r-- 1 edrx edrx 12965 Nov 2 2024 2024-emaxima-c3pc-small.png -rw-r--r-- 1 edrx edrx 5300 Nov 2 2024 2024-emaxima-p10-small.jpg -rw-r--r-- 1 edrx edrx 35450 Nov 2 2024 2024-emaxima-p10.jpg -rw-r--r-- 1 edrx edrx 10165 Jul 18 2024 2024-find-dot-emacs-links-0-small.png -rw-r--r-- 1 edrx edrx 87632 Jul 18 2024 2024-find-dot-emacs-links-0.png -rw-r--r-- 1 edrx edrx 2605 Jul 18 2024 2024-find-dot-emacs-links-1-small.png -rw-r--r-- 1 edrx edrx 25319 Jul 18 2024 2024-find-dot-emacs-links-1.png -rw-r--r-- 1 edrx edrx 5012 Jul 19 2024 2024-find-dot-emacs-links-2-small.png -rw-r--r-- 1 edrx edrx 39151 Jul 19 2024 2024-find-dot-emacs-links-2.png -rw-r--r-- 1 edrx edrx 7069 Jul 19 2024 2024-find-dot-emacs-links-3-small.png -rw-r--r-- 1 edrx edrx 48210 Jul 19 2024 2024-find-dot-emacs-links-3.png -rw-r--r-- 1 edrx edrx 21553 Jul 19 2024 2024-find-dot-emacs-links-4-small.png -rw-r--r-- 1 edrx edrx 63414 Jul 19 2024 2024-find-dot-emacs-links-4.png -rw-r--r-- 1 edrx edrx 6216 Oct 12 2024 2024-find-estruct-small.png -rw-r--r-- 1 edrx edrx 47465 Oct 12 2024 2024-find-estruct.png -rw-r--r-- 1 edrx edrx 8988 Feb 1 2024 2024-find-lgreps-1-small.png -rw-r--r-- 1 edrx edrx 60338 Feb 1 2024 2024-find-lgreps-1.png -rw-r--r-- 1 edrx edrx 9509 Feb 1 2024 2024-find-lgreps-2-small.png -rw-r--r-- 1 edrx edrx 61626 Feb 1 2024 2024-find-lgreps-2.png -rw-r--r-- 1 edrx edrx 7570 Feb 1 2024 2024-find-lgreps-3-small.png -rw-r--r-- 1 edrx edrx 52768 Feb 1 2024 2024-find-lgreps-3.png -rw-r--r-- 1 edrx edrx 6204 Jan 19 2024 2024-find-luaso-links-1-small.png -rw-r--r-- 1 edrx edrx 41963 Jan 19 2024 2024-find-luaso-links-1.png -rw-r--r-- 1 edrx edrx 6497 Jan 19 2024 2024-find-luaso-links-2-small.png -rw-r--r-- 1 edrx edrx 47158 Jan 19 2024 2024-find-luaso-links-2.png -rw-r--r-- 1 edrx edrx 6706 Jan 19 2024 2024-find-luaso-links-3-small.png -rw-r--r-- 1 edrx edrx 52815 Jan 19 2024 2024-find-luaso-links-3.png -rw-r--r-- 1 edrx edrx 16718 May 12 2024 2024-find-subed-mpv-links-1-small.png -rw-r--r-- 1 edrx edrx 72796 May 12 2024 2024-find-subed-mpv-links-1.png -rw-r--r-- 1 edrx edrx 6144 Oct 13 2024 2024-find-tryit-3EE-small.png -rw-r--r-- 1 edrx edrx 47371 Oct 13 2024 2024-find-tryit-3EE.png -rw-r--r-- 1 edrx edrx 20834 Dec 20 2024 2024-find-tryit-edebug-1-small.png -rw-r--r-- 1 edrx edrx 67374 Dec 20 2024 2024-find-tryit-edebug-1.png -rw-r--r-- 1 edrx edrx 20539 Dec 20 2024 2024-find-tryit-edebug-2-small.png -rw-r--r-- 1 edrx edrx 68058 Dec 20 2024 2024-find-tryit-edebug-2.png -rw-r--r-- 1 edrx edrx 20107 Oct 10 2024 2024-find-tryit-links-small.png -rw-r--r-- 1 edrx edrx 70844 Oct 10 2024 2024-find-tryit-links.png -rw-r--r-- 1 edrx edrx 6537 Oct 14 2024 2024-find-tryit-with-recursive-small.png -rw-r--r-- 1 edrx edrx 53012 Oct 14 2024 2024-find-tryit-with-recursive.png -rw-r--r-- 1 edrx edrx 6258 Jun 9 2024 2024-import-problem-small.png -rw-r--r-- 1 edrx edrx 50207 Jun 9 2024 2024-import-problem.png -rw-r--r-- 1 edrx edrx 23397 Oct 6 2024 2024-kb-small.png -rw-r--r-- 1 edrx edrx 96941 Oct 6 2024 2024-kb.png -rw-r--r-- 1 edrx edrx 20712 Jul 6 2024 2024-lean4-oficina-0-small.png -rw-r--r-- 1 edrx edrx 112632 Jul 6 2024 2024-lean4-oficina-0.png -rw-r--r-- 1 edrx edrx 5701 Oct 27 2024 2024-lisptree-demo1-small.png -rw-r--r-- 1 edrx edrx 45238 Oct 27 2024 2024-lisptree-demo1.png -rw-r--r-- 1 edrx edrx 6463 Mar 22 2024 2024-maxima-mini.png -rw-r--r-- 1 edrx edrx 12597 Jul 30 2024 2024-no-public-key-small.jpg -rw-r--r-- 1 edrx edrx 154062 Jul 30 2024 2024-no-public-key.jpg -rw-r--r-- 1 edrx edrx 7732 Dec 31 2024 2024-piano-roll-macros-prats-small.png -rw-r--r-- 1 edrx edrx 55378 Dec 31 2024 2024-piano-roll-macros-prats.png -rw-r--r-- 1 edrx edrx 34139 Dec 31 2024 2024-piano-roll-macros-small.png -rw-r--r-- 1 edrx edrx 314907 Dec 31 2024 2024-piano-roll-macros.png -rw-r--r-- 1 edrx edrx 6475 Feb 10 2024 2024-rcd-createuser-small.png -rw-r--r-- 1 edrx edrx 58857 Feb 10 2024 2024-rcd-createuser.png -rw-r--r-- 1 edrx edrx 8809 Mar 3 2024 2024-rdd-small.png -rw-r--r-- 1 edrx edrx 60390 Mar 3 2024 2024-rdd.png -rw-r--r-- 1 edrx edrx 33009 Dec 1 2024 2024-trying-eev-with-a-sexp-small.png -rw-r--r-- 1 edrx edrx 176060 Dec 1 2024 2024-trying-eev-with-a-sexp.png -rw-r--r-- 1 edrx edrx 7581 Jun 21 2024 2024panic-teresopolis.png -rw-r--r-- 1 edrx edrx 9976 Jun 26 2024 2024type-inference-bind-small.png -rw-r--r-- 1 edrx edrx 46079 Jun 26 2024 2024type-inference-bind.png -rw-r--r-- 1 edrx edrx 3238 Sep 7 2025 2025-5-minutos-da-p-do-seu-tempo-small.png -rw-r--r-- 1 edrx edrx 39514 Sep 7 2025 2025-5-minutos-da-p-do-seu-tempo.png -rw-r--r-- 1 edrx edrx 6620 Dec 18 10:18 2025-badly-behaved-4eee-small.png -rw-r--r-- 1 edrx edrx 45644 Dec 18 10:18 2025-badly-behaved-4eee.png -rw-r--r-- 1 edrx edrx 39095 Dec 18 10:00 2025-badly-behaved-title-page-small.png -rw-r--r-- 1 edrx edrx 193450 Dec 18 10:00 2025-badly-behaved-title-page.jpg -rw-r--r-- 1 edrx edrx 3666 Mar 30 2025 2025-bloody-sunday-IRA-small.jpg -rw-r--r-- 1 edrx edrx 30979 Mar 30 2025 2025-bloody-sunday-IRA.jpg -rw-r--r-- 1 edrx edrx 7634 Mar 30 2025 2025-bloody-sunday-press-small.jpg -rw-r--r-- 1 edrx edrx 67346 Mar 30 2025 2025-bloody-sunday-press.jpg -rw-r--r-- 1 edrx edrx 6858 Jan 12 2025 2025-calling-lua-from-common-lisp-hello2-small.png -rw-r--r-- 1 edrx edrx 49336 Jan 12 2025 2025-calling-lua-from-common-lisp-hello2.png -rw-r--r-- 1 edrx edrx 7976 Jan 12 2025 2025-calling-lua-from-common-lisp-sbcl-small.png -rw-r--r-- 1 edrx edrx 52667 Jan 12 2025 2025-calling-lua-from-common-lisp-sbcl.png -rw-r--r-- 1 edrx edrx 8304 Jan 12 2025 2025-calling-lua-from-common-lisp-sly-small.png -rw-r--r-- 1 edrx edrx 52666 Jan 12 2025 2025-calling-lua-from-common-lisp-sly.png -rw-r--r-- 1 edrx edrx 3893 Jul 23 2025 2025-cola-landscape-small.jpg -rw-r--r-- 1 edrx edrx 218373 Jul 23 2025 2025-cola-landscape.jpg -rw-r--r-- 1 edrx edrx 4566 Jul 23 2025 2025-cola-portrait-small.jpg -rw-r--r-- 1 edrx edrx 316135 Jul 23 2025 2025-cola-portrait.jpg -rw-r--r-- 1 edrx edrx 8859 Dec 12 13:28 2025-dim-edrxbox-1-small.png -rw-r--r-- 1 edrx edrx 58763 Dec 12 13:28 2025-dim-edrxbox-1.png -rw-r--r-- 1 edrx edrx 8390 Dec 12 13:35 2025-dim-edrxbox-2-small.png -rw-r--r-- 1 edrx edrx 58796 Dec 12 13:35 2025-dim-edrxbox-2.png -rw-r--r-- 1 edrx edrx 5740 Dec 12 19:46 2025-dim-edrxbox-conv-small.png -rw-r--r-- 1 edrx edrx 41461 Dec 12 19:46 2025-dim-edrxbox-conv.png -rw-r--r-- 1 edrx edrx 8620 Dec 12 18:16 2025-dimension-property-small.png -rw-r--r-- 1 edrx edrx 64334 Dec 12 18:16 2025-dimension-property.png -rw-r--r-- 1 edrx edrx 11819 Dec 12 14:49 2025-dimension-superscript-small.png -rw-r--r-- 1 edrx edrx 80525 Dec 12 14:49 2025-dimension-superscript.png -rw-r--r-- 1 edrx edrx 8776 Sep 24 2025 2025-displa-delegate-1-small.png -rw-r--r-- 1 edrx edrx 60575 Sep 24 2025 2025-displa-delegate-1.png -rw-r--r-- 1 edrx edrx 9683 Sep 24 2025 2025-displa-delegate-2-small.png -rw-r--r-- 1 edrx edrx 68323 Sep 24 2025 2025-displa-delegate-2.png -rw-r--r-- 1 edrx edrx 6620 Sep 24 2025 2025-displa-delegate-3-small.png -rw-r--r-- 1 edrx edrx 47888 Sep 24 2025 2025-displa-delegate-3.png -rw-r--r-- 1 edrx edrx 6031 Sep 24 2025 2025-displa-delegate-4-small.png -rw-r--r-- 1 edrx edrx 43576 Sep 24 2025 2025-displa-delegate-4.png -rw-r--r-- 1 edrx edrx 7323 Oct 12 2025 2025-displa-tex-1-small.png -rw-r--r-- 1 edrx edrx 54753 Oct 12 2025 2025-displa-tex-1.png -rw-r--r-- 1 edrx edrx 4754 Oct 12 2025 2025-displa-tex-2-small.png -rw-r--r-- 1 edrx edrx 37183 Oct 12 2025 2025-displa-tex-2.png -rw-r--r-- 1 edrx edrx 10062 Dec 12 19:23 2025-edrxbox-antideriv-comparison-small.png -rw-r--r-- 1 edrx edrx 69402 Dec 12 19:23 2025-edrxbox-antideriv-comparison.png -rw-r--r-- 1 edrx edrx 7787 Dec 12 19:15 2025-edrxbox-antideriv-small.png -rw-r--r-- 1 edrx edrx 55289 Dec 12 19:15 2025-edrxbox-antideriv.png -rw-r--r-- 1 edrx edrx 8191 Dec 12 13:43 2025-edrxbox-from-form-small.png -rw-r--r-- 1 edrx edrx 56318 Dec 12 13:43 2025-edrxbox-from-form.png -rw-r--r-- 1 edrx edrx 7092 Dec 12 19:10 2025-edrxbox-hdw-small.png -rw-r--r-- 1 edrx edrx 49061 Dec 12 19:10 2025-edrxbox-hdw.png -rw-r--r-- 1 edrx edrx 5920 Dec 12 22:48 2025-edrxbox-top-comments-small.png -rw-r--r-- 1 edrx edrx 47549 Dec 12 22:48 2025-edrxbox-top-comments.png -rw-r--r-- 1 edrx edrx 10877 Dec 12 22:22 2025-edrxbox-underbrace-tex-small.png -rw-r--r-- 1 edrx edrx 73496 Dec 12 22:22 2025-edrxbox-underbrace-tex.png -rw-r--r-- 1 edrx edrx 9461 Dec 12 19:32 2025-edrxbox-underbrace-usu-small.png -rw-r--r-- 1 edrx edrx 63086 Dec 12 19:32 2025-edrxbox-underbrace-usu.png -rw-r--r-- 1 edrx edrx 8209 Dec 12 18:56 2025-edrxbox-verbatimbox-small.png -rw-r--r-- 1 edrx edrx 57158 Dec 12 18:56 2025-edrxbox-verbatimbox.png -rw-r--r-- 1 edrx edrx 5313 Dec 26 07:54 2025-emaxima-display2d-small.png -rw-r--r-- 1 edrx edrx 45222 Dec 26 07:54 2025-emaxima-display2d.png -rw-r--r-- 1 edrx edrx 26369 Dec 26 06:45 2025-emaxima-maximasession-small.png -rw-r--r-- 1 edrx edrx 103469 Dec 26 06:45 2025-emaxima-maximasession.png -rw-r--r-- 1 edrx edrx 8568 May 5 2025 2025-lazynouns-1-small.png -rw-r--r-- 1 edrx edrx 58264 May 5 2025 2025-lazynouns-1.png -rw-r--r-- 1 edrx edrx 5984 May 7 2025 2025-lazynouns-2-small.png -rw-r--r-- 1 edrx edrx 43883 May 7 2025 2025-lazynouns-2.png -rw-r--r-- 1 edrx edrx 5885 May 8 2025 2025-lazynouns-3-small.png -rw-r--r-- 1 edrx edrx 45319 May 8 2025 2025-lazynouns-3.png -rw-r--r-- 1 edrx edrx 5735 Apr 14 2025 2025-lean-calc-sem-rw-small.png -rw-r--r-- 1 edrx edrx 43451 Apr 14 2025 2025-lean-calc-sem-rw.png -rw-r--r-- 1 edrx edrx 5735 Mar 24 2025 2025-lean-marco-small.png -rw-r--r-- 1 edrx edrx 43451 Mar 24 2025 2025-lean-marco.png -rw-r--r-- 1 edrx edrx 6107 Dec 14 07:40 2025-lisptree-barematrixnp-small.png -rw-r--r-- 1 edrx edrx 44862 Dec 14 07:40 2025-lisptree-barematrixnp.png -rw-r--r-- 1 edrx edrx 9200 Oct 4 2025 2025-lisptree-download-test-small.png -rw-r--r-- 1 edrx edrx 61549 Oct 4 2025 2025-lisptree-download-test.png -rw-r--r-- 1 edrx edrx 8001 Jan 26 2025 2025-lua-debugger-tutorial-1-small.png -rw-r--r-- 1 edrx edrx 56192 Jan 26 2025 2025-lua-debugger-tutorial-1.png -rw-r--r-- 1 edrx edrx 8595 Jan 26 2025 2025-lua-debugger-tutorial-2-small.png -rw-r--r-- 1 edrx edrx 63731 Jan 26 2025 2025-lua-debugger-tutorial-2.png -rw-r--r-- 1 edrx edrx 3004 Apr 11 2025 2025-macaco-1-small.jpg -rw-r--r-- 1 edrx edrx 8751 May 25 2025 2025-maxima-caixinhas-1-small.png -rw-r--r-- 1 edrx edrx 62940 May 25 2025 2025-maxima-caixinhas-1.png -rw-r--r-- 1 edrx edrx 6985 Apr 12 2025 2025-maxima-es-funcoes-small.png -rw-r--r-- 1 edrx edrx 55935 Apr 12 2025 2025-maxima-es-funcoes.png -rw-r--r-- 1 edrx edrx 30629 May 31 2025 2025-maxima-for-students-1-small.png -rw-r--r-- 1 edrx edrx 176400 May 31 2025 2025-maxima-for-students-1.png -rw-r--r-- 1 edrx edrx 29430 May 31 2025 2025-maxima-for-students-2-small.png -rw-r--r-- 1 edrx edrx 172229 May 31 2025 2025-maxima-for-students-2.png -rw-r--r-- 1 edrx edrx 23837 Jun 1 2025 2025-maxima-methods-cases-small.png -rw-r--r-- 1 edrx edrx 100736 Jun 1 2025 2025-maxima-methods-cases.png -rw-r--r-- 1 edrx edrx 25902 Jun 6 2025 2025-maxima-methods-lerps-small.png -rw-r--r-- 1 edrx edrx 103113 Jun 6 2025 2025-maxima-methods-lerps.png -rw-r--r-- 1 edrx edrx 8388 May 25 2025 2025-maxima-methods-small.png -rw-r--r-- 1 edrx edrx 9357 Jun 1 2025 2025-maxima-methods-taylor-small.png -rw-r--r-- 1 edrx edrx 63369 Jun 1 2025 2025-maxima-methods-taylor.png -rw-r--r-- 1 edrx edrx 59134 May 25 2025 2025-maxima-methods.png -rw-r--r-- 1 edrx edrx 4470 Apr 14 2025 2025-maxima-s-1-small.png -rw-r--r-- 1 edrx edrx 37580 Apr 14 2025 2025-maxima-s-1.png -rw-r--r-- 1 edrx edrx 34124 Jun 7 2025 2025-maxima-set-comprehensions-small.png -rw-r--r-- 1 edrx edrx 120977 Jun 7 2025 2025-maxima-set-comprehensions.png -rw-r--r-- 1 edrx edrx 18762 Mar 5 2025 2025-modern-1-small.png -rw-r--r-- 1 edrx edrx 101538 Mar 5 2025 2025-modern-1.png -rw-r--r-- 1 edrx edrx 5847 Mar 5 2025 2025-modern-class-descr-small.png -rw-r--r-- 1 edrx edrx 44609 Mar 5 2025 2025-modern-class-descr.png -rw-r--r-- 1 edrx edrx 5930 Mar 5 2025 2025-modern-class-small.png -rw-r--r-- 1 edrx edrx 54356 Mar 5 2025 2025-modern-class.png -rw-r--r-- 1 edrx edrx 5591 Mar 5 2025 2025-modern-outputs-small.png -rw-r--r-- 1 edrx edrx 43584 Mar 5 2025 2025-modern-outputs.png -rw-r--r-- 1 edrx edrx 6066 Mar 15 2025 2025-modern-remove-small.png -rw-r--r-- 1 edrx edrx 44412 Mar 15 2025 2025-modern-remove.png -rw-r--r-- 1 edrx edrx 76470 Dec 14 14:20 2025-modern-title-page-small.png -rw-r--r-- 1 edrx edrx 252267 Dec 14 14:20 2025-modern-title-page.jpg -rw-r--r-- 1 edrx edrx 6604 Mar 12 2025 2025-modern-trythis-advice-small.png -rw-r--r-- 1 edrx edrx 46741 Mar 12 2025 2025-modern-trythis-advice.png -rw-r--r-- 1 edrx edrx 8070 Dec 12 18:26 2025-run-in-edrxbox-dim-small.png -rw-r--r-- 1 edrx edrx 54886 Dec 12 18:26 2025-run-in-edrxbox-dim.png -rw-r--r-- 1 edrx edrx 7730 Dec 12 18:23 2025-run-in-edrxbox-small.png -rw-r--r-- 1 edrx edrx 8390 Dec 12 18:47 2025-run-in-edrxbox-tests-small.png -rw-r--r-- 1 edrx edrx 55792 Dec 12 18:47 2025-run-in-edrxbox-tests.png -rw-r--r-- 1 edrx edrx 52565 Dec 12 18:23 2025-run-in-edrxbox.png -rw-r--r-- 1 edrx edrx 20904 May 8 2025 2025-sly-1-small.png -rw-r--r-- 1 edrx edrx 72530 May 8 2025 2025-sly-1.png -rw-r--r-- 1 edrx edrx 7442 May 8 2025 2025-sly-2-small.png -rw-r--r-- 1 edrx edrx 49587 May 8 2025 2025-sly-2.png -rw-r--r-- 1 edrx edrx 5934 May 7 2025 2025-stewart-pt-p138-small.png -rw-r--r-- 1 edrx edrx 49108 May 7 2025 2025-stewart-pt-p138.png -rw-r--r-- 1 edrx edrx 7006 Nov 16 2025 2025-vbtbox-TCGSpec-small.png -rw-r--r-- 1 edrx edrx 51350 Nov 16 2025 2025-vbtbox-TCGSpec.png -rw-r--r-- 1 edrx edrx 9327 Nov 16 2025 2025-vbtbox-lisptree-asciirect-small.png -rw-r--r-- 1 edrx edrx 65808 Nov 16 2025 2025-vbtbox-lisptree-asciirect.png -rw-r--r-- 1 edrx edrx 14381 Mar 1 21:19 2026-bad-foundations-MV-small.jpg -rw-r--r-- 1 edrx edrx 107536 Mar 1 21:19 2026-bad-foundations-MV.jpg -rw-r--r-- 1 edrx edrx 5972 Feb 22 17:48 2026-displa-delegate-At2-small.png -rw-r--r-- 1 edrx edrx 42990 Feb 22 17:48 2026-displa-delegate-At2.png -rw-r--r-- 1 edrx edrx 5334 Mar 1 21:57 2026-edrx-myintegrates-latex-small.png -rw-r--r-- 1 edrx edrx 40061 Mar 1 21:57 2026-edrx-myintegrates-latex.png -rw-r--r-- 1 edrx edrx 34480 Jan 22 06:50 2026-eles-vao-me-matar-2-small.png -rw-r--r-- 1 edrx edrx 200509 Jan 22 06:50 2026-eles-vao-me-matar-2.png -rw-r--r-- 1 edrx edrx 46099 Jan 22 06:54 2026-eles-vao-me-matar-small.png -rw-r--r-- 1 edrx edrx 275079 Jan 22 06:54 2026-eles-vao-me-matar.png -rw-r--r-- 1 edrx edrx 30960 Jan 18 20:05 2026-logica-para-pessoas-edos-small.png -rw-r--r-- 1 edrx edrx 176744 Jan 18 20:05 2026-logica-para-pessoas-edos.png -rw-r--r-- 1 edrx edrx 13119 Jan 18 20:02 2026-logica-para-pessoas-example-6-small.png -rw-r--r-- 1 edrx edrx 85897 Jan 18 20:02 2026-logica-para-pessoas-example-6.png -rw-r--r-- 1 edrx edrx 4255 Jan 15 22:19 2026-logica-para-pessoas-small.png -rw-r--r-- 1 edrx edrx 3122 Feb 21 2020 Atimes-dnt.png -rw-r--r-- 1 edrx edrx 12648 Feb 21 2020 Atimes.png -rw-r--r-- 1 edrx edrx 25432 Feb 21 2020 BCCL-std.png -rw-r--r-- 1 edrx edrx 23747 Feb 21 2020 PP.gdb.png -rw-r--r-- 1 edrx edrx 1563 Feb 21 2020 Pandf.png -rw-r--r-- 1 edrx edrx 3060 Feb 21 2020 TfromFtoG.png -rw-r--r-- 1 edrx edrx 28485 Feb 21 2020 a_vida_dos_animais.jpg -rw-r--r-- 1 edrx edrx 10405 Feb 21 2020 and_commutes_shrink4.png -rw-r--r-- 1 edrx edrx 7165 Feb 21 2020 and_commutes_shrink6.png -rw-r--r-- 1 edrx edrx 16547 Feb 21 2020 bananas.jpg -rw-r--r-- 1 edrx edrx 59919 Feb 21 2020 bingo_acefobia.jpg -rw-r--r-- 1 edrx edrx 90011 Feb 21 2020 bittersweet.jpg -rw-r--r-- 1 edrx edrx 8949 Feb 21 2020 black_pawns_moves.eps -rw-r--r-- 1 edrx edrx 26329 Feb 21 2020 black_pawns_moves.svg -rw-r--r-- 2 edrx www-data 33656 Jul 6 2010 bogota.jpg -rw-r--r-- 2 edrx edrx 123563 Apr 28 2016 caguei.png -rw-r--r-- 2 edrx www-data 190973 Jul 31 2005 convite_roda_pq1.jpg -rw-r--r-- 1 edrx edrx 5153 Feb 21 2020 dednat6-TFG.png -rw-r--r-- 1 edrx edrx 49579 Oct 22 2022 dednat6-slides-07.png -rw-r--r-- 1 edrx edrx 53825 Oct 22 2022 dednat6-slides-09.png -rw-r--r-- 1 edrx edrx 58216 Oct 22 2022 dednat6-slides-10.png -rw-r--r-- 1 edrx edrx 3885 Feb 21 2020 downcasing_Ax.png -rw-r--r-- 1 edrx edrx 3356 Feb 21 2020 ebl2017.png -rw-r--r-- 1 edrx edrx 22321 Feb 21 2020 eepitch-gdb.png -rw-r--r-- 1 edrx edrx 28387 Sep 6 2022 eev-mode-help-and-M-2-M-j-small.png -rw-r--r-- 1 edrx edrx 98395 Sep 6 2022 eev-mode-help-and-M-2-M-j.png -rw-r--r-- 2 edrx www-data 34022 May 6 2012 emacs-puro.png -rw-r--r-- 1 edrx edrx 5922 Dec 14 14:09 emacs2025-advice-small.png -rw-r--r-- 1 edrx edrx 48639 Dec 14 14:09 emacs2025-advice.png -rw-r--r-- 1 edrx edrx 35692 Dec 14 14:15 emacs2025-not-automated-tests-small.png -rw-r--r-- 1 edrx edrx 331046 Dec 14 14:15 emacs2025-not-automated-tests.png -rw-r--r-- 1 edrx edrx 48370 Dec 14 13:49 emacs2025-title-page-small.png -rw-r--r-- 1 edrx edrx 191117 Dec 14 13:49 emacs2025-title-page.jpg -rw-r--r-- 1 edrx edrx 41375 Dec 3 2022 emacsconf2022-kla-small.png -rw-r--r-- 1 edrx edrx 474276 Dec 3 2022 emacsconf2022-kla.png -rw-r--r-- 1 edrx edrx 16840 Dec 16 2022 emacsconf2022-py-small.png -rw-r--r-- 1 edrx edrx 93177 Dec 16 2022 emacsconf2022-py.png -rw-r--r-- 1 edrx edrx 14922 Dec 26 2023 emacsconf2023-repls-b-small.jpg -rw-r--r-- 1 edrx edrx 118690 Dec 26 2023 emacsconf2023-repls-b.jpg -rw-r--r-- 1 edrx edrx 10504 Dec 26 2023 emacsconf2023-repls-small.jpg -rw-r--r-- 1 edrx edrx 88648 Dec 26 2023 emacsconf2023-repls.jpg -rw-r--r-- 1 edrx edrx 4508 Feb 21 2020 emacsllded.png -rw-r--r-- 1 edrx edrx 7331 Feb 21 2020 emacsvtutil.png -rw-r--r-- 1 edrx edrx 66837 Jan 10 2021 entrada-PURO.jpg -rw-r--r-- 1 edrx edrx 8714 Feb 21 2020 eqfib-trans.png -rw-r--r-- 2 edrx edrx 90178 May 9 2018 eribon-p005.jpg -rw-r--r-- 2 edrx edrx 112708 May 9 2018 eribon-p027.jpg -rw-r--r-- 2 edrx edrx 147703 May 9 2018 eribon-p028.jpg -rw-r--r-- 2 edrx edrx 144547 May 9 2018 eribon-p029.jpg -rw-r--r-- 1 edrx edrx 24490 Feb 21 2020 eu_quero_uma_policia_que.jpg -rw-r--r-- 1 edrx edrx 5567 Feb 21 2020 exclam.png -rw-r--r-- 1 edrx edrx 1822 Feb 21 2020 exists-shot.png -rw-r--r-- 1 edrx edrx 1774 Feb 21 2020 exists-xdvi.png -rw-r--r-- 1 edrx edrx 3130 Feb 21 2020 filterp-maps.png -rw-r--r-- 1 edrx edrx 38250 Jan 28 2022 find-advicebefore-links.png -rw-r--r-- 1 edrx edrx 167 Feb 21 2020 forth.png -rw-r--r-- 1 edrx edrx 186 Feb 21 2020 forthlua.png -rw-r--r-- 1 edrx edrx 183 Feb 21 2020 forthluawhite.png -rw-r--r-- 1 edrx edrx 198 Feb 21 2020 forthsun.png -rw-r--r-- 2 edrx edrx 14232 Feb 21 2014 frida_camiseta_big_2v.pdf -rw-r--r-- 1 edrx edrx 6217 Feb 21 2020 frob-sketch.svg -rw-r--r-- 1 edrx edrx 5423 Feb 21 2020 gawk.png -rw-r--r-- 2 edrx www-data 112039 Feb 24 2011 generic-figures-notes-1.djvu -rw-r--r-- 1 edrx edrx 20678 Jun 15 2025 goffman__capa_e_zumbis-small.jpg -rw-r--r-- 1 edrx edrx 121139 Jun 15 2025 goffman__capa_e_zumbis.jpg -rw-r--r-- 1 edrx edrx 71256 Feb 21 2020 hanoi1.svg -rw-rw-rw- 2 edrx www-data 1008319 May 6 2012 hp-deskjet-1000-problem.jpg -rw-r--r-- 1 edrx edrx 43712 Feb 21 2020 hyperdoctrine.png -rw-r--r-- 1 edrx edrx 965 Feb 21 2020 idarct.png -rw-r--r-- 1 edrx edrx 19383 Feb 21 2020 imp_trans_shrink4.png -rw-r--r-- 1 edrx edrx 13507 Feb 21 2020 imp_trans_shrink6.png -rw-r--r-- 1 edrx edrx 3806 Feb 21 2020 intro-tys-lfc.png -rw-r--r-- 1 edrx edrx 3514 Feb 21 2020 kaoya.png -rw-r--r-- 1 edrx edrx 7342 Feb 21 2020 lccc-bcc.png -rw-r--r-- 1 edrx edrx 5978 Feb 21 2020 lccc-frob.png -rw-r--r-- 1 edrx edrx 2421 Feb 21 2020 lclt.png -rw-r--r-- 2 edrx www-data 127871 Jul 1 2012 liberdade_no_capitalismo.jpg -rw-r--r-- 1 edrx edrx 146 Feb 21 2020 littlelangs.png -rw-r--r-- 1 edrx edrx 16549 Feb 21 2020 logo_ict_martelo.jpg -rw-r--r-- 1 edrx edrx 25616 Feb 21 2020 logo_ict_martelo.png -rw-r--r-- 1 edrx edrx 5573 Feb 21 2020 logo_ict_martelo.svg -rw-r--r-- 1 edrx edrx 5681 Feb 21 2020 logo_ict_martelo_orig.svg -rw-r--r-- 1 edrx edrx 51008 Feb 21 2020 logo_ict_placa.jpg -rw-r--r-- 1 edrx edrx 10776 Aug 4 2022 luatree-small.png -rw-r--r-- 1 edrx edrx 8750 Aug 23 2022 luatree-sympy-small.png -rw-r--r-- 1 edrx edrx 58983 Aug 23 2022 luatree-sympy.png -rw-r--r-- 1 edrx edrx 78470 Aug 4 2022 luatree.png -rw-r--r-- 1 edrx edrx 2925 Feb 21 2020 material-para-GA.png -rw-r--r-- 2 edrx edrx 146236 Dec 7 2022 maxima-mode-git-2022.png -rw-r--r-- 2 edrx edrx 148143 Dec 7 2022 maxima-mode-melpa-2022.png -rw-r--r-- 1 edrx edrx 4664 Nov 2 2024 myqdraw-intro-myqdraw.png -rw-r--r-- 1 edrx edrx 4457 Nov 2 2024 myqdraw-intro-qdraw.png -rw-r--r-- 1 edrx edrx 26384 Nov 15 2024 myqdraw-myPv-and-myPPe-small.png -rw-r--r-- 1 edrx edrx 84546 Nov 15 2024 myqdraw-myPv-and-myPPe.png -rw-r--r-- 1 edrx edrx 8094 Nov 15 2024 myqdraw-topdf1-quick-demo-small.png -rw-r--r-- 1 edrx edrx 60298 Nov 15 2024 myqdraw-topdf1-quick-demo.png -rw-r--r-- 2 edrx www-data 42766 Oct 7 2012 nao_anule_seu_voto.jpg -rw-r--r-- 1 edrx edrx 38958 Feb 21 2020 new-girl-from-ipanema-mini.png -rw-r--r-- 1 edrx edrx 2106 Feb 21 2020 omega-kite.png -rw-r--r-- 1 edrx edrx 3945 Feb 21 2020 oxford2019.png -rw-r--r-- 1 edrx edrx 7992 Feb 21 2020 oxford2019.svg -rw-r--r-- 1 edrx edrx 47239 Feb 21 2020 palette.png -rw-r--r-- 1 edrx edrx 44975 Feb 21 2020 peppa_telefone_1.jpg -rw-r--r-- 1 edrx edrx 36411 Feb 21 2020 personas-sexuais-camille-paglia-capa.jpg -rw-r--r-- 1 edrx edrx 2747 Feb 21 2020 planar-has-2CGs.png -rw-r--r-- 1 edrx edrx 3580 Feb 21 2020 planar-has-qms.png -rw-r--r-- 1 edrx edrx 3183 Feb 21 2020 powered-by-anger.png -rw-r--r-- 1 edrx edrx 3894 Feb 21 2020 powered-by-anger.svg -rw-r--r-- 1 edrx edrx 9647 Feb 21 2020 preslim.png -rw-r--r-- 2 edrx edrx 58192 Jul 13 2014 prisoes_preventivas_indiciados_sigiloso.jpg -rw-r--r-- 1 edrx edrx 8179 Nov 18 2025 professor_com_quantas_faltas_eu_reprovo-small.jpg -rw-r--r-- 1 edrx edrx 61829 Nov 18 2025 professor_com_quantas_faltas_eu_reprovo.jpg -rw-r--r-- 2 edrx www-data 36055 Jul 30 2012 profissao.jpg -rw-r--r-- 1 edrx edrx 168856 Feb 21 2020 puvis_de_chavannes_young_girls_by_the_seaside.jpg -rw-r--r-- 1 edrx edrx 16069 Feb 21 2020 puvis_de_chavannes_young_girls_by_the_seaside_r4.jpg -rw-r--r-- 1 edrx edrx 22402 Feb 21 2020 queremos_184x190.png -rw-r--r-- 1 edrx edrx 6183 Feb 21 2020 queremos_small.jpg -rw-r--r-- 1 edrx edrx 193 Feb 21 2020 rrj.png -rw-r--r-- 1 edrx edrx 17175 Jun 3 2025 selana_fancy_small.jpg -rw-r--r-- 1 edrx edrx 53102 Feb 21 2020 sintese_das_discussoes_com_pos_modernos_1.png -rw-r--r-- 1 edrx edrx 56038 Feb 21 2020 sintese_das_discussoes_com_pos_modernos_2.png -rw-r--r-- 2 edrx www-data 81684 May 28 2012 sorria_se.jpg -rw-r--r-- 2 edrx www-data 69708 Sep 17 2005 sp-edrx.png -rw-r--r-- 1 edrx edrx 1226 Feb 21 2020 stpkys_vsm_notxt.gif -rw-r--r-- 1 edrx edrx 305933 Feb 21 2020 street_fighter.png -rw-r--r-- 1 edrx edrx 692 Feb 21 2020 tg-black-and-white.png -rw-r--r-- 1 edrx edrx 2131 Feb 21 2020 tg-color.png -rw-r--r-- 1 edrx edrx 16805 Aug 20 2025 the_gathering_1-small.jpg -rw-r--r-- 1 edrx edrx 357304 Aug 20 2025 the_gathering_1.jpg -rw-r--r-- 1 edrx edrx 14517 Aug 20 2025 the_gathering_2-small.jpg -rw-r--r-- 1 edrx edrx 289604 Aug 20 2025 the_gathering_2.jpg -rw-r--r-- 2 edrx www-data 186533 Jul 6 2010 thermidor_20.jpg -rw-r--r-- 1 edrx edrx 8679 Feb 21 2020 trans.png -rw-r--r-- 1 edrx edrx 119 Feb 21 2020 transparent-fav.png -rw-r--r-- 1 edrx edrx 6544 Feb 21 2020 tug-2018.png -rw-r--r-- 1 edrx edrx 6080 Feb 21 2020 two_non-tautologies.png -rw-r--r-- 2 edrx edrx 319810 Mar 29 2014 ursinho_carro_da_policia_nao.jpg -rw-r--r-- 2 edrx edrx 280966 Mar 29 2014 ursinho_esse_nao_e_o_metodo_de_luta_da.jpg -rw-r--r-- 1 edrx edrx 633 Feb 21 2020 vichy-video-pentominos.png -rw-r--r-- 1 edrx edrx 11348 Feb 21 2020 yoneda-2019.png -rw-r--r-- 1 edrx edrx 5590 Apr 26 2025 zamm-small.jpg -rw-r--r-- 1 edrx edrx 16384 Apr 26 2025 zamm.jpg -rw-r--r-- 1 edrx edrx 2783 Feb 21 2020 zhasforchildren.png -rw-r--r-- 2 edrx edrx 74572 Feb 9 2022 zunger-01.jpg -rw-r--r-- 2 edrx edrx 91749 Feb 9 2022 zunger-02.jpg -rw-r--r-- 2 edrx edrx 99644 Feb 9 2022 zunger-03.jpg -rw-r--r-- 2 edrx edrx 93995 Feb 9 2022 zunger-04.jpg -rw-r--r-- 2 edrx edrx 97171 Feb 9 2022 zunger-05.jpg -rw-r--r-- 2 edrx edrx 93926 Feb 9 2022 zunger-06.jpg -rw-r--r-- 2 edrx edrx 98505 Feb 9 2022 zunger-07.jpg -rw-r--r-- 2 edrx edrx 97843 Feb 9 2022 zunger-08.jpg -rw-r--r-- 2 edrx edrx 99447 Feb 9 2022 zunger-09.jpg -rw-r--r-- 2 edrx edrx 92093 Feb 9 2022 zunger-10.jpg -rw-r--r-- 2 edrx edrx 72945 Feb 9 2022 zunger-11.jpg