Page history
Directory_talk: Jon Awbrey/Papers/Differential Logic : Introduction
2 December 2015
1 December 2015
cleanup workspace
-100,899
→Operational Representation: + a few more paragraphs
+21,335
→Operational Representation: + a few more paragraphs
+3,184
→Operational Representation: don't know why but inserting " " after ":" at the problem point seems to fix it
+327
→Operational Representation: + next clause
+155
30 November 2015
→Operational Representation: add text up to next problem area
+7,664
→Operational Representation: + table + 2 paragraphs
+2,992
→Operational Representation: + next 3 paragraphs
+1,537
+ first part of ==Operational Representation==
+9,941
+ ==Propositional Forms on Two Variables==
+23,068
→Quick Overview: + rest of section
+22,695
+ first part of ==Quick Overview==
+7,986
→Operational Representation
-166
→Work Area
-3,666
no edit summary
-97
→Work Area: <math>\text{Number of orbits}~ = (4 + 4 + 4 + 16) \div 4 = 7.\!</math> Amazing!
+82
<math>\text{Number of orbits}~ = (4 + 4 + 4 + 16) \div 4 = 7.\!</math> Amazing!
+97
isolate Table A3
-47,183
no edit summary
+3,583
+ ==Work Area==
+16
→Operational Representation: * '''Note.''' MathJax is messing up on this section, maybe due to interaction with the rest of the article. Needs troubleshooting.
+134
try next section by itself
+47,215
cleanup
-53,749
29 November 2015
no edit summary
-166
→Quick Overview: try that again
+23,234
Undo revision 466971 by Jon Awbrey (talk)
+3,538
try next section
-3,538
→Work Area
+22,701
→Cactus Language for Propositional Logic
-2
add work area
+7,951
5 July 2009
→Tables: fix fonts
-70
→Original Version: fix fonts
+80
→Tables: uniform typeface for logical ops
+128
2 July 2009
→Tables: add table
+3,941
→Tables
+63
rescale images
→Tables
-21
→Tables: spacing
+5
→Tables: add cactus graphs
+604
→Logical Cacti
+57
+ tables
+3,296
1 July 2009
30 June 2009
→Work Area: reorg
-19
→Partial Markup: cleanup
-11,216
→Partial Markup: cleanup
-11,841
markup
-1,731
→Logical Cacti: add equivalents
+271
→Logical Cacti: spacing + punctuation
+22
→Logical Cacti: markup
-606