Thu, 01 Oct 2015 18:44:48 +0200 | blanchet | tuned datatype docs | changeset | files |
Thu, 01 Oct 2015 17:35:28 +0200 | blanchet | export proof method in signature | changeset | files |
Thu, 01 Oct 2015 17:32:07 +0200 | blanchet | export '_cmd' functions | changeset | files |