User contributions
1 July 2009
File:Cactus ((A),(B),(C)) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-468
File:Cactus (A,B,C) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-534
File:Cactus ((A,B)) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-408
File:Cactus (A,B) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-230
File:Cactus (A)B Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-270
File:Cactus (A(B)) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-522
File:Cactus ((A)(B)(C)) Big.jpg
no edit summary
30 June 2009
User:Jon Awbrey/TABLE
Wiki TeX Tables
-505
User:Jon Awbrey/TABLE
Wiki TeX Tables
-188
File:Cactus ABC Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-276
File:Cactus (A) Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-24
User:Jon Awbrey/TABLE
Wiki TeX Tables
+6
User:Jon Awbrey/TABLE
Wiki TeX Tables
-352
File:Cactus A Big.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-106
File:Cactus Spike Big Fat.jpg
no edit summary
User:Jon Awbrey/TABLE
Wiki TeX Tables
-64
File:Cactus Node Big Fat.jpg
no edit summary
File:Cactus Node Big.jpg
no edit summary
File:Cactus Node.jpg
no edit summary
Directory:Jon Awbrey/Papers/Theme One Program : Exposition
Expository Note 13: format tables + markup text
-3,173
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Work Area: reorg
-19
User:Jon Awbrey/TABLE
Ascii Tables: cleanup
-6,298
User:Jon Awbrey/TABLE
Cactus Language
-4,430
User:Jon Awbrey/TABLE
Cactus Language
+10,834
User:Jon Awbrey/TABLE
Cactus Language
+6,298
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Partial Markup: cleanup
-11,216
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Partial Markup: cleanup
-11,841
User:Jon Awbrey/TABLE
Cactus Language: cleanup
-44
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
markup
-1,731
User:Jon Awbrey/TABLE
Cactus Language
+4,624
User:Jon Awbrey/TABLE
Ascii Tables
+286
User:Jon Awbrey/TABLE
Cactus Language
+4,805
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Logical Cacti: add equivalents
+271
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Logical Cacti: spacing + punctuation
+22
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Logical Cacti: markup
-606
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version: markup
-312
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version: markup
-90
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version: markup
-335
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction
Original Version
+552
User:Jon Awbrey/TABLE
Ascii Tables
+2,000
User:Jon Awbrey/TABLE
add section
+14,926