isabelle: Changelog

wenzelm [Fri, 20 Jan 2023 22:47:55 +0100] rev 77036

more correct and complete bibliography;

wenzelm [Fri, 20 Jan 2023 21:56:34 +0100] rev 77035

tuned signature;

wenzelm [Fri, 20 Jan 2023 21:52:29 +0100] rev 77034

tuned;

wenzelm [Fri, 20 Jan 2023 21:35:49 +0100] rev 77033

proper position for semantic completion: avoid duplicate quotes;

wenzelm [Fri, 20 Jan 2023 21:28:47 +0100] rev 77032

clarified signature;

wenzelm [Fri, 20 Jan 2023 21:19:11 +0100] rev 77031

clarified signature;

wenzelm [Fri, 20 Jan 2023 21:08:18 +0100] rev 77030

proper positions for Isabelle/ML, instead of Isabelle/Scala;

wenzelm [Fri, 20 Jan 2023 20:26:42 +0100] rev 77029

dismantle special treatment of citations in Isabelle/Scala;

wenzelm [Fri, 20 Jan 2023 19:52:52 +0100] rev 77028

more direct check of bibtex entries via Isabelle/Scala;

wenzelm [Fri, 20 Jan 2023 16:30:09 +0100] rev 77027

support Session argument for Scala.Fun; more robust check of citations within the Pure theory before the theory header;

isabelle