prodigy.web

Modules

app	The Prodigy web GUI (prodigy web).
diagnostics	Diagnostics for editors: parses and type-checks pGCL source and reports problems with positions, plus an outline of the program (variables, loops with their ids, queries).
examples	The example library of the web GUI: the programs in pgfexamples/.
jobs	Analysis jobs for the web GUI.
requests	Analysis requests of the web GUI (JSON in, JSON out).