| Mon, 16 Sep 2019 20:06:25 +0200 | wenzelm | clarified signature -- removed pointless operations; | changeset | files |
| Mon, 16 Sep 2019 19:48:09 +0200 | wenzelm | clarified signature -- removed unused content; | changeset | files |
| Mon, 16 Sep 2019 19:35:08 +0200 | wenzelm | clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories); | changeset | files |
| Mon, 16 Sep 2019 16:00:10 +0200 | wenzelm | find theories via session directories only -- ignore known_theories; | changeset | files |
| Mon, 16 Sep 2019 15:30:38 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 16 Sep 2019 12:03:25 +0200 | wenzelm | tuned message; | changeset | files |