|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
-- This file:
-- http://anggtwu.net/blogme3/code-etex-tlas.lua.html
-- http://anggtwu.net/blogme3/code-etex-tlas.lua
-- (find-angg "blogme3/code-etex-tlas.lua")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (find-blogme3 "sandwiches-defs.lua" "code-etex-tlas-load")
--
--[[
-- (find-blogme3 "sandwiches-defs.lua" "code-etex-tla")
-- (find-angggrep "grep --color=auto -nH --null -e code-etex-tla .emacs")
* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
-- dofile "code-etex-tlas.lua"
bigstr = ee_readfile "~/.emacs"
pat = '^%(code%-etex%-tla%s+"(%w+)"%s+"([-%w]+)"%)'
for _,li in ipairs(splitlines(bigstr)) do
local a,b = li:match(pat)
if a then printf("code_etex_tla(%-20s %s)\n", mytostring(a)..",", mytostring(b)) end
end
--]]
code_etex_tla("lam", "2018-1-LA-material")
code_etex_tla("lam181", "2018-1-LA-material")
code_etex_tla("c2p1o", "2019-2-C2-P1")
code_etex_tla("c2m192p1", "2019-2-C2-P1")
code_etex_tla("c2m192p2", "2019-2-C2-P2")
code_etex_tla("mpg", "material-para-GA")
code_etex_tla("cwm", "2020cwm")
code_etex_tla("cw2", "2022cwm")
code_etex_tla("iquo", "istanbulquotes")
code_etex_tla("ph1", "2017planar-has-1")
code_etex_tla("ph2", "2017planar-has-2")
code_etex_tla("ph3", "2017planar-has-3")
code_etex_tla("pha", "2017planar-has")
code_etex_tla("ida", "2017idarct")
code_etex_tla("yon", "2017yoneda")
code_etex_tla("rad", "2023-rad2022")
code_etex_tla("ebs", "2017ebl-slides")
code_etex_tla("vga", "2017visualizing-gms")
code_etex_tla("vgs", "2018vichy-vgms-slides")
code_etex_tla("vgm", "2018vichy-vgms-slides")
code_etex_tla("vis", "2018vichy-vgms-slides")
code_etex_tla("viv", "2018vichy-video")
code_etex_tla("mdm", "2018-2-MD-material")
code_etex_tla("tua", "2018tug-dednat6-abs")
code_etex_tla("tug", "2018tug-dednat6")
code_etex_tla("tub", "2018tugboat")
code_etex_tla("tur", "2018tugboat-rev1")
code_etex_tla("mdd", "2018-2-MD-demonstracoes")
code_etex_tla("mdr", "2018-2-MD-resposta")
code_etex_tla("lod", "2019logicday")
code_etex_tla("xys", "2019xysyntax")
code_etex_tla("tmp", "tmp")
code_etex_tla("nmo", "2019notes-monads")
code_etex_tla("nmt", "2019notes-monads-tys")
code_etex_tla("nty", "2019notes-types")
code_etex_tla("nyoo", "2019notes-yoneda")
code_etex_tla("nyo", "2020notes-yoneda")
code_etex_tla("nkl", "2019notes-kleisli")
code_etex_tla("c2m182p1", "2018-2-C2-P1")
code_etex_tla("c2m191", "2019-1-C2-material")
code_etex_tla("c2tuo", "2019-1-C2-tudo")
code_etex_tla("c2m191tudo", "2019-1-C2-tudo")
code_etex_tla("c2m192", "2019-2-C2-material")
code_etex_tla("c2tuo", "2019-2-C2-tudo")
code_etex_tla("c2m192tudo", "2019-2-C2-tudo")
code_etex_tla("c2m201intro", "2020-1-C2-intro")
code_etex_tla("c2m0", "2020-1-C2-intro")
code_etex_tla("c2m201somas1", "2020-1-C2-somas-1")
code_etex_tla("c2m1", "2020-1-C2-somas-1")
code_etex_tla("c2m201somas2", "2020-1-C2-somas-2")
code_etex_tla("c2m2", "2020-1-C2-somas-2")
code_etex_tla("c2m201defint", "2020-1-C2-def-integral")
code_etex_tla("c2m5", "2020-1-C2-def-integral")
code_etex_tla("c2m201escadas", "2020-1-C2-escadas")
code_etex_tla("c2m7", "2020-1-C2-escadas")
code_etex_tla("c2m201tfcs", "2020-1-C2-TFCs")
code_etex_tla("c2m9", "2020-1-C2-TFCs")
code_etex_tla("c2m201tfc2", "2020-1-C2-TFC2")
code_etex_tla("c2m10", "2020-1-C2-TFC2")
code_etex_tla("c2m201tfc22", "2020-1-C2-TFC2-2")
code_etex_tla("c2m11", "2020-1-C2-TFC2-2")
code_etex_tla("c2m201isub", "2020-1-C2-int-subst")
code_etex_tla("c2m12", "2020-1-C2-int-subst")
code_etex_tla("c2m201mt1", "2020-1-C2-miniteste-1")
code_etex_tla("c2mt1", "2020-1-C2-miniteste-1")
code_etex_tla("c2m201fracparc", "2020-1-C2-fracs-parcs")
code_etex_tla("c2m16", "2020-1-C2-fracs-parcs")
code_etex_tla("c2m18", "2020-1-C2-int-pots-sen-cos")
code_etex_tla("c2m201ipsc", "2020-1-C2-int-pots-sen-cos")
code_etex_tla("c2m201p1", "2020-1-C2-P1")
code_etex_tla("c2mp1", "2020-1-C2-P1")
code_etex_tla("c2m201substtrig1", "2020-1-C2-subst-trig-1")
code_etex_tla("c2mst1", "2020-1-C2-subst-trig-1")
code_etex_tla("c2m201p2", "2020-1-C2-P2")
code_etex_tla("c2mp2", "2020-1-C2-P2")
code_etex_tla("c2m201mt2", "2020-1-C2-MT2")
code_etex_tla("c2mmt2", "2020-1-C2-MT2")
code_etex_tla("c2m201mt3", "2020-1-C2-MT3")
code_etex_tla("c2mmt3", "2020-1-C2-MT3")
code_etex_tla("c2m201vs", "2020-1-C2-VS")
code_etex_tla("c2mvs", "2020-1-C2-VS")
code_etex_tla("c2tuo", "2020-1-C2-tudo")
code_etex_tla("c2m201tudo", "2020-1-C2-tudo")
code_etex_tla("c3tuo", "2019-2-C3-tudo")
code_etex_tla("c3m192tudo", "2019-2-C3-tudo")
code_etex_tla("c3m0", "2020-1-C3-intro")
code_etex_tla("c3m201intro", "2020-1-C3-intro")
code_etex_tla("c3m1", "2020-1-C3-vetor-tangente")
code_etex_tla("c3m201vt", "2020-1-C3-vetor-tangente")
code_etex_tla("c3m2", "2020-1-C3-taylor-1")
code_etex_tla("c3m201taylor1", "2020-1-C3-taylor-1")
code_etex_tla("c3m5", "2020-1-C3-taylor-2")
code_etex_tla("c3m201taylor2", "2020-1-C3-taylor-2")
code_etex_tla("c3m7", "2020-1-C3-taylor-3")
code_etex_tla("c3m201taylor3", "2020-1-C3-taylor-3")
code_etex_tla("c3m9", "2020-1-C3-superficies-1")
code_etex_tla("c3m201sups1", "2020-1-C3-superficies-1")
code_etex_tla("c3m10", "2020-1-C3-superficies-2")
code_etex_tla("c3m201sups2", "2020-1-C3-superficies-2")
code_etex_tla("c3m12", "2020-1-C3-derivs-parciais")
code_etex_tla("c3m201derps", "2020-1-C3-derivs-parciais")
code_etex_tla("c3m14", "2020-1-C3-plano-tang")
code_etex_tla("c3m201pltan", "2020-1-C3-plano-tang")
code_etex_tla("c3m18", "2020-1-C3-derivs-alta-ordem")
code_etex_tla("c3m201Fxy", "2020-1-C3-derivs-alta-ordem")
code_etex_tla("c3m2ao", "2020-1-C3-aprox-2a-ordem-R2")
code_etex_tla("c3m201aprox2ao", "2020-1-C3-aprox-2a-ordem-R2")
code_etex_tla("c3mmt2", "2020-1-C3-miniteste-2")
code_etex_tla("c3m201mt2", "2020-1-C3-miniteste-2")
code_etex_tla("c3mdp1", "2020-1-C3-dicas-p1")
code_etex_tla("c3m201dp1", "2020-1-C3-dicas-p1")
code_etex_tla("c3mtopo", "2020-1-C3-abertos-e-fechados")
code_etex_tla("c3m201topo", "2020-1-C3-abertos-e-fechados")
code_etex_tla("c3mp1", "2020-1-C3-P1")
code_etex_tla("c3m201p1", "2020-1-C3-P1")
code_etex_tla("c3mp2", "2020-1-C3-P2")
code_etex_tla("c3m201p2", "2020-1-C3-P2")
code_etex_tla("c3tuo", "2020-1-C3-tudo")
code_etex_tla("c3m201tudo", "2020-1-C3-tudo")
code_etex_tla("c21", "2020-2-C2-intro")
code_etex_tla("c2m202intro", "2020-2-C2-intro")
code_etex_tla("c22", "2020-2-C2-somas-1")
code_etex_tla("c2m202somas1", "2020-2-C2-somas-1")
code_etex_tla("c24", "2020-2-C2-somas-2")
code_etex_tla("c2m202somas2", "2020-2-C2-somas-2")
code_etex_tla("c28", "2020-2-C2-escadas")
code_etex_tla("c2m202escadas", "2020-2-C2-escadas")
code_etex_tla("c2mt1", "2020-2-C2-MT1")
code_etex_tla("c2m202mt1", "2020-2-C2-MT1")
code_etex_tla("c2t", "2020-2-C2-TFC")
code_etex_tla("c2m202tfc", "2020-2-C2-TFC")
code_etex_tla("c2is", "2020-2-C2-int-subst")
code_etex_tla("c2m202is", "2020-2-C2-int-subst")
code_etex_tla("c2st", "2020-2-C2-subst-trig")
code_etex_tla("c2m202st", "2020-2-C2-subst-trig")
code_etex_tla("c2mt2", "2020-2-C2-MT2")
code_etex_tla("c2m202mt2", "2020-2-C2-MT2")
code_etex_tla("c2fp", "2020-2-C2-fracs-parcs")
code_etex_tla("c2m202fp", "2020-2-C2-fracs-parcs")
code_etex_tla("c2evs", "2020-2-C2-edovs")
code_etex_tla("c2m202edovs", "2020-2-C2-edovs")
code_etex_tla("c2p1", "2020-2-C2-P1")
code_etex_tla("c2m202p1", "2020-2-C2-P1")
code_etex_tla("c2it", "2020-2-C2-ids-trigs")
code_etex_tla("c2m202it", "2020-2-C2-ids-trigs")
code_etex_tla("c2p2", "2020-2-C2-P2")
code_etex_tla("c2m202p2", "2020-2-C2-P2")
code_etex_tla("c2tuo", "2020-2-C2-tudo")
code_etex_tla("c2m202tudo", "2020-2-C2-tudo")
code_etex_tla("c31", "2020-2-C3-intro")
code_etex_tla("c3m202intro", "2020-2-C3-intro")
code_etex_tla("c3m202vt", "2020-2-C3-vetor-tangente")
code_etex_tla("c32", "2020-2-C3-vetor-tangente")
code_etex_tla("c33", "2020-2-C3-aceleracao")
code_etex_tla("c3m202acel", "2020-2-C3-aceleracao")
code_etex_tla("c35", "2020-2-C3-taylor")
code_etex_tla("c3m202taylor1", "2020-2-C3-taylor")
code_etex_tla("c37", "2020-2-C3-rcadeia1")
code_etex_tla("c3m202rcadeia1", "2020-2-C3-rcadeia1")
code_etex_tla("c3mt1", "2020-2-C3-MT1")
code_etex_tla("c3m202mt1", "2020-2-C3-MT1")
code_etex_tla("c3pt", "2020-2-C3-plano-tang")
code_etex_tla("c3m202planotang", "2020-2-C3-plano-tang")
code_etex_tla("c3mt2", "2020-2-C3-MT2")
code_etex_tla("c3m202mt2", "2020-2-C3-MT2")
code_etex_tla("c3p1", "2020-2-C3-P1")
code_etex_tla("c3m202p1", "2020-2-C3-P1")
code_etex_tla("c3p2", "2020-2-C3-P2")
code_etex_tla("c3m202p2", "2020-2-C3-P2")
code_etex_tla("c3tuo", "2020-2-C3-tudo")
code_etex_tla("c3m202tudo", "2020-2-C3-tudo")
code_etex_tla("c2i", "2021-1-C2-intro")
code_etex_tla("c2m211intro", "2021-1-C2-intro")
code_etex_tla("c2m211subst", "2021-1-C2-subst")
code_etex_tla("c2so", "2021-1-C2-somas-1")
code_etex_tla("c2m211somas1", "2021-1-C2-somas-1")
code_etex_tla("c2sod", "2021-1-C2-somas-1-dicas")
code_etex_tla("c2m211somas1d", "2021-1-C2-somas-1-dicas")
code_etex_tla("c2so2", "2021-1-C2-somas-2")
code_etex_tla("c2m211somas2", "2021-1-C2-somas-2")
code_etex_tla("c2so24", "2021-1-C2-somas-2-4")
code_etex_tla("c2m211somas24", "2021-1-C2-somas-2-4")
code_etex_tla("c2pr", "2021-1-C2-propriedades-da-integral")
code_etex_tla("c2m211pr", "2021-1-C2-propriedades-da-integral")
code_etex_tla("c2mt1", "2021-1-C2-MT1")
code_etex_tla("c2m211mt1", "2021-1-C2-MT1")
code_etex_tla("c2mt2", "2021-1-C2-MT2")
code_etex_tla("c2m211mt2", "2021-1-C2-MT2")
code_etex_tla("c2t", "2021-1-C2-os-dois-TFCs")
code_etex_tla("c2m211tfcs", "2021-1-C2-os-dois-TFCs")
code_etex_tla("c2is", "2021-1-C2-int-subst")
code_etex_tla("c2m211is", "2021-1-C2-int-subst")
code_etex_tla("c2c", "2021-1-C2-contas-em-C2")
code_etex_tla("c2mcc2", "2021-1-C2-contas-em-C2")
code_etex_tla("c2m211cc2", "2021-1-C2-contas-em-C2")
code_etex_tla("c2p1", "2021-1-C2-P1")
code_etex_tla("c2m211p1", "2021-1-C2-P1")
code_etex_tla("c2ev", "2021-1-C2-edovs")
code_etex_tla("c2m211edovs", "2021-1-C2-edovs")
code_etex_tla("c2p2", "2021-1-C2-P2")
code_etex_tla("c2m211p2", "2021-1-C2-P2")
code_etex_tla("c2fci", "2021-1-C2-funcoes-conjs-infinitos")
code_etex_tla("c2m211fci", "2021-1-C2-funcoes-conjs-infinitos")
code_etex_tla("c2fi", "2021-1-C2-integral-figuras")
code_etex_tla("c2m211figs", "2021-1-C2-integral-figuras")
code_etex_tla("c2ie", "2021-1-C2-integrais-escadas")
code_etex_tla("c2m211ie", "2021-1-C2-integrais-escadas")
code_etex_tla("c2ca", "2021-1-C2-coisas-antigas")
code_etex_tla("c2m211ca", "2021-1-C2-coisas-antigas")
code_etex_tla("c2tuo", "2021-1-C2-tudo")
code_etex_tla("c2m211tudo", "2021-1-C2-tudo")
code_etex_tla("c3i", "2021-1-C3-intro")
code_etex_tla("c3m211intro", "2021-1-C3-intro")
code_etex_tla("c3vt", "2021-1-C3-vetor-tangente")
code_etex_tla("c3m211vt", "2021-1-C3-vetor-tangente")
code_etex_tla("c3vl", "2021-1-C3-visualizar-limites")
code_etex_tla("c3m211vl", "2021-1-C3-visualizar-limites")
code_etex_tla("c3ta", "2021-1-C3-taylor")
code_etex_tla("c3m211ta", "2021-1-C3-taylor")
code_etex_tla("c3c", "2021-1-C3-cortes")
code_etex_tla("c3m211c", "2021-1-C3-cortes")
code_etex_tla("c3cn", "2021-1-C3-curvas-de-nivel")
code_etex_tla("c3m211cn", "2021-1-C3-curvas-de-nivel")
code_etex_tla("c3m211planos", "2021-1-C3-planos")
code_etex_tla("c3mt1", "2021-1-C3-MT1")
code_etex_tla("c3m211mt1", "2021-1-C3-MT1")
code_etex_tla("c3dp", "2021-1-C3-derivadas-parciais")
code_etex_tla("c3m211dp", "2021-1-C3-derivadas-parciais")
code_etex_tla("c3nf", "2021-1-C3-notacao-de-fisicos")
code_etex_tla("c3m211nf", "2021-1-C3-notacao-de-fisicos")
code_etex_tla("c3q", "2021-1-C3-funcoes-quadraticas")
code_etex_tla("c3m211q", "2021-1-C3-funcoes-quadraticas")
code_etex_tla("c3j", "2021-1-C3-matriz-jacobiana")
code_etex_tla("c3m211j", "2021-1-C3-matriz-jacobiana")
code_etex_tla("c3mt2", "2021-1-C3-MT2")
code_etex_tla("c3m211mt2", "2021-1-C3-MT2")
code_etex_tla("c3g", "2021-1-C3-gradiente")
code_etex_tla("c3mgrad", "2021-1-C3-gradiente")
code_etex_tla("c3m211grad", "2021-1-C3-gradiente")
code_etex_tla("c3p1", "2021-1-C3-P1")
code_etex_tla("c3m211p1", "2021-1-C3-P1")
code_etex_tla("c3af", "2021-1-C3-abertos-e-fechados")
code_etex_tla("c3m211af", "2021-1-C3-abertos-e-fechados")
code_etex_tla("c3p2", "2021-1-C3-P2")
code_etex_tla("c3m211p2", "2021-1-C3-P2")
code_etex_tla("c3tu", "2021-1-C3-tudo")
code_etex_tla("c3m211tudo", "2021-1-C3-tudo")
code_etex_tla("c2i", "2021-2-C2-intro")
code_etex_tla("c2m212intro", "2021-2-C2-intro")
code_etex_tla("c2so", "2021-2-C2-somas-1")
code_etex_tla("c2m212somas1", "2021-2-C2-somas-1")
code_etex_tla("c2mt1", "2021-2-C2-MT1")
code_etex_tla("c2m212mt1", "2021-2-C2-MT1")
code_etex_tla("c2mt2", "2021-2-C2-MT2")
code_etex_tla("c2m212mt2", "2021-2-C2-MT2")
code_etex_tla("c2so2", "2021-2-C2-somas-2")
code_etex_tla("c2m212somas2", "2021-2-C2-somas-2")
code_etex_tla("c2so24", "2021-2-C2-somas-2-4")
code_etex_tla("c2m212somas24", "2021-2-C2-somas-2-4")
code_etex_tla("c2is", "2021-2-C2-infs-e-sups")
code_etex_tla("c2m212is", "2021-2-C2-infs-e-sups")
code_etex_tla("c2di", "2021-2-C2-def-integral")
code_etex_tla("c2m212di", "2021-2-C2-def-integral")
code_etex_tla("c2pi", "2021-2-C2-props-int")
code_etex_tla("c2m212pi", "2021-2-C2-props-int")
code_etex_tla("c2t1", "2021-2-C2-TFC1")
code_etex_tla("c2m212tfc1", "2021-2-C2-TFC1")
code_etex_tla("c2mt3", "2021-2-C2-MT3")
code_etex_tla("c2m212mt3", "2021-2-C2-MT3")
code_etex_tla("c2ints", "2021-2-C2-int-subst")
code_etex_tla("c2m212ints", "2021-2-C2-int-subst")
code_etex_tla("c2mv", "2021-2-C2-mud-var-gamb")
code_etex_tla("c2m212mv", "2021-2-C2-mud-var-gamb")
code_etex_tla("c2p1", "2021-2-C2-P1")
code_etex_tla("c2m212p1", "2021-2-C2-P1")
code_etex_tla("c2ev", "2021-2-C2-edovs")
code_etex_tla("c2m212edovs", "2021-2-C2-edovs")
code_etex_tla("c2rp2", "2021-2-C2-revisao-pra-P2")
code_etex_tla("c2m212rp2", "2021-2-C2-revisao-pra-P2")
code_etex_tla("c2p2", "2021-2-C2-P2")
code_etex_tla("c2m212p2", "2021-2-C2-P2")
code_etex_tla("c2fp", "2021-2-C2-fracoes-parciais")
code_etex_tla("c2m212fp", "2021-2-C2-fracoes-parciais")
code_etex_tla("c2vs", "2021-2-C2-VS")
code_etex_tla("c2m212vs", "2021-2-C2-VS")
code_etex_tla("c2tuoo", "2021-2-C2-tudo")
code_etex_tla("c2m212tudo", "2021-2-C2-tudo")
code_etex_tla("c3i", "2021-2-C3-intro")
code_etex_tla("c3m212intro", "2021-2-C3-intro")
code_etex_tla("c3vt", "2021-2-C3-vetor-tangente")
code_etex_tla("c3m212vt", "2021-2-C3-vetor-tangente")
code_etex_tla("c3b", "2021-2-C3-bezier")
code_etex_tla("c3m212bezier", "2021-2-C3-bezier")
code_etex_tla("c3mt1", "2021-2-C3-MT1")
code_etex_tla("c3m212mt1", "2021-2-C3-MT1")
code_etex_tla("c3ty", "2021-2-C3-tipos")
code_etex_tla("c3m212types", "2021-2-C3-tipos")
code_etex_tla("c3nf", "2021-2-C3-notacao-de-fisicos")
code_etex_tla("c3m212nf", "2021-2-C3-notacao-de-fisicos")
code_etex_tla("c3dn", "2021-2-C3-diag-nums")
code_etex_tla("c3m212dn", "2021-2-C3-diag-nums")
code_etex_tla("c3mt2", "2021-2-C3-MT2")
code_etex_tla("c3m212mt2", "2021-2-C3-MT2")
code_etex_tla("c3fh", "2021-2-C3-funcoes-homogeneas")
code_etex_tla("c3m212fh", "2021-2-C3-funcoes-homogeneas")
code_etex_tla("c3ta", "2021-2-C3-taylor")
code_etex_tla("c3m212ta", "2021-2-C3-taylor")
code_etex_tla("c3p1", "2021-2-C3-P1")
code_etex_tla("c3m212p1", "2021-2-C3-P1")
code_etex_tla("c3t2", "2021-2-C3-taylor-R2")
code_etex_tla("c3m212t2", "2021-2-C3-taylor-R2")
code_etex_tla("c3p2", "2021-2-C3-P2")
code_etex_tla("c3m212p2", "2021-2-C3-P2")
code_etex_tla("c3vs", "2021-2-C3-VS")
code_etex_tla("c3m212vs", "2021-2-C3-VS")
code_etex_tla("c3q", "2021-2-C3-funcoes-quadraticas")
code_etex_tla("c3m212q", "2021-2-C3-funcoes-quadraticas")
code_etex_tla("c3tuoo", "2021-2-C3-tudo")
code_etex_tla("c3m212tudo", "2021-2-C3-tudo")
code_etex_tla("c2i", "2022-1-C2-intro")
code_etex_tla("c2m221intro", "2022-1-C2-intro")
code_etex_tla("c2so3", "2022-1-C2-somas-3")
code_etex_tla("c2m221somas3", "2022-1-C2-somas-3")
code_etex_tla("c2is", "2022-1-C2-infs-e-sups")
code_etex_tla("c2m221is", "2022-1-C2-infs-e-sups")
code_etex_tla("c2t1", "2022-1-C2-TFC1")
code_etex_tla("c2m221tfc1", "2022-1-C2-TFC1")
code_etex_tla("c2mt1", "2022-1-C2-MT1")
code_etex_tla("c2m221mt1", "2022-1-C2-MT1")
code_etex_tla("c2df", "2022-1-C2-der-fun-inv")
code_etex_tla("c2m221dfi", "2022-1-C2-der-fun-inv")
code_etex_tla("c2at", "2022-1-C2-algumas-t-ints")
code_etex_tla("c2m221atis", "2022-1-C2-algumas-t-ints")
code_etex_tla("c2fd", "2022-1-C2-formulas-defs")
code_etex_tla("c2m221fd", "2022-1-C2-formulas-defs")
code_etex_tla("c2ft", "2022-1-C2-formulas-test")
code_etex_tla("c2m221ft", "2022-1-C2-formulas-test")
code_etex_tla("c2mt2", "2022-1-C2-MT2")
code_etex_tla("c2m221mt2", "2022-1-C2-MT2")
code_etex_tla("c2pr", "2022-1-C2-primitivas")
code_etex_tla("c2m221pr", "2022-1-C2-primitivas")
code_etex_tla("c2d1", "2022-1-C2-dicas-pra-P1")
code_etex_tla("c2m221dp1", "2022-1-C2-dicas-pra-P1")
code_etex_tla("c2p1", "2022-1-C2-P1")
code_etex_tla("c2m221p1", "2022-1-C2-P1")
code_etex_tla("c2d2", "2022-1-C2-dicas-pra-P2")
code_etex_tla("c2m221dp2", "2022-1-C2-dicas-pra-P2")
code_etex_tla("c2p2", "2022-1-C2-P2")
code_etex_tla("c2m221p2", "2022-1-C2-P2")
code_etex_tla("c2vr", "2022-1-C2-VR")
code_etex_tla("c2m221vr", "2022-1-C2-VR")
code_etex_tla("c2dv", "2022-1-C2-dicas-pra-VSA")
code_etex_tla("c2m221dvs", "2022-1-C2-dicas-pra-VSA")
code_etex_tla("c2vs", "2022-1-C2-VSA")
code_etex_tla("c2m221vsa", "2022-1-C2-VSA")
code_etex_tla("c2vsb", "2022-1-C2-VSB")
code_etex_tla("c2m221vsb", "2022-1-C2-VSB")
code_etex_tla("c2ap", "2022-1-apresentacao-C2")
code_etex_tla("c2m221ac2", "2022-1-apresentacao-C2")
code_etex_tla("c2fi", "2022-1-C2-fini")
code_etex_tla("c2m221fini", "2022-1-C2-fini")
code_etex_tla("c2tuoo", "2022-1-C2-tudo")
code_etex_tla("c2m221tudo", "2022-1-C2-tudo")
code_etex_tla("c3or", "2022-1-C3-orbita")
code_etex_tla("c3m221orbita", "2022-1-C3-orbita")
code_etex_tla("c3nf", "2022-1-C3-notacao-de-fisicos")
code_etex_tla("c3m221nf", "2022-1-C3-notacao-de-fisicos")
code_etex_tla("c3mt1", "2022-1-C3-MT1")
code_etex_tla("c3m221mt1", "2022-1-C3-MT1")
code_etex_tla("c3fh", "2022-1-C3-funcoes-homogeneas")
code_etex_tla("c3m221fh", "2022-1-C3-funcoes-homogeneas")
code_etex_tla("c3mt2", "2022-1-C3-MT2")
code_etex_tla("c3m221mt2", "2022-1-C3-MT2")
code_etex_tla("c3p1", "2022-1-C3-P1")
code_etex_tla("c3m221p1", "2022-1-C3-P1")
code_etex_tla("c3p2", "2022-1-C3-P2")
code_etex_tla("c3m221p2", "2022-1-C3-P2")
code_etex_tla("c3vr", "2022-1-C3-VR")
code_etex_tla("c3m221vr", "2022-1-C3-VR")
code_etex_tla("c3vs", "2022-1-C3-VS")
code_etex_tla("c3m221vs", "2022-1-C3-VS")
code_etex_tla("c3vsb", "2022-1-C3-VSB")
code_etex_tla("c3m221vsb", "2022-1-C3-VSB")
code_etex_tla("c3tuoo", "2022-1-C3-tudo")
code_etex_tla("c3m221tudo", "2022-1-C3-tudo")
code_etex_tla("c2bu", "2022-2-C2-buraco")
code_etex_tla("c2m222buraco", "2022-2-C2-buraco")
code_etex_tla("c2mm", "2022-2-C2-mathologermovel")
code_etex_tla("c2m222mm", "2022-2-C2-mathologermovel")
code_etex_tla("c2i", "2022-2-C2-intro")
code_etex_tla("c2m222intro", "2022-2-C2-intro")
code_etex_tla("c2ip", "2022-2-C2-int-por-partes")
code_etex_tla("c2m222ipp", "2022-2-C2-int-por-partes")
code_etex_tla("c2fp", "2022-2-C2-fracoes-parciais")
code_etex_tla("c2m222fp", "2022-2-C2-fracoes-parciais")
code_etex_tla("c2mv", "2022-2-C2-mudanca-de-variaveis")
code_etex_tla("c2m222mv", "2022-2-C2-mudanca-de-variaveis")
code_etex_tla("c2st", "2022-2-C2-subst-trig")
code_etex_tla("c2m222strig", "2022-2-C2-subst-trig")
code_etex_tla("c2sr", "2022-2-C2-somas-de-riemann")
code_etex_tla("c2m222sr", "2022-2-C2-somas-de-riemann")
code_etex_tla("c2tf", "2022-2-C2-TFC1-e-TFC2")
code_etex_tla("c2m222tfcs", "2022-2-C2-TFC1-e-TFC2")
code_etex_tla("c2av", "2022-2-C2-areas-e-volumes")
code_etex_tla("c2m222areasevolumes", "2022-2-C2-areas-e-volumes")
code_etex_tla("c2ev", "2022-2-C2-edovs")
code_etex_tla("c2m222edovs", "2022-2-C2-edovs")
code_etex_tla("c2el", "2022-2-C2-edos-lineares")
code_etex_tla("c2m222edols", "2022-2-C2-edos-lineares")
code_etex_tla("c2d1", "2022-2-C2-dicas-pra-P1")
code_etex_tla("c2m222dicasp1", "2022-2-C2-dicas-pra-P1")
code_etex_tla("c2p1", "2022-2-C2-P1")
code_etex_tla("c2m222p1", "2022-2-C2-P1")
code_etex_tla("c2ee", "2022-2-C2-edos-exatas")
code_etex_tla("c2m222edoexs", "2022-2-C2-edos-exatas")
code_etex_tla("c2d2", "2022-2-C2-dicas-pra-P2")
code_etex_tla("c2m222dp2", "2022-2-C2-dicas-pra-P2")
code_etex_tla("c2p2", "2022-2-C2-P2")
code_etex_tla("c2m222p2", "2022-2-C2-P2")
code_etex_tla("c2vr", "2022-2-C2-VR")
code_etex_tla("c2m222vr", "2022-2-C2-VR")
code_etex_tla("c2dv", "2022-2-C2-dicas-pra-VS")
code_etex_tla("c2m222dvs", "2022-2-C2-dicas-pra-VS")
code_etex_tla("c2vs", "2022-2-C2-VS")
code_etex_tla("c2m222vs", "2022-2-C2-VS")
code_etex_tla("c2plc", "2022-2-C2-plano-de-curso")
code_etex_tla("c2m222plc", "2022-2-C2-plano-de-curso")
code_etex_tla("c2tuo", "2022-2-C2-tudo")
code_etex_tla("c2m222tudo", "2022-2-C2-tudo")
code_etex_tla("c3i", "2022-2-C3-intro")
code_etex_tla("c3m222intro", "2022-2-C3-intro")
code_etex_tla("c3ty", "2022-2-C3-tipos")
code_etex_tla("c3m222types", "2022-2-C3-tipos")
code_etex_tla("c3ta", "2022-2-C3-taylor")
code_etex_tla("c3m222taylor", "2022-2-C3-taylor")
code_etex_tla("c3su", "2022-2-C3-superficies")
code_etex_tla("c3m222superficies", "2022-2-C3-superficies")
code_etex_tla("c3pt", "2022-2-C3-plano-tangente")
code_etex_tla("c3m222pt", "2022-2-C3-plano-tangente")
code_etex_tla("c3dp", "2022-2-C3-derivadas-parciais")
code_etex_tla("c3m222dp", "2022-2-C3-derivadas-parciais")
code_etex_tla("c3fh", "2022-2-C3-funcoes-homogeneas")
code_etex_tla("c3m222fh", "2022-2-C3-funcoes-homogeneas")
code_etex_tla("c3rc", "2022-2-C3-regra-da-cadeia")
code_etex_tla("c3m222rc", "2022-2-C3-regra-da-cadeia")
code_etex_tla("c3d1", "2022-2-C3-dicas-pra-P1")
code_etex_tla("c3m222dicasp1", "2022-2-C3-dicas-pra-P1")
code_etex_tla("c3p1", "2022-2-C3-P1")
code_etex_tla("c3m222p1", "2022-2-C3-P1")
code_etex_tla("c3to", "2022-2-C3-topologia")
code_etex_tla("c3m222top", "2022-2-C3-topologia")
code_etex_tla("c3mm", "2022-2-C3-maximos-e-minimos")
code_etex_tla("c3m222mms", "2022-2-C3-maximos-e-minimos")
code_etex_tla("c3d2", "2022-2-C3-dicas-pra-P2")
code_etex_tla("c3m222dicasp2", "2022-2-C3-dicas-pra-P2")
code_etex_tla("c3p2", "2022-2-C3-P2")
code_etex_tla("c3m222p2", "2022-2-C3-P2")
code_etex_tla("c3vr", "2022-2-C3-VR")
code_etex_tla("c3m222vr", "2022-2-C3-VR")
code_etex_tla("c3vs", "2022-2-C3-VS")
code_etex_tla("c3m222vs", "2022-2-C3-VS")
code_etex_tla("c3plc", "2022-2-C3-plano-de-curso")
code_etex_tla("c3m222plc", "2022-2-C3-plano-de-curso")
code_etex_tla("c3tu", "2022-2-C3-tudo")
code_etex_tla("c3m222tudo", "2022-2-C3-tudo")
code_etex_tla("c2in", "2023-1-C2-intro")
code_etex_tla("c2m231intro", "2023-1-C2-intro")
code_etex_tla("c2ca", "2023-1-C2-carro")
code_etex_tla("c2m231carro", "2023-1-C2-carro")
code_etex_tla("c2ma", "2023-1-C2-macaco")
code_etex_tla("c2m231macaco", "2023-1-C2-macaco")
code_etex_tla("c2mv", "2023-1-C2-mudanca-de-variaveis")
code_etex_tla("c2m231mv", "2023-1-C2-mudanca-de-variaveis")
code_etex_tla("c2fp", "2023-1-C2-fracoes-parciais")
code_etex_tla("c2m231fp", "2023-1-C2-fracoes-parciais")
code_etex_tla("c2sr", "2023-1-C2-somas-de-riemann")
code_etex_tla("c2m231sr", "2023-1-C2-somas-de-riemann")
code_etex_tla("c2d1", "2023-1-C2-dicas-pra-P1")
code_etex_tla("c2m231dicasp1", "2023-1-C2-dicas-pra-P1")
code_etex_tla("c2p1", "2023-1-C2-P1")
code_etex_tla("c2m231p1", "2023-1-C2-P1")
code_etex_tla("c2ev", "2023-1-C2-edovs")
code_etex_tla("c2m231edovs", "2023-1-C2-edovs")
code_etex_tla("c2el", "2023-1-C2-edos-lineares")
code_etex_tla("c2m231edols", "2023-1-C2-edos-lineares")
code_etex_tla("c2d2", "2023-1-C2-dicas-pra-P2")
code_etex_tla("c2m231dicasp2", "2023-1-C2-dicas-pra-P2")
code_etex_tla("c2vo", "2023-1-C2-volumes")
code_etex_tla("c2m231volumes", "2023-1-C2-volumes")
code_etex_tla("c2p2", "2023-1-C2-P2")
code_etex_tla("c2m231p2", "2023-1-C2-P2")
code_etex_tla("c2vr", "2023-1-C2-VR")
code_etex_tla("c2m231vr", "2023-1-C2-VR")
code_etex_tla("c2tu", "2023-1-C2-tudo")
code_etex_tla("c2m231tudo", "2023-1-C2-tudo")
code_etex_tla("c2plc", "2023-1-C2-plano-de-curso")
code_etex_tla("c2m231plc", "2023-1-C2-plano-de-curso")
code_etex_tla("c2pm", "2023-1-C2-prova-monitor")
code_etex_tla("c2m231pm", "2023-1-C2-prova-monitor")
code_etex_tla("c2ab", "2023-1-C2-abaixo-assinado")
code_etex_tla("c2m231abaixoassinado", "2023-1-C2-abaixo-assinado")
code_etex_tla("c3in", "2023-1-C3-intro")
code_etex_tla("c3m231intro", "2023-1-C3-intro")
code_etex_tla("c3plc", "2023-1-C3-plano-de-curso")
code_etex_tla("c3m231plc", "2023-1-C3-plano-de-curso")
code_etex_tla("c4in", "2023-1-C4-intro")
code_etex_tla("c4m231intro", "2023-1-C4-intro")
code_etex_tla("c4d1", "2023-1-C4-dicas-pra-P1")
code_etex_tla("c4m231dicasp1", "2023-1-C4-dicas-pra-P1")
code_etex_tla("c4p1", "2023-1-C4-P1")
code_etex_tla("c4m231p1", "2023-1-C4-P1")
code_etex_tla("c4d2", "2023-1-C4-dicas-pra-P2")
code_etex_tla("c4m231dicasp2", "2023-1-C4-dicas-pra-P2")
code_etex_tla("c4p2", "2023-1-C4-P2")
code_etex_tla("c4m231p2", "2023-1-C4-P2")
code_etex_tla("c4plc", "2023-1-C4-plano-de-curso")
code_etex_tla("c4m231plc", "2023-1-C4-plano-de-curso")
code_etex_tla("c4tu", "2023-1-C4-tudo")
code_etex_tla("c4m231tudo", "2023-1-C4-tudo")
code_etex_tla("esin", "2023-1-ES-intro")
code_etex_tla("esm231intro", "2023-1-ES-intro")
code_etex_tla("esp1", "2023-1-ES-P1")
code_etex_tla("esm231p1", "2023-1-ES-P1")
code_etex_tla("esp2", "2023-1-ES-P2")
code_etex_tla("esm231p2", "2023-1-ES-P2")
code_etex_tla("esvr", "2023-1-ES-VR")
code_etex_tla("esm231vr", "2023-1-ES-VR")
code_etex_tla("esplc", "2023-1-ES-plano-de-curso")
code_etex_tla("esm231plc", "2023-1-ES-plano-de-curso")
code_etex_tla("estu", "2023-1-ES-tudo")
code_etex_tla("esm231tudo", "2023-1-ES-tudo")
code_etex_tla("lain", "2023-1-LA-intro")
code_etex_tla("lam231intro", "2023-1-LA-intro")
code_etex_tla("laplc", "2023-1-LA-plano-de-curso")
code_etex_tla("lam231plc", "2023-1-LA-plano-de-curso")
code_etex_tla("latu", "2023-1-LA-tudo")
code_etex_tla("lam231tudo", "2023-1-LA-tudo")
code_etex_tla("c2in", "2023-2-C2-intro")
code_etex_tla("c2m232intro", "2023-2-C2-intro")
code_etex_tla("c2ca", "2023-2-C2-carro")
code_etex_tla("c2m232carro", "2023-2-C2-carro")
code_etex_tla("c2ju", "2023-2-C2-justificativas")
code_etex_tla("c2m232just", "2023-2-C2-justificativas")
code_etex_tla("c2ip", "2023-2-C2-integracao-por-partes")
code_etex_tla("c2m232ip", "2023-2-C2-integracao-por-partes")
code_etex_tla("c2mvd", "2023-2-C2-mv-defs")
code_etex_tla("c2m232mvd", "2023-2-C2-mv-defs")
code_etex_tla("c2mv", "2023-2-C2-mudanca-de-variaveis")
code_etex_tla("c2m232mv", "2023-2-C2-mudanca-de-variaveis")
code_etex_tla("c2tn", "2023-2-C2-teste-niv")
code_etex_tla("c2m232tn", "2023-2-C2-teste-niv")
code_etex_tla("c2dfi", "2023-2-C2-DFI")
code_etex_tla("c2m232dfi", "2023-2-C2-DFI")
code_etex_tla("c2fp", "2023-2-C2-fracoes-parciais")
code_etex_tla("c2m232fp", "2023-2-C2-fracoes-parciais")
code_etex_tla("c2sr", "2023-2-C2-somas-de-riemann")
code_etex_tla("c2m232sr", "2023-2-C2-somas-de-riemann")
code_etex_tla("c2t1", "2023-2-C2-TFC1")
code_etex_tla("c2m232tfc1", "2023-2-C2-TFC1")
code_etex_tla("c2di", "2023-2-C2-dirichlet")
code_etex_tla("c2m232dirichlet", "2023-2-C2-dirichlet")
code_etex_tla("c2d1", "2023-2-C2-dicas-pra-P1")
code_etex_tla("c2m232dicasp1", "2023-2-C2-dicas-pra-P1")
code_etex_tla("c2vo", "2023-2-C2-volumes")
code_etex_tla("c2m232volumes", "2023-2-C2-volumes")
code_etex_tla("c2p1", "2023-2-C2-P1")
code_etex_tla("c2m232p1", "2023-2-C2-P1")
code_etex_tla("c2coa", "2023-2-C2-comprimento-de-arco")
code_etex_tla("c2m232coa", "2023-2-C2-comprimento-de-arco")
code_etex_tla("c2ev", "2023-2-C2-edovs")
code_etex_tla("c2m232edovs", "2023-2-C2-edovs")
code_etex_tla("c2el", "2023-2-C2-edolccs")
code_etex_tla("c2m232edolccs", "2023-2-C2-edolccs")
code_etex_tla("c2nc", "2023-2-C2-numeros-complexos")
code_etex_tla("c2m232nc", "2023-2-C2-numeros-complexos")
code_etex_tla("c2ee", "2023-2-C2-edos-exatas")
code_etex_tla("c2m232edosexatas", "2023-2-C2-edos-exatas")
code_etex_tla("c2eed", "2023-2-C2-edos-exatas-defs")
code_etex_tla("c2m232edosexatasdefs", "2023-2-C2-edos-exatas-defs")
code_etex_tla("c2els", "2023-2-C2-edos-lineares")
code_etex_tla("c2m232edols", "2023-2-C2-edos-lineares")
code_etex_tla("c2cd", "2023-2-C2-coefs-a-determinar")
code_etex_tla("c2m232cd", "2023-2-C2-coefs-a-determinar")
code_etex_tla("c2ta", "2023-2-C2-taylor")
code_etex_tla("c2m232ta", "2023-2-C2-taylor")
code_etex_tla("c2d2", "2023-2-C2-dicas-pra-P2")
code_etex_tla("c2m232dicasp2", "2023-2-C2-dicas-pra-P2")
code_etex_tla("c2sf", "2023-2-C2-series-formais")
code_etex_tla("c2m232seriesformais", "2023-2-C2-series-formais")
code_etex_tla("c2p2", "2023-2-C2-P2")
code_etex_tla("c2m232p2", "2023-2-C2-P2")
code_etex_tla("c2vr1", "2023-2-C2-VRP1")
code_etex_tla("c2m232vrp1", "2023-2-C2-VRP1")
code_etex_tla("c2vr2", "2023-2-C2-VRP2")
code_etex_tla("c2m232vrp2", "2023-2-C2-VRP2")
code_etex_tla("c2dvs", "2023-2-C2-dicas-pra-VS")
code_etex_tla("c2m232dicasvs", "2023-2-C2-dicas-pra-VS")
code_etex_tla("c2rs", "2023-2-C2-ref-subst")
code_etex_tla("c2m232refsubst", "2023-2-C2-ref-subst")
code_etex_tla("c2vs", "2023-2-C2-VS")
code_etex_tla("c2m232vs", "2023-2-C2-VS")
code_etex_tla("c2se", "2023-2-C2-edos-series")
code_etex_tla("c2m232series", "2023-2-C2-edos-series")
code_etex_tla("c2vp", "2023-2-C2-var-params")
code_etex_tla("c2m232varparams", "2023-2-C2-var-params")
code_etex_tla("c2as", "2023-2-C2-areas-de-srs")
code_etex_tla("c2m232as", "2023-2-C2-areas-de-srs")
code_etex_tla("c2ii", "2023-2-C2-ints-improprias")
code_etex_tla("c2m232improprias", "2023-2-C2-ints-improprias")
code_etex_tla("c2ma", "2023-2-C2-maxima")
code_etex_tla("c2m232maxima", "2023-2-C2-maxima")
code_etex_tla("c2ab", "2023-2-C2-abaixo-assinado")
code_etex_tla("c2m232abaixoassinado", "2023-2-C2-abaixo-assinado")
code_etex_tla("c2plc", "2023-2-C2-plano-de-curso")
code_etex_tla("c2m232plc", "2023-2-C2-plano-de-curso")
code_etex_tla("c2tu", "2023-2-C2-tudo")
code_etex_tla("c2m232tudo", "2023-2-C2-tudo")
code_etex_tla("c3in", "2023-2-C3-intro")
code_etex_tla("c3m232intro", "2023-2-C3-intro")
code_etex_tla("c3sg", "2023-2-C3-geogebra")
code_etex_tla("c3m232sg", "2023-2-C3-geogebra")
code_etex_tla("c3tr", "2023-2-C3-trajetorias")
code_etex_tla("c3m232tr", "2023-2-C3-trajetorias")
code_etex_tla("c3ti", "2023-2-C3-tipos")
code_etex_tla("c3m232tipos", "2023-2-C3-tipos")
code_etex_tla("c3ta", "2023-2-C3-taylor")
code_etex_tla("c3m232ta", "2023-2-C3-taylor")
code_etex_tla("c3nf", "2023-2-C3-notacao-de-fisicos")
code_etex_tla("c3m232nf", "2023-2-C3-notacao-de-fisicos")
code_etex_tla("c3gr", "2023-2-C3-gradiente")
code_etex_tla("c3m232gradiente", "2023-2-C3-gradiente")
code_etex_tla("c3fh", "2023-2-C3-funcoes-homogeneas")
code_etex_tla("c3m232fh", "2023-2-C3-funcoes-homogeneas")
code_etex_tla("c3d1", "2023-2-C3-dicas-pra-P1")
code_etex_tla("c3m232dicasp1", "2023-2-C3-dicas-pra-P1")
code_etex_tla("c3p1", "2023-2-C3-P1")
code_etex_tla("c3m232p1", "2023-2-C3-P1")
code_etex_tla("c3md", "2023-2-C3-matrizes-definidas")
code_etex_tla("c3m232md", "2023-2-C3-matrizes-definidas")
code_etex_tla("c3to", "2023-2-C3-topologia")
code_etex_tla("c3m232to", "2023-2-C3-topologia")
code_etex_tla("c3tw", "2023-2-C3-teorema-de-weierstrass")
code_etex_tla("c3m232tw", "2023-2-C3-teorema-de-weierstrass")
code_etex_tla("c3be", "2023-2-C3-bezier")
code_etex_tla("c3m232bezier", "2023-2-C3-bezier")
code_etex_tla("c3po", "2023-2-C3-polis-2o-grau")
code_etex_tla("c3m232po", "2023-2-C3-polis-2o-grau")
code_etex_tla("c3pod", "2023-2-C3-polis-2o-grau-defs")
code_etex_tla("c3m232podefs", "2023-2-C3-polis-2o-grau-defs")
code_etex_tla("c3d2", "2023-2-C3-dicas-pra-P2")
code_etex_tla("c3m232dicasp2", "2023-2-C3-dicas-pra-P2")
code_etex_tla("c3p2", "2023-2-C3-P2")
code_etex_tla("c3m232p2", "2023-2-C3-P2")
code_etex_tla("c3plc", "2023-2-C3-plano-de-curso")
code_etex_tla("c3m232plc", "2023-2-C3-plano-de-curso")
code_etex_tla("c3tu", "2023-2-C3-tudo")
code_etex_tla("c3m232tudo", "2023-2-C3-tudo")
code_etex_tla("c2in", "2024-1-C2-intro")
code_etex_tla("c2m241intro", "2024-1-C2-intro")
code_etex_tla("c2ex", "2024-1-C2-expressoes")
code_etex_tla("c2m241exprs", "2024-1-C2-expressoes")
code_etex_tla("c2ca", "2024-1-C2-carro")
code_etex_tla("c2m241carro", "2024-1-C2-carro")
code_etex_tla("c2es", "2024-1-C2-ex-subst")
code_etex_tla("c2m241exsubst", "2024-1-C2-ex-subst")
code_etex_tla("c2tn", "2024-1-C2-teste-niv")
code_etex_tla("c2m241tn", "2024-1-C2-teste-niv")
code_etex_tla("c2ii", "2024-1-C2-int-indefinida")
code_etex_tla("c2m241ii", "2024-1-C2-int-indefinida")
code_etex_tla("c2ip", "2024-1-C2-int-partes")
code_etex_tla("c2m241ip", "2024-1-C2-int-partes")
code_etex_tla("c2mvd", "2024-1-C2-mv-defs")
code_etex_tla("c2m241mvdefs", "2024-1-C2-mv-defs")
code_etex_tla("c2di", "2024-1-C2-diferenciais")
code_etex_tla("c2m241di", "2024-1-C2-diferenciais")
code_etex_tla("c2mv", "2024-1-C2-mudanca-de-variaveis")
code_etex_tla("c2m241mv", "2024-1-C2-mudanca-de-variaveis")
code_etex_tla("c2dg", "2024-1-C2-dicas-pra-greve")
code_etex_tla("c2m241dg", "2024-1-C2-dicas-pra-greve")
code_etex_tla("c2vp", "2024-1-C2-virem-pessoas")
code_etex_tla("c2m241virem", "2024-1-C2-virem-pessoas")
code_etex_tla("c2d1", "2024-1-C2-dicas-pra-P1")
code_etex_tla("c2m241dicasp1", "2024-1-C2-dicas-pra-P1")
code_etex_tla("c2sr", "2024-1-C2-somas-de-riemann")
code_etex_tla("c2m241sr", "2024-1-C2-somas-de-riemann")
code_etex_tla("c2fd", "2024-1-C2-dirichlet")
code_etex_tla("c2m241dirichlet", "2024-1-C2-dirichlet")
code_etex_tla("c2t1", "2024-1-C2-TFC1")
code_etex_tla("c2m241tfc1", "2024-1-C2-TFC1")
code_etex_tla("c2vo", "2024-1-C2-volumes")
code_etex_tla("c2m241volumes", "2024-1-C2-volumes")
code_etex_tla("c2ev", "2024-1-C2-edovs")
code_etex_tla("c2m241edovs", "2024-1-C2-edovs")
code_etex_tla("c2p1", "2024-1-C2-P1")
code_etex_tla("c2m241p1", "2024-1-C2-P1")
code_etex_tla("c2el", "2024-1-C2-edolccs")
code_etex_tla("c2m241edolccs", "2024-1-C2-edolccs")
code_etex_tla("c2nc", "2024-1-C2-numeros-complexos")
code_etex_tla("c2m241nc", "2024-1-C2-numeros-complexos")
code_etex_tla("c2cd", "2024-1-C2-coefs-a-determinar")
code_etex_tla("c2m241cd", "2024-1-C2-coefs-a-determinar")
code_etex_tla("c2els", "2024-1-C2-edos-lineares")
code_etex_tla("c2m241edols", "2024-1-C2-edos-lineares")
code_etex_tla("c2ee", "2024-1-C2-edos-exatas")
code_etex_tla("c2m241edosexatas", "2024-1-C2-edos-exatas")
code_etex_tla("c2rv", "2024-1-C2-revisao")
code_etex_tla("c2m241revisao", "2024-1-C2-revisao")
code_etex_tla("c2p2", "2024-1-C2-P2")
code_etex_tla("c2m241p2", "2024-1-C2-P2")
code_etex_tla("c2vr1", "2024-1-C2-VRP1")
code_etex_tla("c2m241vrp1", "2024-1-C2-VRP1")
code_etex_tla("c2vr2", "2024-1-C2-VRP2")
code_etex_tla("c2m241vrp2", "2024-1-C2-VRP2")
code_etex_tla("c2vs", "2024-1-C2-VS")
code_etex_tla("c2m241vs", "2024-1-C2-VS")
code_etex_tla("c2dfi", "2024-1-C2-DFI")
code_etex_tla("c2m241dfi", "2024-1-C2-DFI")
code_etex_tla("c2plc", "2024-1-C2-plano-de-curso")
code_etex_tla("c2m241plc", "2024-1-C2-plano-de-curso")
code_etex_tla("c2tu", "2024-1-C2-tudo")
code_etex_tla("c2m241tudo", "2024-1-C2-tudo")
code_etex_tla("c2te", "2024-1-C2-C3-termo")
code_etex_tla("c3in", "2024-1-C3-intro")
code_etex_tla("c3m241intro", "2024-1-C3-intro")
code_etex_tla("c3tr", "2024-1-C3-trajetorias")
code_etex_tla("c3m241traj", "2024-1-C3-trajetorias")
code_etex_tla("c3ti", "2024-1-C3-tipos")
code_etex_tla("c3m241tipos", "2024-1-C3-tipos")
code_etex_tla("c3nf", "2024-1-C3-notacao-de-fisicos")
code_etex_tla("c3m241nf", "2024-1-C3-notacao-de-fisicos")
code_etex_tla("c3di", "2024-1-C3-diferenciais")
code_etex_tla("c3m241di", "2024-1-C3-diferenciais")
code_etex_tla("c3is", "2024-1-C3-intro-superficies")
code_etex_tla("c3m241is", "2024-1-C3-intro-superficies")
code_etex_tla("c3dg", "2024-1-C3-dicas-pra-greve")
code_etex_tla("c3m241dg", "2024-1-C3-dicas-pra-greve")
code_etex_tla("c3dp", "2024-1-C3-derivadas-parciais")
code_etex_tla("c3m241dp", "2024-1-C3-derivadas-parciais")
code_etex_tla("c3rp1", "2024-1-C3-anim-rp1")
code_etex_tla("c3m241rp1", "2024-1-C3-anim-rp1")
code_etex_tla("c3dm", "2024-1-C3-dois-metodos")
code_etex_tla("c3m241dm", "2024-1-C3-dois-metodos")
code_etex_tla("c3ta", "2024-1-C3-taylor")
code_etex_tla("c3m241ta", "2024-1-C3-taylor")
code_etex_tla("c3pc", "2024-1-C3-pontos-criticos")
code_etex_tla("c2m241pc", "2024-1-C3-pontos-criticos")
code_etex_tla("c3dt", "2024-1-C3-diferencial-total")
code_etex_tla("c3m241dertotal", "2024-1-C3-diferencial-total")
code_etex_tla("c3d1", "2024-1-C3-dicas-pra-P1")
code_etex_tla("c3m241dicasp1", "2024-1-C3-dicas-pra-P1")
code_etex_tla("c3p1", "2024-1-C3-P1")
code_etex_tla("c3m241p1", "2024-1-C3-P1")
code_etex_tla("c3to", "2024-1-C3-topologia")
code_etex_tla("c3m232to", "2024-1-C3-topologia")
code_etex_tla("c3pr1", "2024-1-C3-prova-relampago-1")
code_etex_tla("c3m241pr1", "2024-1-C3-prova-relampago-1")
code_etex_tla("c3p2", "2024-1-C3-P2")
code_etex_tla("c3m241p2", "2024-1-C3-P2")
code_etex_tla("c3vr1", "2024-1-C3-VRP1")
code_etex_tla("c3m241vrp1", "2024-1-C3-VRP1")
code_etex_tla("c3vr2", "2024-1-C3-VRP2")
code_etex_tla("c3m241vrp2", "2024-1-C3-VRP2")
code_etex_tla("c3vs", "2024-1-C3-VS")
code_etex_tla("c3m241vs", "2024-1-C3-VS")
code_etex_tla("c3tm", "2024-1-C3-taylor-maxima")
code_etex_tla("c3m241tm", "2024-1-C3-taylor-maxima")
code_etex_tla("c3plc", "2024-1-C3-plano-de-curso")
code_etex_tla("c3m241plc", "2024-1-C3-plano-de-curso")
code_etex_tla("c3tu", "2024-1-C3-tudo")
code_etex_tla("c3m241tudo", "2024-1-C3-tudo")
code_etex_tla("c3tn", "2024-1-C3-teste-niv")
code_etex_tla("c3m241testeniv", "2024-1-C3-teste-niv")
code_etex_tla("c2in", "2024-2-C2-intro")
code_etex_tla("c2m242intro", "2024-2-C2-intro")
code_etex_tla("c2ca", "2024-2-C2-carro")
code_etex_tla("c2m242carro", "2024-2-C2-carro")
code_etex_tla("c2tn", "2024-2-C2-teste-niv")
code_etex_tla("c2m242tn", "2024-2-C2-teste-niv")
code_etex_tla("c2es", "2024-2-C2-ex-subst")
code_etex_tla("c2m242exsubst", "2024-2-C2-ex-subst")
code_etex_tla("c2di", "2024-2-C2-diferenciais")
code_etex_tla("c2m242di", "2024-2-C2-diferenciais")
code_etex_tla("c2fp", "2024-2-C2-fracoes-parciais")
code_etex_tla("c2m242fp", "2024-2-C2-fracoes-parciais")
code_etex_tla("c2dfi", "2024-2-C2-DFI")
code_etex_tla("c2m242dfi", "2024-2-C2-DFI")
code_etex_tla("c2mv", "2024-2-C2-mudanca-de-variaveis")
code_etex_tla("c2m242mv", "2024-2-C2-mudanca-de-variaveis")
code_etex_tla("c2nc", "2024-2-C2-numeros-complexos")
code_etex_tla("c2m242nc", "2024-2-C2-numeros-complexos")
code_etex_tla("c2sr", "2024-2-C2-somas-de-riemann")
code_etex_tla("c2m242sr", "2024-2-C2-somas-de-riemann")
code_etex_tla("c2fd", "2024-2-C2-dirichlet")
code_etex_tla("c2m242dirichlet", "2024-2-C2-dirichlet")
code_etex_tla("c2d1", "2024-2-C2-dicas-pra-P1")
code_etex_tla("c2m242dicasp1", "2024-2-C2-dicas-pra-P1")
code_etex_tla("c2p1", "2024-2-C2-P1")
code_etex_tla("c2m242p1", "2024-2-C2-P1")
code_etex_tla("c2tu", "2024-2-C2")
code_etex_tla("c2m242tudo", "2024-2-C2")
code_etex_tla("c2tu", "2024-2-C2-tudo")
code_etex_tla("c2m242tudo", "2024-2-C2-tudo")
code_etex_tla("c3in", "2024-2-C3-intro")
code_etex_tla("c3m242intro", "2024-2-C3-intro")
code_etex_tla("c3tr", "2024-2-C3-trajetorias")
code_etex_tla("c3m242traj", "2024-2-C3-trajetorias")
code_etex_tla("c3nf", "2024-2-C3-notacao-de-fisicos")
code_etex_tla("c3m242nf", "2024-2-C3-notacao-de-fisicos")
code_etex_tla("c3sg", "2024-2-C3-geogebra")
code_etex_tla("c3m242sg", "2024-2-C3-geogebra")
code_etex_tla("c3mc", "2024-2-C3-maxima-conics")
code_etex_tla("c3m242maximaconics", "2024-2-C3-maxima-conics")
code_etex_tla("c3dd", "2024-2-C3-derivadas-direcionais")
code_etex_tla("c3m242dd", "2024-2-C3-derivadas-direcionais")
code_etex_tla("c3fh", "2024-2-C3-funcoes-homogeneas")
code_etex_tla("c3m242fh", "2024-2-C3-funcoes-homogeneas")
code_etex_tla("c3t2d", "2024-2-C3-teste-2a-derivada")
code_etex_tla("c3m242t2d", "2024-2-C3-teste-2a-derivada")
code_etex_tla("c3d1", "2024-2-C3-dicas-pra-P1")
code_etex_tla("c3m242dicasp1", "2024-2-C3-dicas-pra-P1")
code_etex_tla("c3p1", "2024-2-C3-P1")
code_etex_tla("c3m242p1", "2024-2-C3-P1")
code_etex_tla("c3to", "2024-2-C3-topologia")
code_etex_tla("c3m242to", "2024-2-C3-topologia")
code_etex_tla("c3tu", "2024-2-C3-tudo")
code_etex_tla("c3m242tudo", "2024-2-C3-tudo")
code_etex_tla("ema", "2019ebl-mesa-disc-logica-grad")
code_etex_tla("ebf", "2019ebl-five-appls")
code_etex_tla("eb5", "2019ebl-five-appls")
code_etex_tla("p2s", "2019planar-has-2-slashings")
code_etex_tla("p2l", "2019planar-has-2-logic")
code_etex_tla("oxa", "2019oxford-abs")
code_etex_tla("oxn", "2019oxford-abs-noc")
code_etex_tla("oxd", "2019oxford-diags")
code_etex_tla("oxi", "2019oxford-intro")
code_etex_tla("dru", "2019derived-rules")
code_etex_tla("elp", "2019elephant-poster")
code_etex_tla("elz", "2019elephant-poster-z")
code_etex_tla("iga", "2019ilha-grande-poster-a4")
code_etex_tla("igp", "2019ilha-grande-poster")
code_etex_tla("igs", "2019ilha-grande-slides")
code_etex_tla("seh", "2019seminario-hermann")
code_etex_tla("jop", "2019J-ops")
code_etex_tla("jod", "2019J-ops-defs")
code_etex_tla("jos", "2019J-ops-slashings")
code_etex_tla("jol", "2019J-ops-logic")
code_etex_tla("joc", "2019J-ops-cubes")
code_etex_tla("jom", "2019J-ops-midway")
code_etex_tla("jov", "2019J-ops-valuations")
code_etex_tla("joa", "2019J-ops-algebra")
code_etex_tla("joe", "2019J-ops-categories")
code_etex_tla("joo", "2019J-ops-classifier")
code_etex_tla("jok", "2019J-ops-kan")
code_etex_tla("jon", "2020J-ops-new")
code_etex_tla("ph9", "2019planar-has-1-main")
code_etex_tla("saj", "2019sajl-test")
code_etex_tla("kan", "2019kan-extensions")
code_etex_tla("adj", "2020adjunctions")
code_etex_tla("cl9", "2019classifier")
code_etex_tla("eco", "2019emacsconf")
code_etex_tla("emacsconf2019", "2019emacsconf")
code_etex_tla("ecl", "2019emacsconf-long")
code_etex_tla("nea", "2019newton-abs")
code_etex_tla("nes", "2019newton-slides")
code_etex_tla("taa", "2020tallinn-abstract")
code_etex_tla("lvn", "2020lawvere-notation")
code_etex_tla("hy8", "2008hyp-utf8")
code_etex_tla("hyp8", "2008hyp-utf8")
code_etex_tla("natd", "2008natded-utf8")
code_etex_tla("pbl", "2020pullback-lemmas")
code_etex_tla("pan", "2019-2-C2-provas-antigas")
code_etex_tla("ace", "2020-ace")
code_etex_tla("quo", "2020quotient-types")
code_etex_tla("dno", "2020on-a-broken-dnc")
code_etex_tla("noo", "2020notes-on-notation")
code_etex_tla("fav", "2020favorite-conventions")
code_etex_tla("shv", "2020sheaves")
code_etex_tla("clo", "2020closure-operator")
code_etex_tla("clj", "2020closures-and-J-ops")
code_etex_tla("clt", "2020clops-and-tops")
code_etex_tla("clg", "2020clops-and-tops-garbage")
code_etex_tla("abt", "2020abramsky-tzevelekos")
code_etex_tla("awo", "2020awodey")
code_etex_tla("bmt", "2020badiou-mt")
code_etex_tla("blo", "2020badiou-low")
code_etex_tla("bo1", "2020borceux1")
code_etex_tla("cac", "2020caccamo")
code_etex_tla("ctc", "2020barrwellsctcs")
code_etex_tla("cwi", "2020caccamo-winskel")
code_etex_tla("gef", "2020genericfigures")
code_etex_tla("hyp", "2020hyp")
code_etex_tla("inst", "2020institutions")
code_etex_tla("jac", "2020jacobs")
code_etex_tla("l86", "2020lambek86")
code_etex_tla("lad", "2020lawvere-adjfo")
code_etex_tla("lar", "2020mclarty")
code_etex_tla("leq", "2020lawvere-equahyp")
code_etex_tla("lin", "2020lindenhovius")
code_etex_tla("lind", "lindenhovius")
code_etex_tla("linj", "2021lindenhovius-june")
code_etex_tla("linf", "2021lindenhovius-j-to-X")
code_etex_tla("obi", "2021other-bijections")
code_etex_tla("lor", "2020loregian")
code_etex_tla("mds", "2020macdonaldsobral")
code_etex_tla("mmo", "2020maclane-moerdijk")
code_etex_tla("pra", "2020prawitz")
code_etex_tla("rie", "2020riehl")
code_etex_tla("sgl", "2021sgl")
code_etex_tla("shy", "2020seelyhyp")
code_etex_tla("shp", "2020seelyhyp-poster")
code_etex_tla("slc", "2020seelylccc")
code_etex_tla("plc", "2020seelyplc")
code_etex_tla("tpt", "2020topostheory")
code_etex_tla("vdp", "2020dialectica")
code_etex_tla("kdi", "2020kockdiff")
code_etex_tla("lsc", "2020lambek-scott")
code_etex_tla("lst", "2020bell-lst")
code_etex_tla("zha", "2021zhang")
code_etex_tla("rrj", "2021rrj")
code_etex_tla("ats", "2020ats")
code_etex_tla("pyt", "2020pythontex")
code_etex_tla("dnv", "2020dednat6-video")
code_etex_tla("qui", "2020quiver")
code_etex_tla("grt", "2020groth-tops")
code_etex_tla("grd", "2021groth-tops-defs")
code_etex_tla("grc", "2021groth-tops-children")
code_etex_tla("grs", "2021groth-tops-children-slides")
code_etex_tla("has", "2021haskell")
code_etex_tla("exc", "2021excuse")
code_etex_tla("lod21", "2021logicday")
code_etex_tla("ski", "2021ski")
code_etex_tla("adn", "2021ArtDecoN")
code_etex_tla("saptelegram", "2021sobre-aulas-por-telegram")
code_etex_tla("sapt", "2021sobre-aulas-por-telegram")
code_etex_tla("sapt", "2021sobre-aulas-por-telegram")
code_etex_tla("p2a", "2021planar-HAs-2")
code_etex_tla("p19", "2019J-ops-defs")
code_etex_tla("bur", "2021burghardt")
code_etex_tla("lea", "2021lean-nng")
code_etex_tla("fit", "2021fitch")
code_etex_tla("y21", "2021yoneda")
code_etex_tla("dan", "2021resposta-daniela")
code_etex_tla("dfc", "2021-deptypes-for-children")
code_etex_tla("sysf", "2021systemF")
code_etex_tla("e21", "2021emacsconf")
code_etex_tla("emacsconf2021", "2021emacsconf")
code_etex_tla("al1", "2022agda-logic-1")
code_etex_tla("dis", "2017distributivity")
code_etex_tla("pit", "2021pict2e")
code_etex_tla("dep", "2022dep-vars")
code_etex_tla("mis", "2022on-the-missing")
code_etex_tla("mia", "2022on-the-missing-agda")
code_etex_tla("mib", "2022on-the-missing-b")
code_etex_tla("mdy", "2022missing-diags-yoneda")
code_etex_tla("yps", "2022yoneda-pseudocode")
code_etex_tla("mt1", "2022meteor-test1")
code_etex_tla("om1", "2022ochs-meteor1")
code_etex_tla("his", "2022hissa")
code_etex_tla("pa2", "2022-plano-de-atividades-C2")
code_etex_tla("pa3", "2022-plano-de-atividades-C3")
code_etex_tla("lre", "2022repl")
code_etex_tla("ebla", "2022ebl-abs")
code_etex_tla("ebl", "2022ebl")
code_etex_tla("ebl2022", "2022ebl")
code_etex_tla("eblr", "2022ebl-relatorio")
code_etex_tla("wal", "2022chat-walter")
code_etex_tla("rau", "2022-reuniao-C2-aug")
code_etex_tla("pei", "2022peirce")
code_etex_tla("epy", "2022emacsconf-py")
code_etex_tla("ekl", "2022emacsconf-kla")
code_etex_tla("sul", "2022sula")
code_etex_tla("twd", "2022tikzwd-1")
code_etex_tla("tw2", "2022tikzwd-2")
code_etex_tla("aju", "2022-2-C2-C3-ajuda")
code_etex_tla("art", "2022-arthur")
code_etex_tla("mc1", "2022missing-changes-1")
code_etex_tla("mc3", "2023-C3-projeto-de-monitoria")
code_etex_tla("mc3", "2024-C3-projeto-de-monitoria")
code_etex_tla("c22r", "2022-reclamacoes")
code_etex_tla("cae", "2023-caepro")
code_etex_tla("caer", "2023-caepro-reclamacoes")
code_etex_tla("caed", "2023-caepro-didatica")
code_etex_tla("caev", "2023-caepro-VR")
code_etex_tla("caepl", "2023-caepro-plano")
code_etex_tla("caeh", "2023-caepro-hist")
code_etex_tla("np", "2023-caepro-nplcs")
code_etex_tla("nplcs", "2023-caepro-nplcs")
code_etex_tla("ends", "2023ends-and-coends")
code_etex_tla("ere", "2023emacsconf-repls")
code_etex_tla("emacsconf2023", "2023emacsconf-repls")
code_etex_tla("loe", "2023loeliger")
code_etex_tla("loeeg", "2024eev-git")
code_etex_tla("visc", "2024visualizing-captures")
code_etex_tla("pae", "2024panic-at-equalities")
code_etex_tla("pat", "2024panic-teresopolis")
code_etex_tla("tin", "2024type-inference")
code_etex_tla("tins", "2024type-inferences")
code_etex_tla("2024tins", "2024type-inferences")
code_etex_tla("e24t", "2024emacsconf")
code_etex_tla("emacsconf2024", "2024emacsconf")
code_etex_tla("rad", "2024-rad2023")
code_etex_tla("vent", "2024-ventilador")
code_etex_tla("pts", "2024pts")
code_etex_tla("coreo", "2024coreo")
code_etex_tla("ltt", "2024leantt")
code_etex_tla("mc2", "2024-C2-monitoria-edital")
code_etex_tla("mc3", "2024-C3-monitoria-edital")
code_etex_tla("mc2ac", "2024-C2-monitoria-edital-ac")
code_etex_tla("mc3ac", "2024-C3-monitoria-edital-ac")
-- Local Variables:
-- coding: utf-8-unix
-- End: