- LYX 1.3.6 como editor LATEX.
Con las macros fitch.sty de Johan W.
Klüwer para hacer un esquema de deducción natural.
- GraphViz para hacer los grafos
(escritos en texto plano), como el del árbol de lógicas.
- awk para hacer sustituciones de
cadenas por caracteres Unicode (ya que LYX aún no permite Unicode).
- Makefile para automatizar la
generación de todo
- Otros: ImageMagick, iconv, xdvi,
vim, txt2tags
- Debian Linux en un Pentium 233 MMX
con 64 Mb. RAM.
Daniel Clemente Laboreo 2006-07-13
