total 1552 -rw-rw-r-- 1 dc dc 9490 2006-01-23 04:47 examen.lyx.gz -rw-rw-r-- 1 dc dc 164056 2006-01-23 04:47 examen.pdf -rw-rw-r-- 1 dc dc 591104 2006-01-23 04:46 hl.es.ps.gz -rw-rw-r-- 1 dc dc 198421 2006-01-23 04:57 hl_fuente.tar.gz -rw-rw-r-- 1 dc dc 595656 2006-01-23 04:46 hl.ps.gz drwxrwxr-x 2 dc dc 4096 2006-07-14 12:48 html -rw-rw-r-- 1 dc dc 0 2006-01-23 04:58 NOTAS examen.pdf: examen final (5 preguntas, en catalán) examen.lyx.gz: código fuente. Licencia: la que tú quieras hl.ps.gz: trabajo final, "Lògica i llenguatges" (en catalán) hl.es.ps.gz: lo mismo, pero en castellano. "Lógica y lenguajes" html/hl.xhtml: versión (X)HTML, en catalán html/hl.es.xhtml: versión (X)HTML, en castellano hl_fuente.tar.gz: código fuente. Licencia: GNU FDL Dic2005 Daniel Clemente http://www.danielclemente.com/apuntes/hl/