| Sat, 12 Aug 2017 23:11:26 +0100 |
paulson |
merged
|
changeset |
files
|
| Sat, 12 Aug 2017 12:07:47 +0200 |
paulson |
cleanup of integral_norm_bound_integral
|
changeset |
files
|
| Sat, 12 Aug 2017 08:56:26 +0200 |
haftmann |
be more explicit on type dlist
|
changeset |
files
|
| Sat, 12 Aug 2017 08:56:25 +0200 |
haftmann |
code generation for Gcd and Lcm when sets are implemented by red-black trees
|
changeset |
files
|
| Sat, 12 Aug 2017 09:19:48 +0200 |
paulson |
merged
|
changeset |
files
|
| Fri, 11 Aug 2017 23:38:33 +0200 |
paulson |
more Henstock_Kurzweil_Integration cleanup
|
changeset |
files
|
| Thu, 10 Aug 2017 23:08:55 +0200 |
paulson |
merged
|
changeset |
files
|
| Thu, 10 Aug 2017 14:08:09 +0200 |
paulson |
even more horrible proofs disentangled
|
changeset |
files
|
| Fri, 11 Aug 2017 23:06:22 +0200 |
Lars Hupel |
merged
|
changeset |
files
|
| Fri, 11 Aug 2017 16:54:49 +0200 |
Lars Hupel |
fmap :: size
|
changeset |
files
|
| Fri, 11 Aug 2017 19:09:42 +0200 |
wenzelm |
avoid spurious output after exit;
|
changeset |
files
|
| Fri, 11 Aug 2017 18:51:25 +0200 |
wenzelm |
updated package version;
|
changeset |
files
|
| Fri, 11 Aug 2017 18:08:46 +0200 |
wenzelm |
proper state_panel exit;
|
changeset |
files
|
| Fri, 11 Aug 2017 14:29:30 +0200 |
eberlm |
Some facts about orders of zeros
|
changeset |
files
|
| Thu, 10 Aug 2017 13:37:27 +0200 |
eberlm |
Winding numbers for rectangular paths
|
changeset |
files
|
| Thu, 10 Aug 2017 15:19:21 +0200 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Thu, 10 Aug 2017 14:33:23 +0200 |
wenzelm |
auto update;
|
changeset |
files
|
| Thu, 10 Aug 2017 14:32:13 +0200 |
wenzelm |
prefer https for the sake of "npm run vscode:prepublish";
|
changeset |
files
|
| Thu, 10 Aug 2017 11:35:39 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 09 Aug 2017 23:41:47 +0200 |
paulson |
fundamental_theorem_of_calculus_interior: more cleanup
|
changeset |
files
|
| Wed, 09 Aug 2017 13:41:23 +0200 |
paulson |
more cleanup of fundamental_theorem_of_calculus_interior
|
changeset |
files
|
| Wed, 09 Aug 2017 12:01:16 +0200 |
nipkow |
added lemmas
|
changeset |
files
|
| Tue, 08 Aug 2017 23:55:03 +0200 |
paulson |
merged
|
changeset |
files
|
| Tue, 08 Aug 2017 23:54:49 +0200 |
paulson |
more cleanup of fundamental_theorem_of_calculus_interior
|
changeset |
files
|
| Tue, 08 Aug 2017 13:56:29 +0200 |
paulson |
partly unravelled fundamental_theorem_of_calculus_interior
|
changeset |
files
|
| Tue, 08 Aug 2017 12:37:01 +0200 |
paulson |
more unknotting
|
changeset |
files
|
| Tue, 08 Aug 2017 22:40:05 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 08 Aug 2017 22:33:21 +0200 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Tue, 08 Aug 2017 22:13:05 +0200 |
wenzelm |
maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
|
changeset |
files
|
| Tue, 08 Aug 2017 12:21:29 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|