Eclipse, Java, C++, Lisp, LaTeX and Isabelle
New post (after a long time) on my site. If you’re interested in either Eclipse, Lisp, C++, Java or LaTeX, you need to see this:
http://recluze.wordpress.com/2007/08/17/eclipse-java-c-lisp-latex-and-isabelle/
1 Comment to Eclipse, Java, C++, Lisp, LaTeX and Isabelle
Leave a comment
Search
Recent Comments
- Khushal Khan on Dynamic Behavioral Attestation for Mobile Platforms
- Dynamic Behavioral Attestation for Mobile Platforms - Project « recluze on DBAMP
- shazkhan on Backing up OpenMoko FR before bricking it and getting your custom kernel and rootfs onto it …
- shazkhan on Getting Java on Openmoko
- shazkhan on A Standardized .bib File
Archives
- January 2009 (1)
- December 2008 (1)
- November 2008 (7)
- October 2008 (4)
- September 2008 (2)
- August 2008 (4)
- July 2008 (1)
- June 2008 (5)
- January 2008 (5)
- December 2007 (5)
- November 2007 (5)
- October 2007 (3)
- September 2007 (6)
- August 2007 (14)
- July 2007 (25)
- June 2007 (24)
- May 2007 (33)
- April 2007 (70)
Categories
- Achievements (7)
- Announcements (17)
- Blogroll (1)
- Conferences (11)
- Formal Methods (8)
- Ideas (11)
- Isabelle (6)
- Linux (18)
- News (28)
- Publications (1)
- Resources (31)
- SELinux (10)
- Trusted Computing (11)
- Uncategorized (106)
Dear group..
I have semi-officially been added to the faculty of City. Today is the first working day and I’ve forgotten my mobile at home

I don’t yet have a network cable… so I’m out of touch. Updates later.