User contributions
15 May 2012
Logical conjunction
no edit summary
-3
Exclusive disjunction
no edit summary
-3
Exclusive disjunction
no edit summary
-1
Exclusive disjunction
no edit summary
+1
Logical equality
Peer nodes: update
+28
Logical equality
TeX
+427
Help talk:Listing
Undo revision 157251 by Nhikate12 (Talk) wrong place
-3,126
Logical implication
no edit summary
-1
Logical disjunction
no edit summary
-1
Logical conjunction
no edit summary
-1
Exclusive disjunction
no edit summary
-1
Logical disjunction
Peer nodes: update
+24
Logical disjunction
TeX
+399
14 May 2012
Logical conjunction
Peer nodes: update
+29
Logical conjunction
TeX
+383
Exclusive disjunction
Peer nodes: update
+2
Logical implication
Peer nodes: update
+29
Exclusive disjunction
Peer nodes: update
+27
Inquiry Live
Peer nodes: update
-132
Logic Live
Peer nodes: update
-120
13 May 2012
Exclusive disjunction
spacing
+55
Exclusive disjunction
de-link proposition until we get a proper article
-4
Exclusive disjunction
TeX
+15
Exclusive disjunction
Table + TeX
+409
Logical implication
fix punctuation
-1
Logical implication
del extra comma
-1
Logical implication
Discussion: TeX
+812
Logical implication
Discussion: TeX
+50
12 May 2012
Logical implication
Discussion: TeX
-4
Logical implication
Definition: bolding (!) no longer needed in column heads
Logical implication
Definition: TeX
+246
Logical implication
Discussion: TeX
+154
Logical implication
Discussion: TeX
+341
Logical implication
Discussion: TeX
+443
Logical implication
TeX
+47
Logical implication
cleanup spacing and smooth out TeX
+165
Logical implication
Definition: {}^{\backprime\backprime} ... q {}^{\prime\prime}
+92
Logical implication
spacing
+34
Logical implication
\langle ... \langle
-16
Logical implication
\ulcorner ... \urcorner
-24
Logical implication
{}^{\langle} ... {}^{\rangle}
+99
Logical implication
smooth out TeX expressions
-14
Logical implication
clean up
+2
11 May 2012
4 May 2012
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+387
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+329
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: sub "L" for "R" throughout
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.11. Higher Order Sign Relations : Application: markup
+364
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.10. Higher Order Sign Relations : Examples: + hyphen
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.10. Higher Order Sign Relations : Examples: markup
+132