| FDL Name | EventSystems_WebReProjection_2006_09_28-PM-04_36_57 |
| Projection Id Path | /local/web_projection/web_projections/EventSystems_WebReProjection_2006_09_28-PM-04_36_57 |
| Content,Presentation version code | 13,45 |
| Entry Point |
EventSystems theories. |
| Projector Version | 32 |
| DPSE Version | 310.1[4.2-91] |
| Projection Started at | Tue Oct 10 13:05:46 EDT 2006 |
| chain-replication-acks-refines | ERROR(non-fatal): cannot layout formula link for chain-replication-acks |
| chain-replication-acks-refines | ERROR(non-fatal): cannot layout formula link for abstract-chain-replication |
| chain-replication-acks wf | ERROR(non-fatal): cannot layout formula link for chain-replication-acks |
| abstract-chain-replication-property | ERROR(non-fatal): cannot layout formula link for abstract-chain-replication |
| abstract-chain-replication wf | ERROR(non-fatal): cannot layout formula link for abstract-chain-replication |
| bounded-input-forwarding [no URL] | www_URL failed |
| bounded-input-forwarding-invariant [no URL] | www_URL failed |
| bounded-input-forwarding_wf [no URL] | www_URL failed |
| chain-order-total-config [no URL] | www_URL failed |
| chain-order-implies-before-config [no URL] | www_URL failed |