| Mon, 26 Apr 2010 09:45:22 -0700 | huffman | merged | file | diff | annotate |
| Mon, 26 Apr 2010 09:21:25 -0700 | huffman | fix lots of looping simp calls and other warnings | file | diff | annotate |
| Sun, 25 Apr 2010 16:23:40 -0700 | huffman | generalize type of continuous_on | file | diff | annotate |
| Mon, 26 Apr 2010 11:34:19 +0200 | haftmann | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
| Sat, 24 Apr 2010 13:31:52 -0700 | huffman | document generation for Multivariate_Analysis | file | diff | annotate |
| Fri, 23 Apr 2010 23:33:48 +0200 | wenzelm | eliminated spurious schematic statements; | file | diff | annotate |