[opentheory-users] Package requirements

[Joe Hurd]

I've just released a new version of the opentheory tool that caches
package theorems when a theory package is installed, which enormouly
speed up the check that theory assumptions are satisfied by the new

requires: NAME

package information.

Unfortunately this means that old package repos are obsolete, but if
you install the new opentheory tool they can be brought up to date
with the shell command:

cd ~/.opentheory/packages ; for f in */*.thy ; do d=$(dirname $f) ;
echo $d ; opentheory info --theorems -o $d/$d.art theory:$f ; done

Cheers,

Joe