Details
-
Sub-task
-
Resolution: Won't Do
-
Major
-
None
-
None
-
None
-
None
Description
Update https://hal.github.io/ and add documentation about the extension mechanism, the JavaScript API and how to write, publish and use extensions.
Add this block to the front matter of content/_index.md
- heading: Extensions
icon: /img/plug.png
teaser: Customize the console using runtime extensions and the JavaScript API.
