Hervé Girod - 2018-08-21

Use jEditor 0.4.21
Add a JSON syntax
Use jElasticLunr library 1.3 (not enabled for the moment)
Fix cases where dots wrongly ended the text for a paragraph in a note preview
Fix the order of the TOC which was incorrect in some cases when using included articles

 

Last edit: Hervé Girod 2018-10-10