diff options
author | 2006-12-13 14:10:36 +0000 | |
---|---|---|
committer | 2006-12-13 14:10:36 +0000 | |
commit | 10cd6f2061e8c35a6f6cb0a07772cf6dad0de43f (patch) | |
tree | 8ffd21f5a59ba763aa40b481f202ed8da00be71f /coq/example.v | |
parent | c8496375c8bafbbcdfd4cc346a87c031d0b0254c (diff) |
Added completion to coq-prog-name asking.
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions