Package shell

source code

The Jazz Parser's interactive shell for results analysis and debugging.

This package contains all of the basic infrastructure of the debugging shell, including basic globally-applicable tools. Other tools are loaded in per formalism and parser.