.

b27e1dfe · Kirill Smelkov · d7f804e2 · b27e1dfe · b27e1dfe
Commit b27e1dfe authored Feb 10, 2022 by Kirill Smelkov
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

MutualExclusionSpec.pdf MutualExclusionSpec.pdf +0 -0

MutualExclusionSpec.tla MutualExclusionSpec.tla +1 -1

No files found.
--- a/MutualExclusionSpec.pdf
+++ b/MutualExclusionSpec.pdf
--- a/MutualExclusionSpec.tla
+++ b/MutualExclusionSpec.tla
@@ -64,5 +64,5 @@ THEOREM Spec => Liveness

 =============================================================================
 \* Modification History
-\* Last modified Thu Feb 10 12:53:17 MSK 2022 by kirr
+\* Last modified Thu Feb 10 12:58:08 MSK 2022 by kirr
 \* Created Wed Feb 09 13:11:29 MSK 2022 by kirr