User contributions
30 October 2025
29 October 2025
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Two Variables: + File:Boolean Functions on Two Variables • Truth Table.png | 600px
+5
File:Boolean Functions on Two Variables • Truth Table.png
no edit summary
File:Boolean Functions on Two Variables (Truth Table).png
no edit summary
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Two Variables: + png placeholder
+250
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on One Variable: + File:Boolean Functions on One Variable.png | 600px
+234
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Zero Variables: {| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
-1
User:Jon Awbrey/Figures and Tables 1
fix typo -> cellpadding + adjust cellpaddings
-6
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Zero Variables: + File:Boolean Functions on Zero Variables.png | 600px
+239
File:Boolean Functions on One Variable.png
no edit summary
File:Boolean Functions on Zero Variables.png
no edit summary
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics
+5
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: update
-410
26 October 2025
22 October 2025
File:Cactus Language Semantic Translation Equational Form.png
no edit summary
File:Cactus Language Semantic Translation Functional Form.png
no edit summary
21 October 2025
User:Jon Awbrey/Figures and Tables 1
update work page
+568
File:Cactus Language Algorithmic Translation Rules.png
no edit summary
User:Jon Awbrey/Figures and Tables 1
update work page
+1,002
18 October 2025
17 October 2025
User:Jon Awbrey/Figures and Tables 1
+ Table 18. Boolean Functions on Two Variables
+3,379
User:Jon Awbrey/Figures and Tables 1
+ Table 17. Boolean Functions on One Variable
+1,082
User:Jon Awbrey/Figures and Tables 1
+ Table 16. Boolean Functions on Zero Variables
+610
User:Jon Awbrey/Figures and Tables 1
Format Samples: + <math>\xrightarrow[\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}]{\mathrm{Parse}}</math>
+94
User:Jon Awbrey/Figures and Tables 1
no edit summary
+52
User:Jon Awbrey/Figures and Tables 1
+ Table 14. Semantic Translation • Functional Form + Table 15. Semantic Translation • Equational Form
+4,678
User:Jon Awbrey/Figures and Tables 1
+ <math>\xrightarrow{\mathrm{Parse}}</math> + <math>\leftrightsquigarrow</math>
+108
User:Jon Awbrey/Figures and Tables 1
add user page
User:Jon Awbrey/Figures and Tables
add user page
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: fix problem with tildes (~) in \texttt environment
+22
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: use \texttt{} instead of \underline{}
-63
User talk:Jon Awbrey/Cactus Language Semantics Work
Format Tests
User:Jon Awbrey/Cactus Language Semantics Work
{{anchor|Semantics}}Cactus Language • Semantics: anchor template apparently not implemented here
-20
User:Jon Awbrey/Cactus Language Semantics Work
copy whole section
+11,290
User:Jon Awbrey/Cactus Language Semantics Work
remove underlines
-140
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: remove underlines
-1,152
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics • Last Part of Wiki Version
-513
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics • Last Part of Wiki Version: add content
+20,590
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics • Last Part of Wiki Version
-5
User:Jon Awbrey/Cactus Language Semantics Work
+ <h2>Cactus Language • Semantics • Last Part of Wiki Version</h2>
14 October 2025
File:Format Samples • MathML View.png
no edit summary
File:Format Samples • MathJax Fail.png
no edit summary
User:Jon Awbrey/SANDBOX
TextTT
-60
User:Jon Awbrey/SANDBOX
+ Format Samples
+2,815
File:Boolean Functions on Two Variables.png
no edit summary
User:Jon AwbreyCactus Patch
add content
+11,421
User:Jon AwbreyCactus Patch
add user work page