drwxr-xr-x 2 edrx edrx 4096 Oct 28 03:34 ./ drwxr-xr-x 305 edrx edrx 36864 Oct 28 03:35 ../ -rw-r--r-- 1 edrx edrx 34025 May 13 15:12 2020-find-here-links.lua -rw-r--r-- 1 edrx edrx 100644 Oct 28 03:34 2020-find-here-links.lua.html -rw-r--r-- 1 edrx edrx 18887 Jul 26 04:43 2020-list-packages-eev-nav.lua -rw-r--r-- 1 edrx edrx 57219 Oct 28 03:34 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 Oct 28 03:34 2020-some-template-based.lua.html -rw-r--r-- 1 edrx edrx 37433 Mar 8 2023 2021-1-C2-somas-1-dicas.lua -rw-r--r-- 1 edrx edrx 104217 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 2021-1-C3-curvas-de-nivel.lua.html -rw-r--r-- 1 edrx edrx 21780 Mar 2 2023 2021-2-c3-cabos-na-diagonal.lua -rw-r--r-- 1 edrx edrx 66798 Oct 28 03:34 2021-2-c3-cabos-na-diagonal.lua.html -rw-r--r-- 1 edrx edrx 102214 May 17 12:51 2021-ffll.lua -rw-r--r-- 1 edrx edrx 326902 Oct 28 03:34 2021-ffll.lua.html -rw-r--r-- 1 edrx edrx 25095 Mar 5 2024 2021-oficina-1.lua -rw-r--r-- 1 edrx edrx 70066 Oct 28 03:34 2021-oficina-1.lua.html -rw-r--r-- 1 edrx edrx 27675 Oct 13 02:56 2021-org-for-non-users.lua -rw-r--r-- 1 edrx edrx 77082 Oct 28 03:34 2021-org-for-non-users.lua.html -rw-r--r-- 1 edrx edrx 6372 Jan 28 2023 2021-workshop-1.lua -rw-r--r-- 1 edrx edrx 18672 Oct 28 03:34 2021-workshop-1.lua.html -rw-r--r-- 1 edrx edrx 8239 Jan 28 2023 2021-workshop-2.lua -rw-r--r-- 1 edrx edrx 23950 Oct 28 03:34 2021-workshop-2.lua.html -rw-r--r-- 1 edrx edrx 27615 Jan 28 2023 2021-workshop-3.lua -rw-r--r-- 1 edrx edrx 79261 Oct 28 03:34 2021-workshop-3.lua.html -rw-r--r-- 1 edrx edrx 10881 Jan 28 2023 2021-workshop-4.lua -rw-r--r-- 1 edrx edrx 31438 Oct 28 03:34 2021-workshop-4.lua.html -rw-r--r-- 1 edrx edrx 15839 Jan 28 2023 2021-workshop-5.lua -rw-r--r-- 1 edrx edrx 45459 Oct 28 03:34 2021-workshop-5.lua.html -rw-r--r-- 1 edrx edrx 15624 Jan 28 2023 2021-workshop-6.lua -rw-r--r-- 1 edrx edrx 45222 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 2022-eev-wconfig.lua.html -rw-r--r-- 1 edrx edrx 26734 Oct 14 07:59 2022-find-eev-angg.lua -rw-r--r-- 1 edrx edrx 75092 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 2022-yttranscript.lua.html -rw-r--r-- 1 edrx edrx 20349 Mar 8 2023 2023-caepro-VR.lua -rw-r--r-- 1 edrx edrx 63107 Oct 28 03:34 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 Oct 28 03:34 2023-caepro-o-que-sobra.lua.html -rw-r--r-- 1 edrx edrx 15445 Mar 8 2023 2023-caepro0.lua -rw-r--r-- 1 edrx edrx 47508 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 2023-visual-vs-auditivo.lua.html -rw-r--r-- 1 edrx edrx 67145 Mar 9 2023 2023mar07_didatica_ensaio.lua -rw-r--r-- 1 edrx edrx 71731 Oct 28 03:34 2023mar07_didatica_ensaio.lua.html -rw-r--r-- 1 edrx edrx 20543 Aug 4 02:28 2024-algumas-perguntas.lua -rw-r--r-- 1 edrx edrx 56129 Oct 28 03:34 2024-algumas-perguntas.lua.html -rw-r--r-- 1 edrx edrx 37799 Sep 3 15:16 2024-convite-maxima.lua -rw-r--r-- 1 edrx edrx 104302 Oct 28 03:34 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 Oct 28 03:34 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 Oct 28 03:34 2024-find-luaso-links.lua.html -rw-r--r-- 1 edrx edrx 51835 Aug 30 15:17 2024-lean4-oficina-0-aula-2.lua -rw-r--r-- 1 edrx edrx 141711 Oct 28 03:34 2024-lean4-oficina-0-aula-2.lua.html -rw-r--r-- 1 edrx edrx 64001 Aug 10 02:55 2024-lean4-oficina-0.lua -rw-r--r-- 1 edrx edrx 177983 Oct 28 03:34 2024-lean4-oficina-0.lua.html -rw-r--r-- 1 edrx edrx 29282 Feb 4 2024 emacsconf2019.lua -rw-r--r-- 1 edrx edrx 83541 Oct 28 03:34 emacsconf2019.lua.html -rw-r--r-- 1 edrx edrx 64629 May 5 11:17 emacsconf2020.lua -rw-r--r-- 1 edrx edrx 195684 Oct 28 03:34 emacsconf2020.lua.html -rw-r--r-- 1 edrx edrx 13318 Feb 4 2024 emacsconf2021-dednat6.lua -rw-r--r-- 1 edrx edrx 40097 Oct 28 03:34 emacsconf2021-dednat6.lua.html -rw-r--r-- 1 edrx edrx 11876 Apr 16 2023 emacsconf2021.lua -rw-r--r-- 1 edrx edrx 35403 Oct 28 03:34 emacsconf2021.lua.html -rw-r--r-- 1 edrx edrx 13991 Feb 4 2024 emacsconf2022-kla.lua -rw-r--r-- 1 edrx edrx 40432 Oct 28 03:34 emacsconf2022-kla.lua.html -rw-r--r-- 1 edrx edrx 21171 Mar 9 2024 emacsconf2022-py.lua -rw-r--r-- 1 edrx edrx 62543 Oct 28 03:34 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 Oct 28 03:34 emacsconf2023-repls-b.lua.html -rw-r--r-- 1 edrx edrx 81893 Feb 4 2024 emacsconf2023-repls.lua -rw-r--r-- 1 edrx edrx 231409 Oct 28 03:34 emacsconf2023-repls.lua.html -rw-r--r-- 1 edrx edrx 43020 Jun 28 18:18 mathologer-calculus-easy.lua -rw-r--r-- 1 edrx edrx 92371 Oct 28 03:34 mathologer-calculus-easy.lua.html