Tue, 15 Aug 2017 09:29:35 +0200 | nipkow | added Min_mset and Max_mset | changeset | files |
Tue, 15 Aug 2017 11:41:58 +0200 | wenzelm | NEWS; | changeset | files |
Mon, 14 Aug 2017 21:42:55 +0100 | paulson | merged | changeset | files |
Mon, 14 Aug 2017 19:17:07 +0100 | paulson | patching the previous commit | changeset | files |
Mon, 14 Aug 2017 18:54:51 +0100 | paulson | merged | changeset | files |
Mon, 14 Aug 2017 18:54:25 +0100 | paulson | further Hensock tidy-up | changeset | files |