isabelle: Changelog

wenzelm [Wed, 26 May 2021 18:07:49 +0200] rev 73787

more robust syntax;

wenzelm [Tue, 25 May 2021 23:58:49 +0200] rev 73786

unused;

wenzelm [Tue, 25 May 2021 23:37:32 +0200] rev 73785

clarified document export names;

wenzelm [Tue, 25 May 2021 23:18:29 +0200] rev 73784

tuned signature;

wenzelm [Tue, 25 May 2021 23:12:46 +0200] rev 73783

tuned;

wenzelm [Tue, 25 May 2021 23:04:29 +0200] rev 73782

tuned;

wenzelm [Tue, 25 May 2021 23:00:29 +0200] rev 73781

avoid former verbose_latex, which has been renamed to verbose in 52030acb19ac;

wenzelm [Tue, 25 May 2021 22:28:39 +0200] rev 73780

compose Latex text as XML, output exported YXML in Isabelle/Scala;

wenzelm [Tue, 25 May 2021 21:44:01 +0200] rev 73779

more direct index_entry: no positions required -- text is eventually moved to .ind file;

wenzelm [Tue, 25 May 2021 21:32:21 +0200] rev 73778

clarified signature;

isabelle