Has anybody here used Proof General with Isabelle? I managed to get it to run back in March of 2008, but I can't get the latest versions to run. details on request. --Mitch -------------- next part -------------- HTML attachment scrubbed and removed