Change 31875
| Time | Attribute with previous and current values |
|---|---|
|
Change #31875
2015-01-16
08:12:53
|
destroy Calagator::Event 1250467646 Galois tech talk: Combining Denotational and Operational Semantics for Scalable Proof Development Roll back |