diff --git a/console/xdocs/index.xml b/console/xdocs/index.xml index 2e8cf7cb..8fbcdb68 100644 --- a/console/xdocs/index.xml +++ b/console/xdocs/index.xml @@ -58,5 +58,18 @@ properties.
+ ++ It is possible to add completion and history to the console, however + it requires the use of an external library. This library is licensed + under the LPGL, and so cannot be used in the console by default, but + can be downloaded from JLine. +
++ Instructions are detailed in this + mailing list post. +
+