Mon, 05 Sep 2011 12:19:04 -0700 | huffman | add lemmas cos_arctan and sin_arctan | changeset | files |
Mon, 05 Sep 2011 08:38:50 -0700 | huffman | tuned indentation | changeset | files |
Mon, 05 Sep 2011 23:51:16 +0200 | wenzelm | more visible outdated_color; | changeset | files |