User contributions
1 February 2009
31 January 2009
User:Jon Awbrey/SCRATCHPAD
Rule 3: spacing
Directory:Jon Awbrey/Papers/Cactus Language
Syntactic Transformations: spacing
User:Jon Awbrey/SCRATCHPAD
Rule 5
+689
User:Jon Awbrey/SCRATCHPAD
Rule 5
-142
User:Jon Awbrey/SCRATCHPAD
Rule 5
+2,461
User:Jon Awbrey/SCRATCHPAD
Definition 7
+6
User:Jon Awbrey/SCRATCHPAD
Definition 7
-158
User:Jon Awbrey/SCRATCHPAD
Definition 7
+1,335
User:Jon Awbrey/SCRATCHPAD
Definition 6: format + reformulate a bit
+1,428
User:Jon Awbrey/SCRATCHPAD
Definition 5
+1,257
User:Jon Awbrey/SCRATCHPAD
Definition 5
+1,401
User:Jon Awbrey/SCRATCHPAD
Definition 4
User:Jon Awbrey/SCRATCHPAD
Definition 4
+1,228
User:Jon Awbrey/SCRATCHPAD
Definition 3
-6
User:Jon Awbrey/SCRATCHPAD
Definition 3
+3,662
User:Jon Awbrey/SCRATCHPAD
Definition 2
30 January 2009
User:Jon Awbrey/SCRATCHPAD
Variant 2
Directory:Jon Awbrey/Papers/Cactus Language
Syntactic Transformations: reformat box display
+200
User:Jon Awbrey/SCRATCHPAD
Definition 1
+1,415
User:Jon Awbrey/SCRATCHPAD
Definition 2
-1,287
User:Jon Awbrey/SCRATCHPAD
Definition 2
+2,500
User:Jon Awbrey/SCRATCHPAD
Variant 2
-165
User:Jon Awbrey/SCRATCHPAD
Variant 2
+2,461
User:Jon Awbrey/SCRATCHPAD
Variant 1
Directory:Jon Awbrey/Papers/Cactus Language
Syntactic Transformations: reformat box display
+340
User:Jon Awbrey/SCRATCHPAD
Variant 2
User:Jon Awbrey/SCRATCHPAD
Rule 3
+205
User:Jon Awbrey/SCRATCHPAD
Rule 3
+19
User:Jon Awbrey/SCRATCHPAD
Rule 3
-318
User:Jon Awbrey/SCRATCHPAD
Rule 3
+2,455
User:Jon Awbrey/SCRATCHPAD
Variant 1
-179
User:Jon Awbrey/SCRATCHPAD
Mathematical Symbols
+180
29 January 2009
User:Jon Awbrey/SCRATCHPAD
Rule 3
+16
User:Jon Awbrey/SCRATCHPAD
Variant 1
-1,142
User:Jon Awbrey/SCRATCHPAD
Evaluation Rule 1
+193
User:Jon Awbrey/SCRATCHPAD
Evaluation Rule 1
+1,428
User:Jon Awbrey/SCRATCHPAD
Evaluation Rule 1
+1,979
User:Jon Awbrey/SCRATCHPAD
Proof Schemata: segment
+137
User:Jon Awbrey/SCRATCHPAD
Variant 5
+1,282
User:Jon Awbrey/SCRATCHPAD
Variant 4
+1,405
User:Jon Awbrey/SCRATCHPAD
Variant 3
+1,648
User:Jon Awbrey/SCRATCHPAD
Value Rule 1
+1,215
User:Jon Awbrey/SCRATCHPAD
Box Displays
+63
User:Jon Awbrey/SCRATCHPAD
Variant 1
-233
User:Jon Awbrey/SCRATCHPAD
Value Rule 1
+2,011
Directory:Jon Awbrey/Papers/Cactus Language
Syntactic Transformations: segment
+359
Directory:Jon Awbrey/Papers/Cactus Language
move large tables to appendices
+377
Directory:Jon Awbrey/Papers/Cactus Language
add [appendices] + segmentation
-71
User:Jon Awbrey/SCRATCHPAD
Box Displays: spacing
-2