diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-09-13 16:29:48 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-09-20 15:20:32 +0200 |
commit | 481d2b681463d2758fec6b2417631491be69f216 (patch) | |
tree | be9c107d7fed7afcd7780396fde1ab8ffcfb222c /ide/coqOps.ml | |
parent | 8b609e4e6df906dc16e8fa506a71046ab3b8f16c (diff) |
Do not canonicalize messages received by CoqIDE.
Diffstat (limited to 'ide/coqOps.ml')
0 files changed, 0 insertions, 0 deletions