isabelle: Changelog

wenzelm [Wed, 20 Nov 2013 17:00:49 +0100] rev 54533

NEWS;

wenzelm [Wed, 20 Nov 2013 16:43:09 +0100] rev 54532

merged

wenzelm [Wed, 20 Nov 2013 16:15:54 +0100] rev 54531

restrict node_required status and Theories panel to actual theories;

wenzelm [Wed, 20 Nov 2013 15:53:59 +0100] rev 54530

ranges of thy_load commands count as visible within perspective; convert ranges wrt. snapshot -- relevant for outdated situation;

wenzelm [Wed, 20 Nov 2013 15:00:25 +0100] rev 54529

tuned;

wenzelm [Wed, 20 Nov 2013 12:24:54 +0100] rev 54528

refer to thy_load command of auxiliary file;

wenzelm [Wed, 20 Nov 2013 12:04:06 +0100] rev 54527

proper static resolution of files via Thy_Load.load_thy, instead of TTY fall-back;

wenzelm [Wed, 20 Nov 2013 11:55:52 +0100] rev 54526

load files that are not provided by PIDE blobs; uniform resolve_files via Command.read;

wenzelm [Wed, 20 Nov 2013 10:51:47 +0100] rev 54525

tuned;

wenzelm [Tue, 19 Nov 2013 22:12:54 +0100] rev 54524

more explicit indication of missing files;

isabelle