| Tue, 15 Jan 2013 12:45:19 +0100 | wenzelm | separate color ranges by 1px to improve discernment of overall theory status; | changeset | files |
| Tue, 15 Jan 2013 12:30:23 +0100 | wenzelm | grand-unified Admin/Release/build script (excluding .app and .exe); | changeset | files |
| Tue, 15 Jan 2013 08:29:56 -0800 | huffman | generalized more topology theorems | changeset | files |
| Mon, 14 Jan 2013 19:28:39 -0800 | huffman | generalize lemma islimpt_finite to class t1_space | changeset | files |
| Tue, 15 Jan 2013 13:46:19 +0100 | nipkow | tuned | changeset | files |
| Mon, 14 Jan 2013 23:08:40 +0100 | wenzelm | more prominent status ticks; | changeset | files |
| Mon, 14 Jan 2013 22:33:53 +0100 | wenzelm | merged | changeset | files |