| Sun, 25 Sep 2011 22:31:22 -0600 | Kevin Walker | remove TOP; searched of "topological" and "PL" to find places where we mention TOP | file | diff | annotate |
| Sun, 25 Sep 2011 22:13:07 -0600 | Kevin Walker | small ref rpt item (I looked and there was nothing other than 5.1.5 and 7.3.1) | file | diff | annotate |
| Wed, 10 Aug 2011 21:46:27 -0600 | Kevin Walker | another intermediate commit for fam-o-homeo lemma; found another flaw in proof | file | diff | annotate |