diff options
| author | Hendrik Tews | 2021-01-20 10:10:59 +0100 |
|---|---|---|
| committer | hendriktews | 2021-02-13 20:07:35 +0100 |
| commit | 7e7af1294128bbccb98f6c44c77b7ab3ea863a42 (patch) | |
| tree | da10db48900adbec1ec8c8fd4ecb8ddcfc5010ce /proof-general-pkg.el | |
| parent | ecb3588482d4ec5b418eb566ecfd7e41d6addd6d (diff) | |
update changes and documentation for vok feature
Diffstat (limited to 'proof-general-pkg.el')
0 files changed, 0 insertions, 0 deletions