haftmann [Sat, 05 Jul 2014 16:07:23 +0200] rev 58861
CONTRIBUTORS
haftmann [Sat, 05 Jul 2014 16:04:23 +0200] rev 58860
refrain from auxiliary abbreviation: be more explicit to the reader in situations where syntax translation does not apply;
uniform appearance of xsymbol and HTML output for sums
wenzelm [Sat, 05 Jul 2014 12:04:25 +0200] rev 58859
misc tuning for release;
wenzelm [Sat, 05 Jul 2014 11:19:37 +0200] rev 58858
tuned;
haftmann [Sat, 05 Jul 2014 11:06:14 +0200] rev 58857
NEWS
haftmann [Sat, 05 Jul 2014 11:01:53 +0200] rev 58856
prefer ac_simps collections over separate name bindings for add and mult
kleing [Sat, 05 Jul 2014 10:09:01 +0200] rev 58855
added Tom's hyp_subst update
haftmann [Fri, 04 Jul 2014 20:18:47 +0200] rev 58854
reduced name variants for assoc and commute on plus and mult
wenzelm [Fri, 04 Jul 2014 20:07:08 +0200] rev 58853
tuned;
wenzelm [Fri, 04 Jul 2014 17:41:35 +0200] rev 58852
insist in explicit overloading;