isabelle: Changelog

wenzelm [Mon, 24 Apr 2017 23:10:01 +0200] rev 65576

recovered document from 0f3fdf689bf9;

wenzelm [Mon, 24 Apr 2017 15:56:25 +0200] rev 65575

tuned;

wenzelm [Mon, 24 Apr 2017 13:58:38 +0200] rev 65574

clarified parent session images, to avoid duplicate loading of theories; avoid name conflict with loaded theory src/HOL/Library/Parallel.thy;

wenzelm [Mon, 24 Apr 2017 11:52:51 +0200] rev 65573

clarified parent session images, to avoid duplicate loading of theories;

wenzelm [Mon, 24 Apr 2017 11:23:07 +0200] rev 65572

clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;

wenzelm [Mon, 24 Apr 2017 11:05:24 +0200] rev 65571

clarified modules;

wenzelm [Sun, 23 Apr 2017 23:54:06 +0200] rev 65570

actually use theory;

wenzelm [Sun, 23 Apr 2017 23:49:14 +0200] rev 65569

clarified parent session images, to avoid duplicate loading of theories;

isabelle