This version adds traces associated with a module, which can be used to simulate against the module as an additional form of verification.
Documentation can be found here: http://www.scribble.org/docs/user/user-guide.html
Any issues should be reported here: https://github.com/scribble/scribble-web/issues
NOTE: This version of the web tooling uses the old version of the Java core tools. A new implementation of the Java core is being developed and the web tooling will switch over to this newer version of the core when available.