diff options
author | Cyprien Mangin <cyprien.mangin@m4x.org> | 2016-06-02 12:29:16 +0200 |
---|---|---|
committer | Cyprien Mangin <cyprien.mangin@m4x.org> | 2016-06-02 12:29:16 +0200 |
commit | 7037e774a0dacbf9335e7fde03ac6932e434343d (patch) | |
tree | ba0287013bc97d77d426eb4548641eaaa413b88f /library/impargs.ml | |
parent | 93be8ebeb69df9b53122a90a15bfd3fe917aa38a (diff) |
Dynamic modifier for Queries menu in CoqIDE.
Diffstat (limited to 'library/impargs.ml')
0 files changed, 0 insertions, 0 deletions