Page history
22 February 2012
25 January 2012
24 January 2012
→Test Area: Text 1
+371
→Test Area: Text 2
-93
→Test Area: Text 2
-397
→Test Area: Text 2
+113
→Test Area: Text 1
+33,820
6 December 2011
24 November 2009
23 November 2009
→Wet Paint: format 2 line entries as matrices
+60
→Wet Paint: change <br>oken table entries to LaTeX matrices
+62
→Wet Paint: lining outside the colors
+456
paint test in progress ...
-43
sub [ smallmatrix / matrix ] in column heads
+160
fix fonts
+272
restyle tables
+354
22 November 2009
→Application of Higher Order Propositions to Quantification Theory: cleanup
-1,973
→Application of Higher Order Propositions to Quantification Theory: convert markups
-204
→Application of Higher Order Propositions to Quantification Theory: cleanup
-1,318
→Application of Higher Order Propositions to Quantification Theory
-79
→Application of Higher Order Propositions to Quantification Theory
+32
→Application of Higher Order Propositions to Quantification Theory: markup
+863
cleanup
-2,586
→Extending the Existential Interpretation to Quantificational Logic: simplify square brackets
-38
→Extending the Existential Interpretation to Quantificational Logic: markup
-75
→Extending the Existential Interpretation to Quantificational Logic: markup
-91
cleanup
-5,051
try next piece
-30,652
→Measure for Measure: test section edit
-70
add a bit
+380
test
+67,850