.

b96006aa · Kirill Smelkov · ce3b2651 · b96006aa · ce3b2651 · ce3b2651
Commit b96006aa authored Feb 10, 2022 by Kirill Smelkov
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitignore .gitignore +1 -0

1Bit.toolbox/1Bit.tla.pmap 1Bit.toolbox/1Bit.tla.pmap +0 -0

Alternate.toolbox/Alternate.tla.pmap Alternate.toolbox/Alternate.tla.pmap +0 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
 *.toolbox/*_SnapShot_*
+*.toolbox/*.pmap

 *.toolbox/*.tex
 *.toolbox/*.pdf

--- a/1Bit.toolbox/1Bit.tla.pmap
+++ b/1Bit.toolbox/1Bit.tla.pmap
--- a/Alternate.toolbox/Alternate.tla.pmap
+++ b/Alternate.toolbox/Alternate.tla.pmap