meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | yesterday | |
| stats | profile views | 43 |
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.
|
May 1 |
revised |
How can I print a booklet from a pdf file? added 55 characters in body |
|
Apr 2 |
answered | How to sync Notes over iCloud? |
|
Apr 2 |
awarded | Editor |
|
Apr 2 |
revised |
How to sync Notes over iCloud? added 228 characters in body; edited tags |
|
Apr 2 |
asked | How to sync Notes over iCloud? |
|
Feb 7 |
comment |
Can I get Mission Control to show minimized windows? This is not working for me, when switching to Misson Control (no matter how), the TAB key seems to be inoperative. Maybe some setting that I've changed? |
|
Jan 18 |
answered | Open Self Extracting .exe |
|
Jan 18 |
comment |
Open Self Extracting .exe @bmike, you should probably turn your comment into an answer. I've tried that and it did work for me. |
|
Jan 16 |
comment |
Open password protected MS-Word document Thanks Jason. I only have to add that, at least for the document I needed to open, OpenOffice did work without any problems. |
|
Jan 16 |
accepted | Open password protected MS-Word document |
|
Jan 16 |
comment |
Open password protected MS-Word document @JasonSalaz, if you make your comment an answer, I'll mark it as accepted. |
|
Jan 12 |
awarded | Popular Question |
|
Jan 5 |
comment |
Open password protected MS-Word document Unfortunately I can't ask someone to do this, I only have this old word document with no current maintainer. (And I don't want to always rely on an external person to open/convert documents for me.) |
|
Jan 5 |
asked | Open password protected MS-Word document |
|
Nov 30 |
awarded | Popular Question |
|
Oct 18 |
awarded | Nice Question |
|
Oct 14 |
comment |
After i downloaded the new iOS 5 for my iPhone 4 safari isn't any different? I see! It does work, so apparently some websites will work and some others wont? |
|
Oct 14 |
comment |
After i downloaded the new iOS 5 for my iPhone 4 safari isn't any different? I do have the "Reading List", but the "Reader" function doesn't seem to appear on my 3GS phone. Reader wont work there? |
|
Aug 18 |
awarded | Yearling |
|
Aug 14 |
awarded | Nice Question |
