Sat, 14 Jan 2023 23:50:13 +0100 update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
wenzelm [Sat, 14 Jan 2023 23:50:13 +0100] rev 76978
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
Sat, 14 Jan 2023 22:37:15 +0100 tuned;
wenzelm [Sat, 14 Jan 2023 22:37:15 +0100] rev 76977
tuned;
Sat, 14 Jan 2023 22:24:01 +0100 proper language context;
wenzelm [Sat, 14 Jan 2023 22:24:01 +0100] rev 76976
proper language context;
Sat, 14 Jan 2023 22:23:40 +0100 proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
wenzelm [Sat, 14 Jan 2023 22:23:40 +0100] rev 76975
proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
Sat, 14 Jan 2023 21:01:26 +0100 tuned whitespace;
wenzelm [Sat, 14 Jan 2023 21:01:26 +0100] rev 76974
tuned whitespace;
Sat, 14 Jan 2023 20:42:48 +0100 more robust;
wenzelm [Sat, 14 Jan 2023 20:42:48 +0100] rev 76973
more robust;
Sat, 14 Jan 2023 20:15:09 +0100 basic support for update_cite_commands;
wenzelm [Sat, 14 Jan 2023 20:15:09 +0100] rev 76972
basic support for update_cite_commands;
Sat, 14 Jan 2023 19:47:02 +0100 more operations: use proper constants;
wenzelm [Sat, 14 Jan 2023 19:47:02 +0100] rev 76971
more operations: use proper constants;
Sat, 14 Jan 2023 19:36:02 +0100 proper session_options (amending da13da82f6f9);
wenzelm [Sat, 14 Jan 2023 19:36:02 +0100] rev 76970
proper session_options (amending da13da82f6f9);
Sat, 14 Jan 2023 19:29:14 +0100 tuned signature;
wenzelm [Sat, 14 Jan 2023 19:29:14 +0100] rev 76969
tuned signature;
Sat, 14 Jan 2023 17:52:12 +0100 tuned;
wenzelm [Sat, 14 Jan 2023 17:52:12 +0100] rev 76968
tuned;
Fri, 13 Jan 2023 19:16:24 +0100 clarified types;
wenzelm [Fri, 13 Jan 2023 19:16:24 +0100] rev 76967
clarified types;
Fri, 13 Jan 2023 19:07:18 +0100 more explicit language context;
wenzelm [Fri, 13 Jan 2023 19:07:18 +0100] rev 76966
more explicit language context;
Fri, 13 Jan 2023 17:14:59 +0100 clarified signature: more explicit types;
wenzelm [Fri, 13 Jan 2023 17:14:59 +0100] rev 76965
clarified signature: more explicit types;
Fri, 13 Jan 2023 15:57:11 +0100 support embedded syntax, for use with control symbols;
wenzelm [Fri, 13 Jan 2023 15:57:11 +0100] rev 76964
support embedded syntax, for use with control symbols;
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip