diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2012-09-25 11:36:43 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2012-09-25 11:36:43 +0000 |
commit | e45c11ad24987b32b2046f3c2163d07ccf0ccec0 (patch) | |
tree | c36546044675a29275948d817303034a2893ab1b /lib/scomint.el | |
parent | 50fcb507ff60cad600bcaa814230fecc5ef2646f (diff) |
Fixed #419: coq synchronized variables are not anymore in the settings
menu, they are in option menu that only issues commands to the prover
and do not try to keep track of the values of the variables.
Diffstat (limited to 'lib/scomint.el')
0 files changed, 0 insertions, 0 deletions