[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