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.