procj EN1 {stem text} {
  if {$text==""} {set text $stem}
  HREF /home/root/LATEX/$stem.dvi $text
}

# cd ~/LATEX/; for i in [0-9]*.tex; do echo "    [EN $(basename $i .tex) ]"; done | tee ~/o

htmlize {some TeXed notes} {
  [HLIST1 {dvis:}
    [EN 99apr19 [Q Sobre derivar com relação a um fluxo]]
    [EN 99apr24 [Q1 {Sobre "saber até ordem n"}]]
    [EN 99may28 Itatiaia notes (see itati.tex)]
    [EN 99jun01 [Q Mônadas]]
    [EN 99jun04 [Q Transformações de contato]]
    [EN 99jun27 [Q Variedades, com a notação engraçada]]
    [EN1 99jun29 [Q Variedades, pseudogrupo, fibrados]]
    [EN 99jul05 [Q Variedades - fibrados naturais?]]
    [EN 99jul07 [Q Variedades - ?]]
    [EN 99jul13 Diagramas do \"para todo\" e do \"implica\" num topos]
    [EN 99jul18a [Q Hamiltonianos - só o enunciado?]]
    [EN 99jul18b Hamiltonianos]
    [EN 99jul18c Hamiltonianos: caminho errado]

    [EN 99aug13 (Grupos de Lie)]
    [EN 99sep07 O sistema LK]
    [EN 99sep07a (Fluidos)]
    [EN 99sep08 Flows and derivatives]
    [EN 99sep09 Local form of immersions\; implicit function thm]
    [EN 99sep15 (Fluidos)]
    [EN 99sep21 (Fluidos)]
    [EN 99sep22 [Q Coordenadas cilíndricas]]
    [EN 99sep23 (Fluidos)]
    [EN 99sep25 Linear Logic - the rules in a shorter form]
    [EN 99sep30 Linear Logic - some trivial exercises from Troelstra's book]
    [EN 99oct04 [Q Problema dos carvões]]
    [EN 99oct07 [Q Operações com matrizes, vistas em árvores]]
    [EN 99oct08 Continuidade e set-functions]
    [EN 99oct31 [Q Troelstra, cap.9: Combinatorial Linear Logic]]
    [EN 99nov03 [Q Derivações]]
    [EN 99nov06 [Q Proposta para uma notação para topoi... versão rabisco]]
    [EN 99nov17 [Q Teorema de Levi: alguns enunciados do tijolão]]
    [EN 99nov19 [Q Teorema de Levi: dicionário]]
    [EN 99nov22 Ramblings sobre o teorema de Levi]
    [EN 99nov24 Mais teorema de Levi]
    [EN 99nov29a Mais teorema de Levi]
    [EN 99nov29b [Q Teorema de Levi, com o truque das contas rápidas]]
    [EN 99dec10 [Q Construção dos operadores lógicos para Mitchell-Bénabou]]
    [EN 99dec26 [Q Construção da exponencial]]
    [EN 00jan03 [Q Notas de Mauá]]
    [EN 00jan05 [Q Sobre variedades serem Rns sem certas ops canônicas]]
    [EN 00jan09 [Q imagem direta de um monic]]
    [EN 00jan19 Integral de Daniell]
    [EN 00jan25 [Q o que poderia entrar num resumo]]
    [EN 00feb24 [Q SSA na UFF - 12 transparências + apêndice]]
    [EN 00feb25 [Q Tipos para infinitesimais: notas quase inúteis]]
    [EN 00mar07 [Q Lista do Hermann, parte 1]]
    [EN 00mar21 [Q Notas de Vrajabhumi (umas deds do cap.3 do Troelstra)]]
    [EN 00mar23 [Q Pontos de típicos e quantificadores como adjunções]]
    [EN 00mar31 [Q Internalizações num topos e seqüentes via subobjetos]]
    [EN 00apr10 [Q Notas grandes sobre local set theory (sintaticamente)]]
    [EN 00apr29 [Q Notas grandes sobre local set theory pro PH, via categorias]]
  ]
}