wenzelm [Sun, 06 Apr 2014 17:09:32 +0200] rev 57782
shell functions for all Isabelle executables;
wenzelm [Sun, 06 Apr 2014 16:59:41 +0200] rev 57781
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
wenzelm [Sun, 06 Apr 2014 16:36:28 +0200] rev 57780
more source positions;
wenzelm [Sun, 06 Apr 2014 15:51:02 +0200] rev 57779
clarified position: no offset here;
wenzelm [Sun, 06 Apr 2014 15:43:45 +0200] rev 57778
more source positions;
wenzelm [Sun, 06 Apr 2014 15:38:54 +0200] rev 57777
approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
wenzelm [Sun, 06 Apr 2014 15:19:22 +0200] rev 57776
clarified ML bootstrap;
wenzelm [Sun, 06 Apr 2014 14:30:26 +0200] rev 57775
prepare "back" position for Navigator, before following hyperlink;
wenzelm [Sat, 05 Apr 2014 23:56:21 +0200] rev 57774
tuned;
wenzelm [Sat, 05 Apr 2014 23:42:30 +0200] rev 57773
merged