[opentheory-users] opentheory tool unhandled exception

Joe Hurd joe at gilith.com
Mon Sep 26 23:21:25 UTC 2011


Hi Ramana,

> Sure, here's another one in the same vein.

Thanks for the bug report, I've installed a handler around this one:

$ bin/mosml/opentheory list
FATAL ERROR: opentheory failed:
couldn't open the theory directory /Users/joe/.opentheory
system error: openDir failed on `/Users/joe/.opentheory/repos': No
such file or directory

Cheers,

Joe



More information about the opentheory-users mailing list