Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. - Changing concrete syntax for latest and last activation - Some other minor changes
Changeset 9317:fc372c4d6bc6 by dmarmsoler:
- Changing concrete syntax for latest and last activation<br>- Some other minor changes
The file was modified thys/Architectural_Design_Patterns/Blackboard.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Blockchain.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Publisher_Subscriber.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Singleton.thy (diff)
The file was modified thys/Architectural_Design_Patterns/document/root.bib (diff)
The file was modified thys/DynamicArchitectures/Configuration_Traces.thy (diff)
The file was modified thys/DynamicArchitectures/Dynamic_Architecture_Calculus.thy (diff)