| Fri, 21 Apr 2017 16:12:11 +0200 | wenzelm | clarified imports; | changeset | files |
| Fri, 21 Apr 2017 15:26:24 +0200 | wenzelm | clarified local_theories: exclude ancestor sessions; | changeset | files |
| Fri, 21 Apr 2017 15:00:31 +0200 | wenzelm | more standard master_dir; | changeset | files |