User contributions
7 January 2009
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 1: sub [varnothing/emptyset]
+2
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 6: format grammar box
+1,133
User:Jon Awbrey/SCRATCHPAD
Box Displays: wrap up grammar box + style mods
+1,134
User:Jon Awbrey/SCRATCHPAD
Box Displays: next example
+421
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 6: restore intro for grammar 6
+373
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 5: markup
+1,033
User:Jon Awbrey/SCRATCHPAD
Box Displays: wrap up grammar box
+1,004
User:Jon Awbrey/SCRATCHPAD
Box Displays: next example
+349
Directory:Jon Awbrey/Papers/Cactus Language
References: ndash
+6
Directory:Jon Awbrey/Papers/Cactus Language
References: add ref
+133
Directory:Jon Awbrey/Papers/Cactus Language
The Cactus Language : Syntax: move intro to grammar 5 under the corresponding head
-143
6 January 2009
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: markup
+203
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: markup
+252
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: markup
+940
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: markup
+469
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: markup
+157
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: markup
+134
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 4: format grammar box
+901
User:Jon Awbrey/SCRATCHPAD
Box Displays: that's a wrap
+876
User:Jon Awbrey/SCRATCHPAD
Box Displays: next example
+295
Directory:Jon Awbrey/Papers/Cactus Language
The Cactus Language : Syntax: move grammar 4 set-up en-suite
+5
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 3: markup
+433
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 3: markup
+51
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 3: markup
+107
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 3: markup
+228
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 3: markup
+343
5 January 2009
Directory:Jon Awbrey/Papers/Cactus Language
The Cactus Language : Syntax: align decimal points on row numbers
User:Jon Awbrey/SCRATCHPAD
Box Displays: align decimal points in row numbers
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 3: markup
+299
Directory:Jon Awbrey/Papers/Cactus Language
Grammar 2: currently using italics for non-terminal symbols
-9
Directory:Jon Awbrey/Papers/Cactus Language
The Cactus Language : Syntax: move motivation for grammar 3 into its section
+3
Directory:Jon Awbrey/Papers/Cactus Rules
copy <pre>text
+355,499
Directory:Jon Awbrey/Papers/Cactus Rules
{{DISPLAYTITLE:Cactus Rules}}
Directory:Jon Awbrey/Papers/Cactus Language
The Cactus Language : Syntax: spacing
+4
User:Jon Awbrey/SCRATCHPAD
Box Displays: spacing
+4
Directory:Jon Awbrey/Papers/Cactus Language
The Cactus Language : Syntax: reformat grammar boxes
+808
User:Jon Awbrey/SCRATCHPAD
Box Displays: del <pre>text
-304
User:Jon Awbrey/SCRATCHPAD
Box Displays: try it another way
-15
Directory talk:Jon Awbrey/Papers/Cactus Language
Fragmata: add thread
+255
User:Jon Awbrey/SCRATCHPAD
Box Displays
+1,104
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
+300
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
+240
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
+180
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar–Apr 2001)
-10
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
+70
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
+124
Directory talk:Jon Awbrey/Papers/Cactus Language
Arisbe List (Mar 2001)
+60
Directory talk:Jon Awbrey/Papers/Cactus Language
Propositional Equation Reasoning Systems
+64
Directory talk:Jon Awbrey/Papers/Cactus Language
NKS Forum
+11