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
paths.

Tobias





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