.

57e6ce9e · Kirill Smelkov · 6f7fabf7 · 57e6ce9e
Commit 57e6ce9e authored Feb 10, 2022 by Kirill Smelkov
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 3 deletions

Alternate.tla Alternate.tla +0 -3

No files found.
--- a/Alternate.tla
+++ b/Alternate.tla
@@ -89,6 +89,3 @@ Stuck           == \E i \in Procs : <>[](pc[i] = "ncs")


 =============================================================================
-\* Modification History
-\* Last modified Thu Feb 10 12:42:40 MSK 2022 by kirr
-\* Created Wed Feb 09 16:13:49 MSK 2022 by kirr