GF JavaScript library
PGF service access
pgf_online.js
, support.js
Documentation:
gf-web-api
User interface
minibar_input.js
: user input with magnets and completion
minibar_translations.js
: display translations
minibar.js
: complete Minibar web app
minibar_support.js, support.js: auxiliary functions
Documentation:
minibar-api