Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen. | 2016-01-15 | |
* | Restoring plugins/xml/README erased by mistake. | 2014-10-09 | |
* | A version of convert_concl and convert_hyp in new proof engine. | 2014-10-09 | |
* | Discontinued xml plugin: improve the README. | 2014-09-12 | |
* | Removing the XML plugin. | 2014-09-08 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 |