Friday, December 14, 2018ΒΆ

I reviewed the Lino Specs section of the technical documentation and converted some more plugins to prosa doc style.

Hamza and I started the release notes for Presto 18.12.0. We changed the Apache config on lino-framework.org so that the content at http://presto.lino-framework.org/ is now controlled by Hamza. Hamza has become the second editor in the world of a public Lino doctree. Congratulations!

I did a few small optimizations for Lino Noi : #2752 (My tickets to work sorting order). Of course these require a new release for Lino XL docs. OMG. Okay, I admit that we must switch back The Lino Book to use the development version of lino_xl because we do not yet want to write release notes for things like that at the moment.