| Thu, 05 Oct 2017 17:39:36 +0200 | wenzelm | merged | changeset | files |
| Thu, 05 Oct 2017 17:37:47 +0200 | wenzelm | completion supports theory header imports; | changeset | files |
| Thu, 05 Oct 2017 16:33:36 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 05 Oct 2017 14:58:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 05 Oct 2017 15:35:24 +0100 | paulson | new theorem at_within_cbox_finite | changeset | files |
| Wed, 04 Oct 2017 20:16:53 +0200 | wenzelm | process ROOT files only once, which allows duplicate (or overlapping) session root directories; | changeset | files |
| Tue, 03 Oct 2017 20:32:58 +0200 | wenzelm | prefer Cygwin64, although some components still require update; | changeset | files |