Page history
1 June 2008
→Propositional Forms on Two Variables: sub new table
+1,274
→Propositional Forms on Two Variables: delete extra copy of table
-4,290
→Propositional Forms on Two Variables: sub new table
+1,358
31 May 2008
→Propositional Forms on Two Variables: sub new table
+2,589
→Propositional Forms on Two Variables: sub new table
+2,109
30 May 2008
→Propositional Forms on Two Variables: sub new table
+1,720
→Propositional Forms on Two Variables: cleanup typos
→Propositional Forms on Two Variables: tabula razzula dazzula
+2,655
29 May 2008
28 May 2008
revert tables back to simple parentheses
-532
break out new section [propositional forms on two variables]
+44
→Differential Propositions: spacing
+7
ASCII Table --> HTML + TeX
+3,360
27 May 2008
HTML --> TeX
-2,374
HTML --> TeX
+234
→Differential Propositions: style="background:ghostwhite" on table head
+90
→Differential Propositions: HTML --> TeX
+199
→Differential Propositions: HTML -- TeX
+380
→Differential Propositions: prep table
-77
cleanup & prep figures for planet math
→Differential Propositions: HTML --> TeX
+77
→Differential Propositions: HTML --> TeX
+63
→Differential Propositions: HTML --> TeX
+132
→Differential Propositions: HTML --> TeX
+178
→Differential Propositions: HTML -- > TeX
-135
26 May 2008
→Differential Propositions: HTML ---> TeX
-102
→Differential Propositions: HTML --> TeX
+91
→Differential Propositions: HTML --> TeX
+62
→Differential Propositions: HTML --> TeX
+60
→Differential Propositions: HTML --> TeX
+46
→Differential Propositions: HTML --> TeX
+218
→Differential Propositions: HTML --> TeX
+208
25 May 2008
24 May 2008
→Differential Propositions: HTML --> TeX
+155
→Differential Propositions: HTML --> TeX
+311
→Differential Propositions: HTML --> TeX
+163
→Differential Propositions: HTML --> TeX
+53
→Differential Propositions: HTML --> TeX
-34
prep figures
23 May 2008
→Differential Propositions: HTML --> TeX
+198
→Differential Propositions: HTML --> TeX
+98
prep figures for planet math
→Differential Propositions: HTML --> TeX
+77
→Differential Logic : Graphical Exposition: HTML --> TeX
+39
22 May 2008
→Formal development: fade tables to white
-110
→Formal development: restore accidental deletion
+129
→Formal development: rework tables
+33