diff options
| author | Hendrik Tews | 2020-04-11 18:50:06 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-15 18:05:31 +0200 |
| commit | a9e0971a39305aeccc01fdf20d9ecb71aeae6b25 (patch) | |
| tree | faa514e672fb38df7c3910d66f6077ac3ff90e88 /acl2 | |
| parent | 9679c911c58cd96812e3e78b6eb2649dc395fee4 (diff) | |
menu entry for coq-compile-vos
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions