Friday, December 14, 2018

I reviewed the Reference section of the developer 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 The Lino framework 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 Extensions Library. OMG. Okay, I admit that we must switch back Developer Guide 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.