| Thu, 02 Dec 2010 13:53:36 +0100 | haftmann | separate term_of function for integers -- more canonical representation of negative integers | changeset | files |
| Thu, 02 Dec 2010 16:17:01 +0100 | hoelzl | merged | changeset | files |
| 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 |