Juan A. Navarro
A computer science lecturer at University College London. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeX/LaTeX user, most days.
I also run a small site for LaTeX beginners in spanish: LaTeX Fácil.
17 What are some alternatives to Quicksilver? feb 1 '11
16 Subtitle editor for OSX? jun 13 '11
16 Start/stop internet sharing from a script? sep 22 '10
11 How can I print a booklet from a pdf file? nov 9 '10
10 How can I print a booklet from a pdf file? nov 10 '10
9 Split a single page PDF into multiple pages apr 18 '11
7 How to convert a pdf file into a text file? sep 22 '10
4 Alternative to iWeb? may 21 '13
1 How to sync Notes over iCloud? apr 2 '12