isabelle: Changelog

wenzelm [Thu, 20 Apr 2017 10:30:30 +0200] rev 65519

store Sessions.Info.name;

wenzelm [Wed, 19 Apr 2017 21:32:46 +0200] rev 65518

wrapper for "isabelle update_imports" with selection options like "isabelle build";

wenzelm [Wed, 19 Apr 2017 20:10:34 +0200] rev 65517

more position information;

blanchet [Thu, 20 Apr 2017 16:21:29 +0200] rev 65516

removed French accent from docs

blanchet [Thu, 20 Apr 2017 16:21:28 +0200] rev 65515

removed Old_SMT legacy module

nipkow [Thu, 20 Apr 2017 10:45:52 +0200] rev 65514

typo

wenzelm [Wed, 19 Apr 2017 16:26:09 +0200] rev 65513

tuned imports;

wenzelm [Wed, 19 Apr 2017 16:25:26 +0200] rev 65512

always explore all sessions;

wenzelm [Wed, 19 Apr 2017 16:24:59 +0200] rev 65511

optionally explore all sessions -- potentially slow, e.g. for AFP;

wenzelm [Wed, 19 Apr 2017 16:22:20 +0200] rev 65510

proper sections;

isabelle