diff options
| author | Hendrik Tews | 2021-01-14 23:01:56 +0100 |
|---|---|---|
| committer | hendriktews | 2021-02-13 20:07:35 +0100 |
| commit | 9b0703d4dcbf2e0893c217e3e5bd1c030bacc732 (patch) | |
| tree | 18150923d39fd9938ced9867c0cf4d924b3a66eb /pgshell/pgshell.el | |
| parent | 7f52ca16c0ea17cc388c9c9d07e5c46c9e56ba14 (diff) | |
generalize vio2vo symbol names for vok compilation
In functions, variables and symbols vio2vo is replaced with
second-stage to accommodate for vok compilation. For backward
compatibility, the options coq-compile-vio2vo-delay and
coq-max-background-vio2vo-percentage are kept. They provide
default values for their renamed counterparts, if they have been
set manually or through the customization system.
Documentation has only been marked but not updated yet.
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions