diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-06 18:42:52 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-06 18:55:25 +0200 |
| commit | 977e91d0aa5cfece962fc82e3fd42402918663c8 (patch) | |
| tree | 756a4bc293d50bc9b1831ae017707e312bdf50e7 /plugins/micromega/VarMap.v | |
| parent | 83ec679e785f5313f088be77bcd652a29783623b (diff) | |
A proposal to unify the messages given by Test and Print Options (#5062).
Diffstat (limited to 'plugins/micromega/VarMap.v')
0 files changed, 0 insertions, 0 deletions