| Thu, 19 Mar 2015 22:30:57 +0100 | wenzelm | more position information; | changeset | files |
| Thu, 19 Mar 2015 17:25:57 +0100 | wenzelm | misc tuning; | changeset | files |
| Thu, 19 Mar 2015 15:24:40 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 19 Mar 2015 14:25:32 +0000 | paulson | Merge | changeset | files |
| Thu, 19 Mar 2015 14:24:51 +0000 | paulson | New material for complex sin, cos, tan, Ln, also some reorganisation | changeset | files |
| Thu, 19 Mar 2015 12:36:55 +0100 | wenzelm | updated to sumatra_pdf-3.0; | changeset | files |
| Thu, 19 Mar 2015 11:54:20 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 19 Mar 2015 11:13:54 +0100 | wenzelm | slightly more formal historic examples; | changeset | files |
| Wed, 18 Mar 2015 21:40:21 +0100 | traytel | bounded powerset | changeset | files |
| Wed, 18 Mar 2015 17:23:22 +0000 | paulson | new HOL Light material about exp, sin, cos | changeset | files |
| Wed, 18 Mar 2015 14:55:17 +0000 | paulson | new file for complex transcendental functions | changeset | files |
| Wed, 18 Mar 2015 14:30:12 +0000 | paulson | Merge | changeset | files |
| Wed, 18 Mar 2015 14:28:40 +0000 | paulson | Merge | changeset | files |
| Wed, 18 Mar 2015 14:14:07 +0000 | paulson | Merge | changeset | files |
| Wed, 18 Mar 2015 14:13:27 +0000 | paulson | Lots of new material on complex-valued functions. Modified simplification of (x/n)^k | changeset | files |