| Thu, 02 Dec 2010 16:16:18 +0100 | hoelzl | Use coercions in Approximation (by Dmitriy Traytel). | changeset | files |
| Thu, 02 Dec 2010 17:20:34 +0100 | wenzelm | more antiquotations; | changeset | files |
| Thu, 02 Dec 2010 16:52:52 +0100 | wenzelm | configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning; | changeset | files |
| Thu, 02 Dec 2010 16:04:22 +0100 | wenzelm | renamed trace_simp to simp_trace, and debug_simp to simp_debug; | changeset | files |
| Thu, 02 Dec 2010 15:37:32 +0100 | wenzelm | merged | changeset | files |
| Thu, 02 Dec 2010 15:32:48 +0100 | hoelzl | merged | changeset | files |
| Thu, 02 Dec 2010 15:09:02 +0100 | hoelzl | generalized simple_functionD | changeset | files |