diff options
| author | Pierre-Yves Strub | 2016-02-03 06:34:17 +0100 |
|---|---|---|
| committer | Pierre-Yves Strub | 2016-02-03 06:34:17 +0100 |
| commit | 2dd3c41c95ff436bce03cd4605f0d4cfc61be82c (patch) | |
| tree | c508bb0a62a41b9894807ea32a4f58f274842414 /generic/proof-site.el | |
| parent | b72c81f8090c1326fe819ea4c0a2714c0944b8e8 (diff) | |
EasyCrypt mode: copyright + license
Diffstat (limited to 'generic/proof-site.el')
0 files changed, 0 insertions, 0 deletions