Juan A. Navarro

14,035 reputation

446102

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 10 months
	seen	May 22 at 14:08
stats	profile views	958

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.

	14,035 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 10 months
446102 badges		location	London, United Kingdom		seen	May 22 at 14:08

summary answers questions tags badges favorites bounties reputation activity

211 Revisions

suggestions reviews revisions comments badges posts accepts all

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
Nov 23	revised	What is the best package out there to typeset proof trees? Added short example
Nov 21	revised	Same node distance between levels in a tikz tree? turned example into mwe
Nov 2	revised	Save choice and execute later in pgfkeys? added 1571 characters in body
Nov 1	revised	Save choice and execute later in pgfkeys? added 41 characters in body
Oct 15	revised	How can I use BibTeX to cite a web page? Added urldate for biblatex
Sep 5	revised	Different sorting schemes in different sections of bibliography added 199 characters in body
Sep 4	revised	Different sorting schemes in different sections of bibliography added 1777 characters in body
Jul 25	revised	Expandable string substitution added a hopefully better explanation; added 13 characters in body
Jul 25	revised	Expandable string substitution added 33 characters in body
May 10	revised	Two-column list: different column widths added reference to package used by code