Gaisi Takeuti – Proof Theory
One of the best works on proof theory finally is back in print – Gaisi Takeuti‘s Proof Theory. Originally published as Volume 81 in the series Studies in Logic and the Foundations of Mathematics...
Monthly Archive: April 2013
Alpine sports climbing – Hohe Wand – Sag niemals nie
One of the pleasures of visiting Vienna is the chance to go alpine sport climbing with minimal access. The Hohe Wand can be reached in about 40min from Vienna, and offers a variety of...
jfontmaps release 20130418.0
This is a bug fix release: Fix for kanji-config-updmap-sys to call the right script fix for replacement setup for new families fix for wrong msgothic file name generate changelog from git For more details...
クライミング ラステンフェルド・オーストリア
石川県の外のクライミングスポットが少ないから、残念ながら、最近本当の岩を登る機会が少ないんだ。仕事のため少しウイーンに過ごしている僕は、最初の週末すぐ一日クライミング行ってきた。
Hyougo-ken – Kobe – Rokko – Arima Onsen
Finally I managed to upload some photos from our trip to Hyougo-ken, visiting the foreigners’ houses and China Town in Kobe, Mount Rokko, and Arima Onsen. A nice and relaxed three day trip to...
tlmgr user mode
Starting from tomorrow, tlpretest will contain an extension to the TeX Live Manager called User Mode. This one probably one of the most asked features in recent times, that one can use tlmgr to...
How to write spam
Recently I found a nice spammed comment on this blog. It gives long text with variations, things spammers use. Only that the variations were not selected, but all included in the text. That is...
jfontmaps release 20130410.0
After quite some time of development today I uploaded jfontmaps release 20130410.0 to the CTAN servers. This release finally brings a working support for JIS2004 glyph shapes.
TeX Live development: svn and git
TeX Live development has a long history. First we were using perforce for a long time, after which we changed to subversion which is still the main development platform and the main central repository....
Preparing for TeX Live 2013 release
As recently announced, TeX Live will soon be frozen in preparation for testing the release 2013. That of course means for me to think about what critical new features I want to get into...
