teeemcee 2022-09-12 20:50:09 -0700 (Mon, 12 Sep 2022) 176 plotdict: add <gloss> elements and Glossary, and define ancestor/descendent/slice tree
<gloss> items and links to them are styled differently from <commands>, and are simpler. --- U wip/docs/htmlplot.xsl U wip/docs/plotdict.xml U wip/docs/plotdictionary.html _______________________________________________ Ohrrpgce mailing list ohrrpgce@lists.motherhamster.org http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org