Code

proof-shell: document call graph#739

Code

Merged

hendriktews merged 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom hendriktews:doc-call-graphhendriktews/PG:doc-call-graphCopy head branch name to clipboardFeb 19, 2024

+29

Commits

Commits on Feb 18, 2024

• proof-shell: document call graph

  hendriktews

  committed
  eca785d