elpasync pushed a change to branch elpa/proof-general.
from 7a28fa207a proof-shell, pg-response: indentation fixes
new 175af3f18b CI: new tests for 3-pane mode for small frame heights
new 1f0c75788a ignore 3-pane mode if frame is too small
Summary of changes:
ci/simple-tests/README.md | 3 +
ci/simple-tests/coq-test-three-window.el | 136 +++++++++++++++++++++++++++++++
doc/ProofGeneral.texi | 4 +
generic/pg-response.el | 16 +++-
generic/proof-useropts.el | 6 +-
5 files changed, 161 insertions(+), 4 deletions(-)
create mode 100644 ci/simple-tests/coq-test-three-window.el
