Sat, 19 Nov 2016 19:43:09 +0100 | wenzelm | avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers; | changeset | files |
Sun, 13 Nov 2016 21:37:30 +0100 | wenzelm | more cronjob tasks, using Poly/ML repository version from 13-Nov-2016; | changeset | files |
Sat, 12 Nov 2016 17:58:11 +0100 | wenzelm | optional component setup; | changeset | files |