diff options
author | 2016-06-02 11:29:43 +0200 | |
---|---|---|
committer | 2016-06-02 11:29:43 +0200 | |
commit | 5874843ea8e1ca82f8b1b646022582309b7fe24c (patch) | |
tree | 3bd4172fd68dd06c2c3d1a20d697e0b7cfbacc89 /ide/coq_lex.mll | |
parent | 6cc27d2ca57a5d2fedfa52d8b44c37c60ccb6988 (diff) |
Add user-created queries to CoqIDE.
Diffstat (limited to 'ide/coq_lex.mll')
0 files changed, 0 insertions, 0 deletions