Page history
27 July 2009
3 December 2008
19 October 2008
3 September 2008
2 September 2008
→Resources: + author link
+48
→Resources: + details
+20
→Resources
+72
→Resources: re-org links
+292
trim lead
-48
→See also: apply {{col-begin}}…{{col-break}}…{{col-end}} template
+18
→Praeclarum theorema: ASCII → JPEG
-3,676
1 September 2008
31 August 2008
30 August 2008
→Peirce's law: cleanup
-8
→Formal development: ASCII → JPEG
-1,098
→C<sub>3</sub>. Dominant form theorem: punctuation
-1
→C<sub>2</sub>. Generation theorem: grammar
→Formal development: HTML → TeX
→Formal development: HTML → TeX
+15
→Exemplary proofs: HTML → TeX
+23
29 August 2008
28 August 2008
26 August 2008
→Frequently used theorems: ASCII → JPEG
-850
→C<sub>1</sub>. Double negation theorem: split oversized figure into 2 parts
+127
→C<sub>1</sub>. Double negation theorem: ASCII → JPEG
-7,031
25 August 2008
→Formal development: ASCII → JPEG
-1,015
→Axioms: now here's a neat trick : <math>\overline{\underline{~~~~~~}}</math>
+35
24 August 2008
23 August 2008
22 August 2008
→Primary algebra as pattern calculus: TeX
+9
arrange figures in tables + scale figure widths to 500px
-116
format epigraph
+103
→In lieu of a beginning: scale figure width to 500px
+13
→In lieu of a beginning: cellpadding="6"
→In lieu of a beginning: arrange figures in tables
-120
→Primary algebra as pattern calculus: ASCII → JPEG
-1,594
21 August 2008
→Quick tour of the neighborhood: ASCII → JPEG
-682
format figure captions as $\mathrm$
+224
→In lieu of a beginning: typo
→In lieu of a beginning: figure captions
+84
→Primary algebra as pattern calculus: trim redundancies
-1,866
20 August 2008
→In lieu of a beginning: italics
+8
→In lieu of a beginning: some flowers are weeds …
-259
→Computational representation: typo
-1