JIntE
JavaScript Interactive Environment
Version 1.07
Developed by Giuseppe Costa
giuseppe.costa at di.unipi.it