Navigation: Theorem Visualization Pipeline > Server Home Page > Data > Project Models |
Send comments on this topic. |
Project Models
Some input file formats contain references to external parts instead of being a self-contained dataset. The model produced by one of these depends on the availability and modified date of these external files at the time of processing. Use this page to re-process such models such that it considers any changes to the external files since the last time they were processed.
Viewing Models contained within a Project
To view the list of models contained in a project, click on Select a Project.
In the expanded list, select a Project which will then list the models further down the page.
Further options shown on this page are related to the options shown on the Models page.