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 so that the content at 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 The Lino Extensions Library. 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.