Re: [isabelle] Trouble loading theories on windows



And I can confirm that saving it fixed the problem I was having on windows.



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