23 July 2023
- 13:5513:55, 23 July 2023 diff hist +15 m Semantics better words
- 13:4713:47, 23 July 2023 diff hist +4 m Semantics better words
- 03:2303:23, 23 July 2023 diff hist −4 m Semantics better word
- 00:0700:07, 23 July 2023 diff hist −2 m Semantics better word
- 00:0300:03, 23 July 2023 diff hist +70 Semantics clean up the introduction a lil Tag: Visual edit
22 July 2023
- 23:5123:51, 22 July 2023 diff hist +2,898 Semantics Write the worlds section Tag: Visual edit
- 20:5120:51, 22 July 2023 diff hist +1,258 Semantics Finish the events section Tag: Visual edit
- 03:4903:49, 22 July 2023 diff hist +2,454 Semantics Start events section Tag: Visual edit
19 July 2023
- 03:4603:46, 19 July 2023 diff hist −1 m Semantics Fix a typo Tag: Visual edit
- 03:4103:41, 19 July 2023 diff hist +409 Semantics Mention the special syntax for presuppositions in lambda expressions Tag: Visual edit
- 03:1503:15, 19 July 2023 diff hist 0 m Semantics Fix broken anaphora Tag: Visual edit
- 03:1203:12, 19 July 2023 diff hist +1,956 Semantics Explain presuppositions Tag: Visual edit
18 July 2023
- 22:0222:02, 18 July 2023 diff hist +2 Semantics Use a consistent syntax for restricted quantification Tag: Visual edit
- 18:3718:37, 18 July 2023 diff hist 0 Semantics brismu is being worked on again?? update the link Tag: Visual edit
17 July 2023
- 04:0304:03, 17 July 2023 diff hist +2,579 Semantics Explain how properties are represented Tag: Visual edit
16 July 2023
- 22:5522:55, 16 July 2023 diff hist +7 Semantics Improve wording Tag: Visual edit
- 22:4922:49, 16 July 2023 diff hist +1,413 Semantics Cover basic symbols Tag: Visual edit
- 21:2521:25, 16 July 2023 diff hist +3,812 Semantics go down the proposition rabbit hole Tag: Visual edit
15 July 2023
- 15:5415:54, 15 July 2023 diff hist +366 N Template:Math Create the template current
20 March 2023
- 18:1818:18, 20 March 2023 diff hist 0 Project:About Fix typo