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;
wenzelm [Fri, 20 Jan 2023 13:53:45 +0100] rev 77026
obsolete (see also 01c9b3033036);
wenzelm [Fri, 20 Jan 2023 13:42:39 +0100] rev 77025
proper citations for unselected theories, notably for the default selection of the GUI panel;
wenzelm [Fri, 20 Jan 2023 13:31:58 +0100] rev 77024
tuned signature;
wenzelm [Fri, 20 Jan 2023 13:11:58 +0100] rev 77023
more robust theory_source -- in contrast to node_source from fffb978dd683: theory name is more reliable than Document.Node.Name, explicit unicode_symbols;
wenzelm [Fri, 20 Jan 2023 13:08:54 +0100] rev 77022
clarified signature;
wenzelm [Fri, 20 Jan 2023 12:50:40 +0100] rev 77021
tuned;