-
Andrew Hirsch authored
Now, we just have "annotated choreographies" (though without numbers on if statements). This means we are not annotating choreographies any more.
e556d3f0
Now, we just have "annotated choreographies" (though without numbers on if statements). This means we are not annotating choreographies any more.