Mon, 16 Sep 2019 21:42:22 +0200 clarified import_name: observe directory notation more strictly;
wenzelm [Mon, 16 Sep 2019 21:42:22 +0200] rev 70907
clarified import_name: observe directory notation more strictly;
Mon, 16 Sep 2019 21:30:30 +0200 tuned signature;
wenzelm [Mon, 16 Sep 2019 21:30:30 +0200] rev 70906
tuned signature;
Mon, 16 Sep 2019 20:06:25 +0200 clarified signature -- removed pointless operations;
wenzelm [Mon, 16 Sep 2019 20:06:25 +0200] rev 70905
clarified signature -- removed pointless operations;
Mon, 16 Sep 2019 19:48:09 +0200 clarified signature -- removed unused content;
wenzelm [Mon, 16 Sep 2019 19:48:09 +0200] rev 70904
clarified signature -- removed unused content;
Mon, 16 Sep 2019 19:35:08 +0200 clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories);
wenzelm [Mon, 16 Sep 2019 19:35:08 +0200] rev 70903
clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories);
Mon, 16 Sep 2019 16:00:10 +0200 find theories via session directories only -- ignore known_theories;
wenzelm [Mon, 16 Sep 2019 16:00:10 +0200] rev 70902
find theories via session directories only -- ignore known_theories;
Mon, 16 Sep 2019 15:30:38 +0200 tuned;
wenzelm [Mon, 16 Sep 2019 15:30:38 +0200] rev 70901
tuned;
Mon, 16 Sep 2019 12:03:25 +0200 tuned message;
wenzelm [Mon, 16 Sep 2019 12:03:25 +0200] rev 70900
tuned message;
Mon, 16 Sep 2019 19:31:38 +0200 merged
nipkow [Mon, 16 Sep 2019 19:31:38 +0200] rev 70899
merged
Mon, 16 Sep 2019 17:03:13 +0100 A little-known material, and some tidying up
paulson <lp15@cam.ac.uk> [Mon, 16 Sep 2019 17:03:13 +0100] rev 70898
A little-known material, and some tidying up
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip