| Tue, 29 Aug 2017 07:27:10 +0200 |
nipkow |
news
|
changeset |
files
|
| Mon, 28 Aug 2017 22:32:22 +0100 |
paulson |
merged
|
changeset |
files
|
| Mon, 28 Aug 2017 22:31:47 +0100 |
paulson |
final cleanup of negligible_standard_hyperplane and other things
|
changeset |
files
|
| Mon, 28 Aug 2017 20:33:20 +0100 |
paulson |
merged
|
changeset |
files
|
| Mon, 28 Aug 2017 20:33:08 +0100 |
paulson |
sorted out cases in negligible_standard_hyperplane
|
changeset |
files
|
| Mon, 28 Aug 2017 20:02:43 +0100 |
paulson |
Unscrambling continues as far as negligible_standard_hyperplane
|
changeset |
files
|
| Mon, 28 Aug 2017 16:30:51 +0100 |
paulson |
unscrambled has_integral_restrict_open_subinterval
|
changeset |
files
|
| Mon, 28 Aug 2017 13:41:03 +0100 |
paulson |
merged
|
changeset |
files
|
| Mon, 28 Aug 2017 13:40:41 +0100 |
paulson |
Giant cleanup of fundamental_theorem_of_calculus_interior
|
changeset |
files
|
| Mon, 28 Aug 2017 00:12:07 +0100 |
paulson |
work on indefinite_integral_continuous_left, etc.
|
changeset |
files
|
| Mon, 28 Aug 2017 21:18:47 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 28 Aug 2017 20:15:11 +0200 |
wenzelm |
not ready for release;
|
changeset |
files
|
| Mon, 28 Aug 2017 19:06:00 +0200 |
wenzelm |
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
|
changeset |
files
|
| Mon, 28 Aug 2017 18:27:21 +0200 |
nipkow |
merged
|
changeset |
files
|