diff options
| author |  Stephane Glondu <steph@glondu.net> | 2015-10-22 23:35:10 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2015-10-22 23:35:10 +0200 |
| commit | b2c2ff3d8f54130858a1acff4737772bfa0a4a64 (patch) | |
| tree | dd99a6d197dec2b071d2f5e0d1495a71d6489132 /ide/xmlprotocol.mli | |
| parent | ac7d8c9837b3e4b35b011fbe0f995a4a1593041c (diff) | |
Move initial.coq to coq-theories
Diffstat (limited to 'ide/xmlprotocol.mli')
0 files changed, 0 insertions, 0 deletions