| Wed, 21 Sep 2016 22:44:24 +0200 | wenzelm | \<^raw> output is intended for LaTeX; | changeset | files |
| Wed, 21 Sep 2016 22:43:06 +0200 | wenzelm | more general mixfix delimiters; | changeset | files |
| Wed, 21 Sep 2016 20:33:44 +0200 | wenzelm | more tight implementation of symbol explode operation (without support for raw symbols); | changeset | files |
| Wed, 21 Sep 2016 17:56:25 +0200 | immler | approximation: preprocessing for nat/int expressions | changeset | files |
| Wed, 21 Sep 2016 17:56:25 +0200 | immler | provide more information on error | changeset | files |
| Wed, 21 Sep 2016 17:56:25 +0200 | immler | approximation: rewrite for reduction to base expressions | changeset | files |