Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

2024/10/10 16:42 using:standard_lib – fponzi +270 B (current)
2024/10/10 08:46 using:standard_lib – fponzi +224 B
2024/10/09 13:23 using:standard_lib – fponzi +142 B
2024/10/09 13:20 using:standard_lib – fponzi +216 B
2024/10/09 13:16 using:standard_lib – fponzi +370 B
2024/10/09 12:57 using:standard_lib – fponzi +5 B
2024/10/09 12:56 using:standard_lib – fponzi +113 B
2024/10/09 12:55 using:standard_lib – fponzi +7 B
2024/10/09 12:54 using:standard_lib – fponzi +360 B
2024/10/09 05:12 using:standard_lib – Copied the list of standard definitions from https://lamport.azurewebsites.net/tla/summary-standalone.pdf notnotcalvin +862 B
2024/09/28 15:58 using:standard_lib – created - external edit 127.0.0.1 +31 B