247 reputation
17
bio website logicmatters.net
location Cambridge, United Kingdom
age
visits member for 1 year, 10 months
seen Nov 16 at 14:58

Recently retired from Cambridge Philosophy Faculty, interested in logic and philosophy of maths.

I waste time on twitter @PeterSmith (http://twitter.com/PeterSmith/)

For more about me, see http://www.logicmatters.net/about/


Nov
7
comment Latest TeXShop — “Trash Aux Files” bug?
Fixed in v3.45.1
Nov
2
comment Latest TeXShop — “Trash Aux Files” bug?
Richard Koch emails that yes, it is a bug, and will be fixed in v3.45 coming very soon. So I'll just leave this qn up for info until it is fixed.
Nov
2
awarded  Curious
Nov
1
awarded  Editor
Nov
1
revised Latest TeXShop — “Trash Aux Files” bug?
added 23 characters in body
Nov
1
asked Latest TeXShop — “Trash Aux Files” bug?
Sep
24
awarded  Autobiographer
Jul
8
awarded  Teacher
Jul
8
awarded  Yearling
Jul
7
answered Why doesn't \vDash work?
Jul
7
asked Re-selecting text in TeXShop
Jan
21
comment How to change the font of a cross reference made using \ref
Many thanks, I really appreciate it. This certainly seems to work (and without unexpected results elsewhere, in my book as it exists so far).
Jan
21
accepted How to change the font of a cross reference made using \ref
Jan
21
asked How to change the font of a cross reference made using \ref
Jan
18
accepted Balancing columns, last page of index (using memoir class)
Jan
18
comment Balancing columns, last page of index (using memoir class)
This does this trick nicely. Thanks so very much! [If others want to use this, you might find that you have to tinker with the settings of the pre-index text called by \preindexhook to get it to set as raw memoir did.]
Jan
18
comment Balancing columns, last page of index (using memoir class)
This works to balance the index, thanks. But (oddly?) where {\small\printindex} got the index printed at a smaller size, this no longer works. (And font size is more critical than balanced columns here!)
Jan
18
asked Balancing columns, last page of index (using memoir class)
Jan
17
awarded  Scholar
Jan
17
awarded  Supporter