Subject: Web

Keywords: ::events
          ::fragments

Title: Fragment Dashboard

--------------------------------------------------
 
An specification of data to be exported to web (what in general 
should this be called?).

The Fragment Dashboard specifies snapshot of state of fragments
and related theories.

Theory replay : accessed as theory Event saved by replay exit.
Fragment replays : fragment event saved by frag db query  
Fragment generation
Theory rebuild

To run queries for replay info:
  frag_eval_replay_infos <thygrp>
   where thygrp one of "Standard", "Standard2", "Analysis", "Mathematics".

See Readme.web
⋅

www.nuprl.org/wip/web/html/objects/Fragment-Dashboard.html
⋅
--------------------------------------------------

Authors: 

Contributors: RICH:t

⋅

Home