Explore 3 packages in the TPIX registry
Parse a VHDL file and extract data from it
Stash content to display it later.
Theorem/Proof environments. Straightforward, functional, clean.
