isabelle: Changelog

wenzelm [Sun, 22 Jan 2023 20:40:51 +0100] rev 77037

support specific connection types, for additional operations;

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;

isabelle