--- commandref.html-orig 2008-12-11 19:37:59.000000000 +0100 +++ commandref.html 2008-12-11 19:15:02.000000000 +0100 @@ -27,6 +27,7 @@ ?,help   include   inform   + jsonlist   list   modify   quit   @@ -434,6 +435,97 @@
+ +

jsonlist

+ +

list