Re: [isabelle] novice problem

> For the moment, Isabelle2004 is still installed on my linux-system. Do I 
> have to uninstall it before installing the 2005 version ?

No, each version is independent of previous ones. In fact, you may encounter
problems if bits of the old installation are still around in your search


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.