User contributions
12 March 2009
User:Jon Awbrey/SCRATCHPAD
Differential Logic
+1,196
User:Jon Awbrey/SCRATCHPAD
Differential Logic: + section
+1,148
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 20: markup
+165
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u, v))}</math>: markup
+95
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u, v))}</math>: markup
-1
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u, v))}</math>: markup
+505
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u, v))}</math>: markup
+253
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u, v))}</math>: markup
+219
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u,~v))}</math>: markup
+248
11 March 2009
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 19: markup
+368
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: spacing
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
cleanup
-147
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+84
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: alignment
+18
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+259
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+168
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+300
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+250
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+224
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+243
User:Jon Awbrey/SCRATCHPAD
Cactus TeX
-6
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+99
User:Jon Awbrey/SCRATCHPAD
Cactus TeX
+389
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: markup
+274
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 18: markup
+156
10 March 2009
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 17: update links
+73
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 17: update links
+50
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 17: update refs to current version
-91
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 17: markup
+124
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 17: markup
+255
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 17: markup
+150
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 16: markup
+393
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 16: markup
+303
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 16: markup
+230
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 15: missing <math> bracket
+6
User:Jon Awbrey/SCRATCHPAD
Epigraph Formats: + example
+252
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 15: format epigraph
+20
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 15: markup
+402
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 15: recall example
+232
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 15: texttt
+230
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 15: markup
+251
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 1: repurpose lead
-34
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u,~v))}</math>
+278
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
remove ascii figure hatching -- not needed in this environment
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>g(u, v) = \texttt{((u,~v))}</math>: expand figure intro
+91
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>
-3
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: typo
+1
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Note 14: markup
-55
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>
+142