drwxr-xr-x 2 edrx edrx 12288 Nov 4 03:28 ./ drwxr-xr-x 325 edrx edrx 61440 Nov 4 03:29 ../ -rw-r--r-- 1 edrx edrx 34025 May 13 2024 2020-find-here-links.lua -rw-r--r-- 1 edrx edrx 100644 Nov 4 03:28 2020-find-here-links.lua.html -rw-r--r-- 1 edrx edrx 18999 Dec 30 2024 2020-list-packages-eev-nav.lua -rw-r--r-- 1 edrx edrx 57331 Nov 4 03:28 2020-list-packages-eev-nav.lua.html -rw-r--r-- 1 edrx edrx 43505 Sep 18 10:19 2020-some-template-based.lua -rw-r--r-- 1 edrx edrx 129412 Nov 4 03:28 2020-some-template-based.lua.html -rw-r--r-- 1 edrx edrx 37442 Dec 15 2024 2021-1-C2-somas-1-dicas.lua -rw-r--r-- 1 edrx edrx 104226 Nov 4 03:28 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 4 03:28 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 4 03:28 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 4 03:28 2021-2-c3-cabos-na-diagonal.lua.html -rw-r--r-- 1 edrx edrx 102016 Dec 30 2024 2021-ffll.lua -rw-r--r-- 1 edrx edrx 325913 Nov 4 03:28 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 4 03:28 2021-oficina-1.lua.html -rw-r--r-- 1 edrx edrx 27675 Oct 12 2024 2021-org-for-non-users.lua -rw-r--r-- 1 edrx edrx 77082 Nov 4 03:28 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 4 03:28 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 4 03:28 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 4 03:28 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 4 03:28 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 4 03:28 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 4 03:28 2021-workshop-6.lua.html -rw-r--r-- 1 edrx edrx 93579 Mar 15 2026 2021aulas-por-telegram.lua -rw-r--r-- 1 edrx edrx 264672 Nov 4 03:28 2021aulas-por-telegram.lua.html -rw-r--r-- 1 edrx edrx 11278 Dec 30 2024 2022-eev-make-0.lua -rw-r--r-- 1 edrx edrx 31689 Nov 4 03:28 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 4 03:28 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 4 03:28 2022-eev-wconfig.lua.html -rw-r--r-- 1 edrx edrx 26830 Dec 30 2024 2022-find-eev-angg.lua -rw-r--r-- 1 edrx edrx 75188 Nov 4 03:28 2022-find-eev-angg.lua.html -rw-r--r-- 1 edrx edrx 32805 Dec 30 2024 2022-find-elisp-intro.lua -rw-r--r-- 1 edrx edrx 89506 Nov 4 03:28 2022-find-elisp-intro.lua.html -rw-r--r-- 1 edrx edrx 14892 Dec 30 2024 2022-pict2e-lua.lua -rw-r--r-- 1 edrx edrx 42768 Nov 4 03:28 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 4 03:28 2022-yttranscript.lua.html -rw-r--r-- 1 edrx edrx 54527 May 5 2025 2022etel.lua -rw-r--r-- 1 edrx edrx 59065 Nov 4 03:28 2022etel.lua.html -rw-r--r-- 1 edrx edrx 20349 Mar 7 2023 2023-caepro-VR.lua -rw-r--r-- 1 edrx edrx 63107 Nov 4 03:28 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 4 03:28 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 4 03:28 2023-caepro0.lua.html -rw-r--r-- 1 edrx edrx 169840 Jul 6 2025 2023-precisamos-de-mais-slogans.lua -rw-r--r-- 1 edrx edrx 476181 Nov 4 03:28 2023-precisamos-de-mais-slogans.lua.html -rw-r--r-- 1 edrx edrx 102707 Mar 4 2026 2023-visual-vs-auditivo.lua -rw-r--r-- 1 edrx edrx 293301 Nov 4 03:28 2023-visual-vs-auditivo.lua.html -rw-r--r-- 1 edrx edrx 80021 Mar 30 2026 2023antonio.lua -rw-r--r-- 1 edrx edrx 84811 Nov 4 03:28 2023antonio.lua.html -rw-r--r-- 1 edrx edrx 123302 Mar 11 2026 2023eduardo.lua -rw-r--r-- 1 edrx edrx 128011 Nov 4 03:28 2023eduardo.lua.html -rw-r--r-- 1 edrx edrx 44296 May 20 2025 2023etel.lua -rw-r--r-- 1 edrx edrx 49143 Nov 4 03:28 2023etel.lua.html -rw-r--r-- 1 edrx edrx 67145 Mar 8 2023 2023mar07_didatica_ensaio.lua -rw-r--r-- 1 edrx edrx 71731 Nov 4 03:28 2023mar07_didatica_ensaio.lua.html -rw-r--r-- 1 edrx edrx 68208 May 20 2025 2023mateus.lua -rw-r--r-- 1 edrx edrx 72695 Nov 4 03:28 2023mateus.lua.html -rw-r--r-- 1 edrx edrx 110188 Apr 20 2026 2023rcnjulho.lua -rw-r--r-- 1 edrx edrx 114587 Nov 4 03:28 2023rcnjulho.lua.html -rw-r--r-- 1 edrx edrx 20543 Aug 3 2024 2024-algumas-perguntas.lua -rw-r--r-- 1 edrx edrx 56129 Nov 4 03:28 2024-algumas-perguntas.lua.html -rw-r--r-- 1 edrx edrx 12467 Dec 30 2024 2024-bash-test-blocks.lua -rw-r--r-- 1 edrx edrx 34563 Nov 4 03:28 2024-bash-test-blocks.lua.html -rw-r--r-- 1 edrx edrx 37799 Apr 20 2025 2024-convite-maxima.lua -rw-r--r-- 1 edrx edrx 104302 Nov 4 03:28 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 4 03:28 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 4 03:28 2024-find-luaso-links.lua.html -rw-r--r-- 1 edrx edrx 51887 Dec 18 2024 2024-lean4-oficina-0-aula-2.lua -rw-r--r-- 1 edrx edrx 141632 Nov 4 03:28 2024-lean4-oficina-0-aula-2.lua.html -rw-r--r-- 1 edrx edrx 64002 Feb 14 2026 2024-lean4-oficina-0.lua -rw-r--r-- 1 edrx edrx 177984 Nov 4 03:28 2024-lean4-oficina-0.lua.html -rw-r--r-- 1 edrx edrx 82298 Nov 10 2024 2024-philosophy-tube-butler.lua -rw-r--r-- 1 edrx edrx 86763 Nov 4 03:28 2024-philosophy-tube-butler.lua.html -rw-r--r-- 1 edrx edrx 24287 Dec 31 2024 2024-piano-roll-macros.lua -rw-r--r-- 1 edrx edrx 63302 Nov 4 03:28 2024-piano-roll-macros.lua.html -rw-r--r-- 1 edrx edrx 8873 Feb 21 2025 2024-trying-eev-with-a-sexp.lua -rw-r--r-- 1 edrx edrx 23541 Nov 4 03:28 2024-trying-eev-with-a-sexp.lua.html -rw-r--r-- 1 edrx edrx 168883 Feb 5 2026 2025-01-30-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 174743 Nov 4 03:28 2025-01-30-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 217128 Jun 25 2025 2025-03-27-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 218502 Nov 4 03:28 2025-03-27-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 203129 Oct 29 2025 2025-06-26-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 207732 Nov 4 03:28 2025-06-26-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 69546 Mar 10 2026 2025-07-24-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 74161 Nov 4 03:28 2025-07-24-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 174186 Apr 1 2026 2025-11-27-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 179803 Nov 4 03:28 2025-11-27-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 74972 Feb 23 2026 2025-12-18-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 79587 Nov 4 03:28 2025-12-18-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 26118 Dec 19 2025 2025-badly-behaved.lua -rw-r--r-- 1 edrx edrx 74023 Nov 4 03:28 2025-badly-behaved.lua.html -rw-r--r-- 1 edrx edrx 30792 Dec 14 2025 2025-modern.lua -rw-r--r-- 1 edrx edrx 88700 Nov 4 03:28 2025-modern.lua.html -rw-r--r-- 1 edrx edrx 81153 Feb 28 2026 2026-02-26-reuniao-rcn.lua -rw-r--r-- 1 edrx edrx 85768 Nov 4 03:28 2026-02-26-reuniao-rcn.lua.html -rw-r--r-- 1 edrx edrx 79917 Nov 4 02:13 2026-ferramentas-para-historinhas.lua -rw-r--r-- 1 edrx edrx 166526 Nov 4 03:28 2026-ferramentas-para-historinhas.lua.html -rw-r--r-- 1 edrx edrx 89400 Jan 30 2026 2026-logica-para-pessoas.lua -rw-r--r-- 1 edrx edrx 196972 Nov 4 03:28 2026-logica-para-pessoas.lua.html -rw-r--r-- 1 edrx edrx 29368 Dec 30 2024 emacsconf2019.lua -rw-r--r-- 1 edrx edrx 83627 Nov 4 03:28 emacsconf2019.lua.html -rw-r--r-- 1 edrx edrx 64567 Sep 18 10:06 emacsconf2020.lua -rw-r--r-- 1 edrx edrx 195359 Nov 4 03:28 emacsconf2020.lua.html -rw-r--r-- 1 edrx edrx 13318 Feb 3 2024 emacsconf2021-dednat6.lua -rw-r--r-- 1 edrx edrx 40097 Nov 4 03:28 emacsconf2021-dednat6.lua.html -rw-r--r-- 1 edrx edrx 11844 Dec 30 2024 emacsconf2021.lua -rw-r--r-- 1 edrx edrx 35241 Nov 4 03:28 emacsconf2021.lua.html -rw-r--r-- 1 edrx edrx 13991 Feb 3 2024 emacsconf2022-kla.lua -rw-r--r-- 1 edrx edrx 40432 Nov 4 03:28 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 4 03:28 emacsconf2022-py.lua.html -rw-r--r-- 1 edrx edrx 31715 Mar 4 2024 emacsconf2023-repls-b.lua -rw-r--r-- 1 edrx edrx 87688 Nov 4 03:28 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 4 03:28 emacsconf2023-repls.lua.html -rw-r--r-- 1 edrx edrx 45749 Feb 8 2026 emacsconf2024.lua -rw-r--r-- 1 edrx edrx 133602 Nov 4 03:28 emacsconf2024.lua.html -rw-r--r-- 1 edrx edrx 36628 Dec 31 2025 emacsconf2025.lua -rw-r--r-- 1 edrx edrx 105997 Nov 4 03:28 emacsconf2025.lua.html -rw-r--r-- 1 edrx edrx 43073 Mar 25 2025 mathologer-calculus-easy.lua -rw-r--r-- 1 edrx edrx 92565 Nov 4 03:28 mathologer-calculus-easy.lua.html