opentheory Change Log

Recent Changes

• A query language for installed packages using the opentheory list command.

Version 1.1: 14 March 2011

• Support for uploading theory packages to the Gilith OpenTheory Repo.

Version 1.0: 10 February 2009

• Used to power the OpenTheory project.
• Released under version 2 of the GPL License.