User contributions
17 December 2008
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.15. Application of OF : Motive Level: HTML --> LaTeX
+96
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
-23
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula displays as TeX arrays
-44
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
-69
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
+34
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
+52
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: workaround for poorly implemented quotation marks -- <math>^{\backprime\backprime} ... ^{\prime\prime}</math>
+210
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
+217
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
-100
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: HTML --> TeX
+240
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: HTML --> TeX
+156
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
+541
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
+109
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: HTML --> TeX
+234
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: HTML --> TeX
+99
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: reset box display
+789
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: mysterioso deleted
-562
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: |- style="background:whitesmoke"
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
-140
16 December 2008
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: HTML --> TeX
-236
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
+43
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
-8
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: reset formula displays
+49
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: outline format
+170
User:Jon Awbrey/SCRATCHPAD
Outline Form
+144
User:Jon Awbrey/SCRATCHPAD
Outline Form
+121
User:Jon Awbrey/SCRATCHPAD
no edit summary
+116
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
+11
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
+103
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.12. Objective Plans and Levels: apology deleted
-504
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels
-34
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
1.3.4.13. Formalization of OF : Objective Levels: HTML --> TeX
+50
User:Jon Awbrey/SCRATCHPAD
Mathematical Symbols
+4
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
sub [\lessdot / <font face="system">:<s><</s></font>], sub [\gtrdot / <font face="system">:<s>></s></font>]
-139
User:Jon Awbrey/SCRATCHPAD
Mathematical Symbols
+107
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
sub [\lessdot / <s><</s>], sub [\gtrdot / <s>></s>]
-1,513
User:Jon Awbrey/SCRATCHPAD
Math Symbols
+149
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositional Expressions: acronym deleted
-9
15 December 2008
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositional Expressions: acronym deleted
-9
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems
Fragmata
+62
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems
Fragmata
+67
Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems
+ [fragmata]
+78
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Functional Logic: + [NKS Forum]
+634
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
del note
-663
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
New Kind Of Science Forum: + thread anchor
+43
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
+ [New Kind Of Science Forum]
+591
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
move generalized umpire operators to appendix for now
-21
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
move generalized umpire operators to appendix for now
-21
User:Jon Awbrey/TABLE
Table 16: text-align:center
+19
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Application of Higher Order Propositions to Quantification Theory: text-align:center
+19