[ { "file":"about.html",      "title":"About" },
  "--",
  { "file":"help.html",	      "title":"Help" },
  { "url":"http://friguzzi.github.io/cplint/","title":"Help on cplint"},
  { "url":"http://ArnaudFadja.github.io/phil/","title":"Help on PHIL"},
  { "url":"http://friguzzi.github.io/pascal/","title":"Help on PASCAL"},
  { "url":"/help/plptutorial/index.html", "title":"Tutorial" },
  { "url":"http://www.swi-prolog.org/pack/list?p=cplint", "title":"Pack page on cplint"},

  { "url":"http://friguzzi.github.io/aleph/doc/manual.html", "title":"Help on Aleph"},

  { "file":"runner.html",     "title":"Runner" },
  { "file":"debug.html",      "title":"Debugging" },
  { "file":"notebook.html",   "title":"Notebook" },
  { "file":"editor.html",     "title":"Editor" },
  { "file":"chat.html",	      "title":"Chat" },
  { "file":"login.html",      "title":"Login extras" },
  "--",
  { "file":"beware.html",     "title":"Limitations" },
  { "file":"caveats.html",    "title":"Caveats" },
  { "file":"background.html", "title":"Background" },
  "--",
  { "file":"privacy.html",    "title":"Privacy statement" }
]