drwxr-xr-x   2 edrx edrx   4096 Nov 21 00:08 ./
drwxr-xr-x 301 edrx edrx  36864 Nov 21 00:10 ../
-rw-r--r--   1 edrx edrx  34025 May 13  2024 2020-find-here-links.lua
-rw-r--r--   1 edrx edrx 100644 Nov 21 00:08 2020-find-here-links.lua.html
-rw-r--r--   1 edrx edrx  18887 Jul 26 00:43 2020-list-packages-eev-nav.lua
-rw-r--r--   1 edrx edrx  57219 Nov 21 00:08 2020-list-packages-eev-nav.lua.html
-rw-r--r--   1 edrx edrx  43387 Mar 10  2024 2020-some-template-based.lua
-rw-r--r--   1 edrx edrx 129294 Nov 21 00:08 2020-some-template-based.lua.html
-rw-r--r--   1 edrx edrx  37433 Mar  7  2023 2021-1-C2-somas-1-dicas.lua
-rw-r--r--   1 edrx edrx 104217 Nov 21 00:08 2021-1-C2-somas-1-dicas.lua.html
-rw-r--r--   1 edrx edrx  24285 Mar  6  2023 2021-1-C3-curvas-de-nivel-2.lua
-rw-r--r--   1 edrx edrx  70300 Nov 21 00:08 2021-1-C3-curvas-de-nivel-2.lua.html
-rw-r--r--   1 edrx edrx  13755 Mar  4  2023 2021-1-C3-curvas-de-nivel.lua
-rw-r--r--   1 edrx edrx  40431 Nov 21 00:08 2021-1-C3-curvas-de-nivel.lua.html
-rw-r--r--   1 edrx edrx  21780 Mar  1  2023 2021-2-c3-cabos-na-diagonal.lua
-rw-r--r--   1 edrx edrx  66798 Nov 21 00:08 2021-2-c3-cabos-na-diagonal.lua.html
-rw-r--r--   1 edrx edrx 102214 May 17  2024 2021-ffll.lua
-rw-r--r--   1 edrx edrx 326902 Nov 21 00:08 2021-ffll.lua.html
-rw-r--r--   1 edrx edrx  25095 Mar  4  2024 2021-oficina-1.lua
-rw-r--r--   1 edrx edrx  70066 Nov 21 00:08 2021-oficina-1.lua.html
-rw-r--r--   1 edrx edrx  27675 Oct 12 22:56 2021-org-for-non-users.lua
-rw-r--r--   1 edrx edrx  77082 Nov 21 00:08 2021-org-for-non-users.lua.html
-rw-r--r--   1 edrx edrx   6372 Jan 27  2023 2021-workshop-1.lua
-rw-r--r--   1 edrx edrx  18672 Nov 21 00:08 2021-workshop-1.lua.html
-rw-r--r--   1 edrx edrx   8239 Jan 27  2023 2021-workshop-2.lua
-rw-r--r--   1 edrx edrx  23950 Nov 21 00:08 2021-workshop-2.lua.html
-rw-r--r--   1 edrx edrx  27615 Jan 27  2023 2021-workshop-3.lua
-rw-r--r--   1 edrx edrx  79261 Nov 21 00:08 2021-workshop-3.lua.html
-rw-r--r--   1 edrx edrx  10881 Jan 27  2023 2021-workshop-4.lua
-rw-r--r--   1 edrx edrx  31438 Nov 21 00:08 2021-workshop-4.lua.html
-rw-r--r--   1 edrx edrx  15839 Jan 27  2023 2021-workshop-5.lua
-rw-r--r--   1 edrx edrx  45459 Nov 21 00:08 2021-workshop-5.lua.html
-rw-r--r--   1 edrx edrx  15624 Jan 27  2023 2021-workshop-6.lua
-rw-r--r--   1 edrx edrx  45222 Nov 21 00:08 2021-workshop-6.lua.html
-rw-r--r--   1 edrx edrx  97430 Jun  7  2023 2021aulas-por-telegram.lua
-rw-r--r--   1 edrx edrx 276254 Nov 21 00:08 2021aulas-por-telegram.lua.html
-rw-r--r--   1 edrx edrx  11188 Feb  3  2024 2022-eev-make-0.lua
-rw-r--r--   1 edrx edrx  31599 Nov 21 00:08 2022-eev-make-0.lua.html
-rw-r--r--   1 edrx edrx 104890 Feb 25  2024 2022-eev-tikz.lua
-rw-r--r--   1 edrx edrx 320746 Nov 21 00:08 2022-eev-tikz.lua.html
-rw-r--r--   1 edrx edrx 102522 Dec  1  2023 2022-eev-wconfig.lua
-rw-r--r--   1 edrx edrx 296223 Nov 21 00:08 2022-eev-wconfig.lua.html
-rw-r--r--   1 edrx edrx  26734 Oct 14 03:59 2022-find-eev-angg.lua
-rw-r--r--   1 edrx edrx  75092 Nov 21 00:08 2022-find-eev-angg.lua.html
-rw-r--r--   1 edrx edrx  32848 Feb  3  2024 2022-find-elisp-intro.lua
-rw-r--r--   1 edrx edrx  89681 Nov 21 00:08 2022-find-elisp-intro.lua.html
-rw-r--r--   1 edrx edrx  14878 Feb  3  2024 2022-pict2e-lua.lua
-rw-r--r--   1 edrx edrx  43016 Nov 21 00:08 2022-pict2e-lua.lua.html
-rw-r--r--   1 edrx edrx  39858 Apr  9  2023 2022-yttranscript.lua
-rw-r--r--   1 edrx edrx 111913 Nov 21 00:08 2022-yttranscript.lua.html
-rw-r--r--   1 edrx edrx  20349 Mar  7  2023 2023-caepro-VR.lua
-rw-r--r--   1 edrx edrx  63107 Nov 21 00:08 2023-caepro-VR.lua.html
-rw-r--r--   1 edrx edrx  22834 May  8  2023 2023-caepro-o-que-sobra.lua
-rw-r--r--   1 edrx edrx  69476 Nov 21 00:08 2023-caepro-o-que-sobra.lua.html
-rw-r--r--   1 edrx edrx  15445 Mar  7  2023 2023-caepro0.lua
-rw-r--r--   1 edrx edrx  47508 Nov 21 00:08 2023-caepro0.lua.html
-rw-r--r--   1 edrx edrx 160554 Jul  8  2023 2023-precisamos-de-mais-slogans.lua
-rw-r--r--   1 edrx edrx 479859 Nov 21 00:08 2023-precisamos-de-mais-slogans.lua.html
-rw-r--r--   1 edrx edrx  96986 May 31  2023 2023-visual-vs-auditivo.lua
-rw-r--r--   1 edrx edrx 296038 Nov 21 00:08 2023-visual-vs-auditivo.lua.html
-rw-r--r--   1 edrx edrx  67145 Mar  8  2023 2023mar07_didatica_ensaio.lua
-rw-r--r--   1 edrx edrx  71731 Nov 21 00:08 2023mar07_didatica_ensaio.lua.html
-rw-r--r--   1 edrx edrx  20543 Aug  3 22:28 2024-algumas-perguntas.lua
-rw-r--r--   1 edrx edrx  56129 Nov 21 00:08 2024-algumas-perguntas.lua.html
-rw-r--r--   1 edrx edrx  37799 Sep  3 11:16 2024-convite-maxima.lua
-rw-r--r--   1 edrx edrx 104302 Nov 21 00:08 2024-convite-maxima.lua.html
-rw-r--r--   1 edrx edrx  42235 Feb 10  2024 2024-eev-git.lua
-rw-r--r--   1 edrx edrx 125490 Nov 21 00:08 2024-eev-git.lua.html
-rw-r--r--   1 edrx edrx  20452 Jan 18  2024 2024-find-luaso-links.lua
-rw-r--r--   1 edrx edrx  58858 Nov 21 00:08 2024-find-luaso-links.lua.html
-rw-r--r--   1 edrx edrx  51835 Aug 30 11:17 2024-lean4-oficina-0-aula-2.lua
-rw-r--r--   1 edrx edrx 141711 Nov 21 00:08 2024-lean4-oficina-0-aula-2.lua.html
-rw-r--r--   1 edrx edrx  64001 Aug  9 22:55 2024-lean4-oficina-0.lua
-rw-r--r--   1 edrx edrx 177983 Nov 21 00:08 2024-lean4-oficina-0.lua.html
-rw-r--r--   1 edrx edrx  82298 Nov 10 21:48 2024-philosophy-tube-butler.lua
-rw-r--r--   1 edrx edrx  86763 Nov 21 00:08 2024-philosophy-tube-butler.lua.html
-rw-r--r--   1 edrx edrx  29282 Feb  3  2024 emacsconf2019.lua
-rw-r--r--   1 edrx edrx  83541 Nov 21 00:08 emacsconf2019.lua.html
-rw-r--r--   1 edrx edrx  64629 May  5  2024 emacsconf2020.lua
-rw-r--r--   1 edrx edrx 195684 Nov 21 00:08 emacsconf2020.lua.html
-rw-r--r--   1 edrx edrx  13318 Feb  3  2024 emacsconf2021-dednat6.lua
-rw-r--r--   1 edrx edrx  40097 Nov 21 00:08 emacsconf2021-dednat6.lua.html
-rw-r--r--   1 edrx edrx  11876 Apr 16  2023 emacsconf2021.lua
-rw-r--r--   1 edrx edrx  35403 Nov 21 00:08 emacsconf2021.lua.html
-rw-r--r--   1 edrx edrx  13991 Feb  3  2024 emacsconf2022-kla.lua
-rw-r--r--   1 edrx edrx  40432 Nov 21 00:08 emacsconf2022-kla.lua.html
-rw-r--r--   1 edrx edrx  21171 Mar  9  2024 emacsconf2022-py.lua
-rw-r--r--   1 edrx edrx  62543 Nov 21 00:08 emacsconf2022-py.lua.html
-rw-r--r--   1 edrx edrx  31715 Mar  3  2024 emacsconf2023-repls-b.lua
-rw-r--r--   1 edrx edrx  87688 Nov 21 00:08 emacsconf2023-repls-b.lua.html
-rw-r--r--   1 edrx edrx  81893 Feb  3  2024 emacsconf2023-repls.lua
-rw-r--r--   1 edrx edrx 231409 Nov 21 00:08 emacsconf2023-repls.lua.html
-rw-r--r--   1 edrx edrx  43020 Jun 28 14:18 mathologer-calculus-easy.lua
-rw-r--r--   1 edrx edrx  92371 Nov 21 00:08 mathologer-calculus-easy.lua.html