Specify editor role for debugging server side tokens.
First steps to make domain-specific colouring pass through to CodeMirror.
Generalise predicateInfo to tokenInfo and move HTML generation to the
server to avoid the need for additional client code if more token types
are supported.
Provide server enhanced hover information for user-defined token types.
Also ignore operators.
Perform the cross-referencer and colouring relative to a temporary
module that defaults to `swish` (should become the pengine application).
This both allows for concurrent cross-referencing and provides the
proper operator context.
FIXED: Make sure `Next' brings us back into state 'running'
ADDED: Show CPU time if this is more than 0.1 second.
Avoid accessing XPCE graphics if we have no display
Start a rendering library.
Indicate renderer
Add Sudoku renderer
comment
ENHANCED: Reduce string concatenation.
Turn into a single object.
Added jQuery plugin `renderMulti` to deal with display and control different
rendering alternatives.
Use annimation for changing rendering
New rendering infrastructure.
Use new rendering infrastructure.
Removed unneeded declaration