Revision control

Copy as Markdown

{
"initialConfiguration" : ["c1","d1"],
"events" : [
{
"event" : { "name" : "t" },
"nextConfiguration" : ["c2","d2"]
}
]
}