Announcing Leo 5.7.2

Leo 5.7.2, http://leoeditor.com, is now available on GitHub.
Leo is an IDE, outliner and PIM, as described here.
The highlights of Leo 5.7.2

• Much improved support for Jupyter (.ipynb) files.
• Fixed bugs that prevented switching between git branches easily.
• Rewrote large parts of Leo's key-handling code.
• New command-line arguments to trace Leo's code.
• Removed about 20 unused settings.
• The usual minor bug fixes.

Links

• Leo's home page: http://leoeditor.com
• Documentation
• Tutorials
• Video tutorials
• Forum
• Download
• Leo on GitHub
• LeoVue
• What people are saying about Leo
• A web page that displays .leo files
• More links