| Thu, 11 Apr 2019 12:38:22 +0200 | wenzelm | prefer local options; | changeset | files |
| Thu, 11 Apr 2019 12:18:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 11 Apr 2019 12:05:36 +0200 | wenzelm | clarified order; | changeset | files |
| Wed, 10 Apr 2019 23:12:27 +0100 | paulson | merged | changeset | files |
| Wed, 10 Apr 2019 23:12:16 +0100 | paulson | prod/sum fixes | changeset | files |
| Wed, 10 Apr 2019 21:29:32 +0100 | paulson | Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context | changeset | files |
| Wed, 10 Apr 2019 23:45:20 +0200 | wenzelm | tuned layout; | changeset | files |
| Wed, 10 Apr 2019 23:35:25 +0200 | wenzelm | updated screenshots; | changeset | files |
| Wed, 10 Apr 2019 20:52:09 +0200 | wenzelm | ignore odd warnings; | changeset | files |
| Wed, 10 Apr 2019 20:31:14 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 10 Apr 2019 16:18:12 +0200 | wenzelm | merged; | changeset | files |
| Wed, 10 Apr 2019 16:15:45 +0200 | wenzelm | updated for release; | changeset | files |
| Wed, 10 Apr 2019 15:45:16 +0200 | wenzelm | merged | changeset | files |
| Wed, 10 Apr 2019 15:10:43 +0200 | wenzelm | clarified build of standard heaps; | changeset | files |
| Wed, 10 Apr 2019 14:43:29 +0200 | wenzelm | updated for release; | changeset | files |
| Wed, 10 Apr 2019 13:45:49 +0200 | wenzelm | tuned message; | changeset | files |