isabelle: Changelog

wenzelm [Fri, 19 Jan 2018 11:36:29 +0100] rev 67469

adapted to a5ca98950a91;

wenzelm [Fri, 19 Jan 2018 11:34:41 +0100] rev 67468

tuned output of plain name;

wenzelm [Fri, 19 Jan 2018 11:26:31 +0100] rev 67467

clarified signature;

wenzelm [Fri, 19 Jan 2018 11:25:55 +0100] rev 67466

tuned;

wenzelm [Fri, 19 Jan 2018 11:02:13 +0100] rev 67465

tuned;

wenzelm [Thu, 18 Jan 2018 21:42:03 +0100] rev 67464

unused;

wenzelm [Thu, 18 Jan 2018 21:41:30 +0100] rev 67463

clarified access to antiquotation options; define explicit variants of antiquotations; output proper Latex.text; misc tuning and clarification;

wenzelm [Thu, 18 Jan 2018 21:29:28 +0100] rev 67462

more operations;

wenzelm [Wed, 17 Jan 2018 15:30:53 +0100] rev 67461

tuned signature;

wenzelm [Wed, 17 Jan 2018 14:40:18 +0100] rev 67460

discontinued unused wrapper: print_mode is provided directly;

isabelle