2005-12-22 IsaMorph 0.9.0
	   - build from scratch using the latest Morphix technolgie which 
	     brings many many updates. IsaMorph is now based on Debian
	     sarge.
	   - update to latest Isabelle (2005)
	   - included HOL-TestGen
	   - using the CVS version of GNU Emacs as basis (thus you can do 
	     drag & drop of theories from the file browser into Emacs)
2004-07-01 IsaMorph 0.2.1
           - reorganized desktop
	   - added new examples (based on the Isabelle distribution 
	     and submissions to the Archive of Formal Proofs)
2004-06-28 IsaMorph 0.2.0
           - upgraded to ProofGeneral 3.5
	   - fixed mime-type problem, i.e., clicking on a .thy file within 
	     nautilus should start Isabelle automatically
2004-06-24 first public release (IsaMorph 0.1.0)