Pages#
Among the Proofscape Data Types, we can refer to Annotations and Sphinx Pages collectively as pages. Each one is a way of defining a page of text with interactive Widgets.
Pages and proof charts can be displayed side by side in PISE, so that users can click through a discussion in a page, and thereby navigate a diagram.
Each page type has its strengths:
Annotations are good for shorter or simpler notes, and have low overhead. They can be used to attach example explorers or other brief commentary to nodes or deductions.
Sphinx pages are a great way to develop larger works, with tables of contents and all the other features you get with Sphinx.