16,945 reputation
964123
bio website navarroj.com/latex
location London, United Kingdom
age 33
visits member for 3 years, 9 months
seen Apr 16 at 9:35

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.


Apr
3
revised Remove ugly borders around clickable cross-references and hyperlinks
better code
Feb
13
revised How to make a list of unbreakable items?
keep `\item`s optional argument
Feb
8
revised How do I ask beamer to exactly fill up a slide?
added 41 characters in body
Feb
7
revised Delete an element from a comma delimited list
improved title
Oct
31
revised How do I set up my config file to have latexmk default to making a pdf?
added note of where to place the configuration file
Aug
22
revised Global setting of spacing between items in itemize environment for beamer
added 3 characters in body
Aug
22
revised Global setting of spacing between items in itemize environment for beamer
added 8 characters in body
Aug
22
revised Global setting of spacing between items in itemize environment for beamer
edited tags
Aug
15
revised Print small TeX code verbatim and render it
added 1014 characters in body
May
28
revised Why should I use LaTeX?
"traditional systems" -> "point and click systems"
May
22
revised How to write a footnnote attached to the author in a LaTeX paper?
added 4 characters in body
Apr
30
revised What is the difference between TeX and LaTeX?
added 4 characters in body
Apr
19
revised The '.is if' handler of pgfkeys
changed code to work directly with etoolbox toggles
Apr
18
revised Save choice and execute later in pgfkeys?
removed partial answer
Apr
15
revised Appending to a style that sets code with arguments in pgfkeys
added more details on the low level problem and made an informal offer of a bounty.
Apr
11
revised Appending to a style that sets code with arguments in pgfkeys
fixed typos
Apr
2
revised How can I use BibTeX to cite a web page?
edited body
Apr
2
revised How can I use BibTeX to cite a web page?
edited body
Dec
13
revised Using BibTeX with LyX: errors in auto-generated .bbl
added 108 characters in body
Nov
23
revised What is the best package out there to typeset proof trees?
added small example