| Wed, 26 Apr 2017 16:58:31 +0100 | paulson | Some fixes related to compactE_image | changeset | files |
| Wed, 26 Apr 2017 15:57:16 +0100 | paulson | Merge | changeset | files |
| Wed, 26 Apr 2017 15:53:35 +0100 | paulson | Further new material. The simprule status of some exp and ln identities was reverted. | changeset | files |
| Wed, 26 Apr 2017 17:01:10 +0200 | eberlm | tuned Approximation: separated general material from oracle | changeset | files |
| Wed, 26 Apr 2017 13:41:32 +0200 | eberlm | better code equation for binomial | changeset | files |
| Tue, 25 Apr 2017 21:31:28 +0200 | wenzelm | meta_digest without accidental source positions (amending 1544e61e5314): avoid spurious rebuild of unrelated sessions after editing ROOT; | changeset | files |
| Tue, 25 Apr 2017 17:10:17 +0100 | paulson | Fixed LaTeX issue | changeset | files |