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;
Sun, 23 Apr 2017 18:12:42 +0200 tuned;
wenzelm [Sun, 23 Apr 2017 18:12:42 +0200] rev 65560
tuned;
Sun, 23 Apr 2017 17:23:38 +0200 more operations;
wenzelm [Sun, 23 Apr 2017 17:23:38 +0200] rev 65559
more operations;
Sun, 23 Apr 2017 16:18:31 +0200 support for multiple operations via options;
wenzelm [Sun, 23 Apr 2017 16:18:31 +0200] rev 65558
support for multiple operations via options;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip