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.

Posted in General | 1 Comment

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