18,845 reputation
1177138
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 4 months
seen Sep 17 at 7:18

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.


Aug
5
revised What is the difference between TeX and LaTeX?
edited body
Aug
4
revised What is the difference between TeX and LaTeX?
deleted 3 characters in body; edited title; edited body
Aug
4
revised Installing bibexport on Mac OS X
edited tags
Aug
4
accepted How can I typeset the date/time at compile time?
Aug
4
comment How can I typeset the date/time at compile time?
Thanks for the update! Hope you don't mind I cleaned up a bit your example for the older datetime so that it's less hackish. ;)
Aug
4
revised How can I typeset the date/time at compile time?
improved example for older datetime version; added 101 characters in body
Aug
4
comment How to keep my TeX Live installation up to date?
Excellent! I had no idea about this command, thank you very much!
Aug
4
revised How to keep my TeX Live installation up to date?
improved formatting and style
Aug
4
accepted How to keep my TeX Live installation up to date?
Aug
4
revised Compiling documents online
edited body
Aug
4
revised Compiling documents online
added 202 characters in body
Aug
4
revised How to keep my TeX Live installation up to date?
added 38 characters in body
Aug
4
comment How can I typeset the date/time at compile time?
Thanks for the answer and example. It's a shame, though, that the version of datetime on TeX Live is outdated, as I can't reliably expect collaborators to also have the latest version. I'll have to hack my way through the older datetime.
Aug
4
asked How to keep my TeX Live installation up to date?
Aug
4
comment How to obtain perfect greyness with TeX?
Could you clarify what do you mean by "grey" or "grey value"?
Aug
4
asked How can I typeset the date/time at compile time?
Aug
4
comment Why is the MacTeX distribution so large? Is there anything smaller for OS X?
Then maybe the question should be edited to something like "why is mactex so big?", also I don't see why "10.6" is relevant to have on the title.
Aug
4
revised \pagebreak vs \newpage
edited tags
Aug
4
comment \pagebreak vs \newpage
Nice! This is an example of a great answer!
Aug
4
revised parameter passing to \verb|| environment
edited tags; edited tags