Page history
20 August 2016
18 December 2015
17 December 2015
16 December 2015
14 December 2015
4 October 2015
11 September 2015
5 September 2015
3 September 2015
2 September 2015
31 August 2015
28 August 2015
24 August 2015
16 June 2013
15 February 2013
14 February 2013
5 February 2013
30 October 2011
7 October 2010
30 June 2010
16 October 2009
15 October 2009
re*style text displays --- decided that bullets hurt my eyes
-440
style text displays
+742
style text displays
+312
→1.1. Topos : Rudiments and Immediate Resources: modify text displays
+77
14 October 2009
28 January 2008
→References: center tabs
+456
→References: reorg
+672
→X Y Z: markup
-2
→W: markup
-11
→S: markup
-18
→P: markup
-21
→O: markup
-1
→N: markup
-3
→M: markup
-21
→L: markup
-30
→K: markup
-8
→J: markup
-9
→I: markup
+2
→H: markup
-13
→G: markup
+3
→F: markup
-5
→E: markup
-6
→D: makup
-1
→C: markup
-17