diff options
| author | Pierre Courtieu | 2020-04-10 22:48:55 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-15 16:08:09 +0200 |
| commit | 97b8d4fcdcd67d49acd59389795fc48d9fa8f1d0 (patch) | |
| tree | a6d6cc500b048a2750b337d1cf56bf846a38c8bf /pgocaml | |
| parent | 1ef1286c43d4d099b3b017069ed09c261eb8b6ca (diff) | |
Span menu entry for proof using annotation + doc.
Diffstat (limited to 'pgocaml')
0 files changed, 0 insertions, 0 deletions