Code

Prooftree updates#439

Code

Merged

hendriktews merged 11 commits intoProofGeneral:masterProofGeneral/PG:masterfrom hendriktews:prooftree-updateshendriktews/PG:prooftree-updatesCopy head branch name to clipboardFeb 23, 2024

+412-685

Commits

Commits on Feb 19, 2024

• prooftree: Update proof tree display support for Coq 8.10

  Show description for ace4ccd
  hendriktews

  committed
  ace4ccd

  Copy full SHA for ace4ccd

• prooftree: complete evar info

  Show description for 6b48a10
  hendriktews

  committed
  6b48a10

  Copy full SHA for 6b48a10

• prooftree: simplify evar printing management

  Show description for 5c2b125
  hendriktews

  committed
  5c2b125

  Copy full SHA for 5c2b125

• prooftree: fix spurious undo recognition for show goal

  Show description for fb94726
  hendriktews

  committed
  fb94726

  Copy full SHA for fb94726

• prooftree: wait for show-goal commands at proof end

  Show description for 03518eb
  hendriktews

  committed
  03518eb

  Copy full SHA for 03518eb

• PG-adapting: delete some outdated prooftree information

  Show description for 1052c16
  hendriktews

  committed
  1052c16

  Copy full SHA for 1052c16

• prooftree: polish

  Show description for 513ff22
  hendriktews

  committed
  513ff22

  Copy full SHA for 513ff22

• user doc, CHANGES: update for prooftree

  hendriktews

  committed
  2c7e169

  Copy full SHA for 2c7e169

• prooftree: fix single step undo

  hendriktews

  committed
  0f581cd

  Copy full SHA for 0f581cd

• prooftree: fix Unshelve and delete new layer recognition

  Show description for db95e57
  hendriktews

  committed
  db95e57

  Copy full SHA for db95e57

• proof-tree: protect against internal errors

  Show description for abac730
  hendriktews

  committed
  abac730

  Copy full SHA for abac730