Changes to the opentheory tool

Recent changes

• An ML interface to invoke the opentheory tool.

Version 1.4: 1 March 2018

• Moved development of the opentheory tool to GitHub and archiving releases there to enable build reproducibility.
• Support for version 6 of the article file format.

Version 1.3: 12 October 2014

• Support for exporting OpenTheory packages as Haskell packages.

Version 1.2: 25 June 2012

• Released sources under the MIT License.
• 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 sources under version 2 of the GPL License.