Sun, 23 Apr 2017 23:54:06 +0200 actually use theory;
wenzelm [Sun, 23 Apr 2017 23:54:06 +0200] rev 65570
actually use theory;
Sun, 23 Apr 2017 23:49:14 +0200 clarified parent session images, to avoid duplicate loading of theories;
wenzelm [Sun, 23 Apr 2017 23:49:14 +0200] rev 65569
clarified parent session images, to avoid duplicate loading of theories;
Sun, 23 Apr 2017 23:10:33 +0200 merged
wenzelm [Sun, 23 Apr 2017 23:10:33 +0200] rev 65568
merged
Sun, 23 Apr 2017 23:10:23 +0200 tuned documentation;
wenzelm [Sun, 23 Apr 2017 23:10:23 +0200] rev 65567
tuned documentation;
Sun, 23 Apr 2017 23:06:50 +0200 support for potential session imports;
wenzelm [Sun, 23 Apr 2017 23:06:50 +0200] rev 65566
support for potential session imports;
Sun, 23 Apr 2017 22:00:15 +0200 more checks;
wenzelm [Sun, 23 Apr 2017 22:00:15 +0200] rev 65565
more checks;
Sun, 23 Apr 2017 19:17:04 +0200 tuned messages;
wenzelm [Sun, 23 Apr 2017 19:17:04 +0200] rev 65564
tuned messages;
Sun, 23 Apr 2017 19:06:53 +0200 actually use theory;
wenzelm [Sun, 23 Apr 2017 19:06:53 +0200] rev 65563
actually use theory; tuned;
Sun, 23 Apr 2017 18:54:18 +0200 renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library;
wenzelm [Sun, 23 Apr 2017 18:54:18 +0200] rev 65562
renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library;
Sun, 23 Apr 2017 18:47:56 +0200 support for Mercurial manifest check;
wenzelm [Sun, 23 Apr 2017 18:47:56 +0200] rev 65561
support for Mercurial manifest check;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip