Hello, When I load a theory in HOL4, I *occasionally* receive the following error message:
"Loading wordsTheory Couldn't make .HOLMK directory: Permission denied Exception- Fail "Couldn't make .HOLMK directory: Permission denied” raised“ Does anybody has an idea why this error is raised? and how should I fix it? Thanks, Narges ------------------------------------------------------------------------------ One dashboard for servers and applications across Physical-Virtual-Cloud Widest out-of-the-box monitoring support with 50+ applications Performance metrics, stats and reports that give you Actionable Insights Deep dive visibility with transaction tracing using APM Insight. http://ad.doubleclick.net/ddm/clk/290420510;117567292;y _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info