17,745 reputation
1069125
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen Jul 8 at 6:25

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
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
Aug
4
revised Is there any way to get real-time compilation for LaTeX?
edited tags
Aug
4
revised I want to start using LaTeX on Mac OS X. Where do I start?
added 3 characters in body; edited tags; edited title
Aug
4
comment Why is the MacTeX distribution so large? Is there anything smaller for OS X?
possible duplicate of I want to start using LaTeX on a MacOS. Where do I start?
Aug
3
comment Adding keywords to entries in bib file with a view to using JabRef as a file explorer / manager
maybe it's just me, but this seems too open ended, subjective, and probably depends on your particular research area. what kind of advice are you expecting?
Aug
3
revised How to instert full citation, instead of citation key? List of Author's publication?
removed text from old obsolete answer