| Tue, 04 Apr 2017 21:05:07 +0200 | wenzelm | tuned syntax; | changeset | files |
| Tue, 04 Apr 2017 19:51:56 +0200 | wenzelm | clarified: allow to qualify theories from ROOT; | changeset | files |
| Tue, 04 Apr 2017 19:40:47 +0200 | wenzelm | refer to global_theories from all sessions, before selection; | changeset | files |
| Tue, 04 Apr 2017 18:43:58 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 04 Apr 2017 18:43:47 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 04 Apr 2017 17:14:41 +0200 | wenzelm | macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion; | changeset | files |