diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-04 17:14:29 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-04 17:14:29 +0100 |
commit | 15b977ff32f6c8250d47d7657987b0c94db76710 (patch) | |
tree | 7f70c0855d99fe7d37f784fc45e763ee9afa383b /generic/proof-utils.el | |
parent | af30e1ef04320547273fa02967ddcdb18f380f12 (diff) | |
parent | 8d405f342bb3a1903fc12184f78f191e7d84c29d (diff) |
Merge remote-tracking branch 'OFFICIAL/master'
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions