Page history
30 August 2008
→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
redo figures with captions & visible frames
+926
19 August 2008
→Resources: add items
+281
→Primary arithmetic as semiotic system: italicize interpretant
+4
→Primary arithmetic as semiotic system: try to hammer out kinks in syntax
+19
→Primary arithmetic as semiotic system: fix awks
-2
→Primary arithmetic as semiotic system: spacing
→Primary arithmetic as semiotic system: ASCII → JPEG
-1,871
18 August 2008
17 August 2008
→Quick tour of the neighborhood: sub [sign-transforming/semiotic]
+12
→Quick tour of the neighborhood: ins [two]
+4
→Quick tour of the neighborhood: rework introduction
-1,694
→Quick tour of the neighborhood: redo figures with legend banners
-108
→Quick tour of the neighborhood: ASCII → JPEG
-769
ASCII → JPEG
-753
16 August 2008
15 August 2008
→Computational representation: sub [the following/this], ins [then]
+14
→Computational representation: ASCII → JPEG
-291
→Computational representation: ASCII → JPEG
-725
14 August 2008
→Computational representation: set off data list
+5
→Computational representation: fix quotes
+2
→Computational representation: fix awks & clarify
+41