Juan A. Navarro

481 reputation

1725

bio	website	navarroj.com/latex
	location	London, United Kingdom
	age	32
visits	member for	2 years, 9 months
	seen	May 7 at 19:36
stats	profile views	42

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.

	481 reputation	bio	website	navarroj.com/latex	visits	member for	2 years, 9 months
1725 badges		location	London, United Kingdom		seen	May 7 at 19:36

summary answers questions tags badges favorites bounties reputation activity

38 Comments

suggestions reviews revisions comments badges posts accepts all

Jun 14	comment	Subtitle editor for OSX? Thanks for the recommendation. I tried, and it sort of works. But not quite. First it always crashed on start, then I managed to get it to start by disabling automatic updates. Now it works, but the interface is very strange and confusing. Anyway, probably I need to play a bit more with it. +1 for coming up with a suggestion, though.
Jun 14	comment	Subtitle editor for OSX? Hmm.. neither of them seem to do what I need. Submerge and iSubtitle respectively add hard and soft-coded subtitles to a video file; but in either case they only work if I already have the subtitles file. Which I dont. I want an app that helps me create the subtitles file.
Apr 27	comment	Split a single page PDF into multiple pages Good enough poor man solution. I like it.
Mar 29	comment	Is there a quick way to lock my Mac? Is there a way to access this command through the terminal or an applescript?
Mar 24	comment	Start/stop internet sharing from a script? @Philip: I don't have a clear idea, but it does seem to coincide with some upgrades to the OS. I had added some comments on mankoff's answer since January, but only now I had a chance to investigate a bit more the issue and modify my scripts to use your solution instead.
Mar 23	comment	Start/stop internet sharing from a script? I've changed my accepted answer to this because the original answer from mankoff stopped working.
Feb 1	comment	What are some alternatives to Quicksilver? From their website I understood that operations on files are part of the `powerpack` paid service. Is this correct?
Jan 5	comment	Start/stop internet sharing from a script? Strange, after a while, it stopped working. If I run the command and then open the pref pane I see that sharing is enabled, however the connection isn't actually being shared. If I manually stop and start sharing on the pref pane, then it works again without problems. Any clues about what could be wrong?
Nov 16	comment	Tab changing in TextMate when working with LaTeX files? You might have some better luck asking at tex.se: tex.stackexchange.com
Nov 10	comment	How can I print a booklet from a pdf file? In the drop-down menu I see no option for “Booklet Printing”, is this perhaps an option from a specific printer?
Sep 27	comment	How to convert a pdf file into a text file? good, thanks for the pointers!
Sep 27	comment	How to convert a pdf file into a text file? Thanks! This is by far the most simple solution, it was able to cope with my huge file without any problems and produced a reasonably clean and usable text output.
Sep 23	comment	How to convert a pdf file into a text file? I don't know if I'm pushing it too much but could you give me details on exactly what do I have to install and how? (Full disclaimer: I'm a fairly experienced user and I've already managed to install it, but on the beta stage of this site I would like to see how much detail and information are we to expect from people giving answers.)
Sep 23	comment	How to convert a pdf file into a text file? Thanks for the pointers, but which of these would actually contain `ps2ascii`? And which one should I prefer?
Sep 23	comment	How to convert a pdf file into a text file? Thanks, this seems to work for simple cases. But I've got a very large document (over 1000 pages) and it almost crashes the system just by trying to select-all!
Sep 23	comment	Start/stop internet sharing from a script? Awesome! It works, thanks!
Aug 31	comment	What iPhone apps can't you live without? Hmm.. the price probably depends on the Apple store (e.g. for me prices show in Euros) Which price should we note?
Aug 25	comment	How can I move an iTunes library from one computer to another? Even for my purchased content? Do I have to reauthorize the new computer?