isabelle: Changelog

wenzelm [Sun, 06 Apr 2014 17:09:32 +0200] rev 56440

shell functions for all Isabelle executables;

wenzelm [Sun, 06 Apr 2014 16:59:41 +0200] rev 56439

renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;

wenzelm [Sun, 06 Apr 2014 16:36:28 +0200] rev 56438

more source positions;

wenzelm [Sun, 06 Apr 2014 15:51:02 +0200] rev 56437

clarified position: no offset here;

wenzelm [Sun, 06 Apr 2014 15:43:45 +0200] rev 56436

more source positions;

wenzelm [Sun, 06 Apr 2014 15:38:54 +0200] rev 56435

approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;

wenzelm [Sun, 06 Apr 2014 15:19:22 +0200] rev 56434

clarified ML bootstrap;

wenzelm [Sun, 06 Apr 2014 14:30:26 +0200] rev 56433

prepare "back" position for Navigator, before following hyperlink;

wenzelm [Sat, 05 Apr 2014 23:56:21 +0200] rev 56432

tuned;

wenzelm [Sat, 05 Apr 2014 23:42:30 +0200] rev 56431

merged

isabelle