I have made many internal changes, and corrected several typos. Get the latest version here.
Friday, November 30, 2012
Thursday, November 29, 2012
Wednesday, November 28, 2012
Saturday, November 24, 2012
I’ve finally decided to perform a drastic typographical makeover of my home page. I’m now one of the very few people out there using fully justified text, which of course entails using proper hyphenation as well. I have achieved this by inserting U+00AD SOFT HYPHEN characters in the HTML source. Not by hand, but by a combination of my own Perl programming efforts and Jan Pazdziora’s nifty TeX::Hyphen module.