Ref maintenance notes: Tools for scenario improvement and for documentation update


renumber_scenario.stl

[TO BE FILLED IN]


collect_symbols.stl

This tool constructs a cross-reference table of the definitions appearing in the shared common scenario; moreover, it builds many catalogs, one for each symbol whose definition appears in that scenario, containing the claims of the theorems regarding that symbol. Such catalogs form a folder of HTML files, which will complements the Ref's user manual, while the cross-reference table will become a section of that manual.

Here is how the symbol collector is used: