Categories
Archives
Meta
Monthly Archives: November 2004
Search Engines
Would it not be great if Citeseer was more like Amazon? Don’t get me wrong I think that Citeseer is an extreamly valuable tool, and I would not like to be without it. I just think that it has potential … Continue reading
Posted in General
Leave a comment
Broke all Permalinks
I just upgraded WordPress, and apparently my Permalink rewrite setup no longer works, my apologies. I’ll probably break them again in near future, be warned.
A Unicode editor for Michael
Michael claims that he does not have an editor that can handle Unicode. Thus, Henning and I whipped up an editor using mGTK that can handle Unicode. Oh, and did I mention that you can it compile with either Moscow … Continue reading
Posted in SML, mGTK
5 Comments