[opentheory-users] package versions

[Joe Hurd]

Hi Ramana,

> I'm deliberately keeping the new "requires" functionality contained
> for now, but I like your suggestion of it being used to produce the
> opentheory info --summary output. I'll implement this functionality.

Further to this, I've just released a version of the opentheory tool
that prints the "unsatisfied assumptions" when you run

opentheory info --summary NAME.thy

on a theory file NAME.thy with "requires" information. I think this is
useful information for the theory developer.

Cheers,

Joe