Initial infrastructure for bug regression test worl/
Initial structure for variable substitution visitor.
Update poms to use Isabelle-Eclipse 2013-2.
Merge remote-tracking branch 'origin/development' into sdf
Fixed the variable and replacement syntax
Added atomic assignment and a few bits of additional syntax
Merge remote-tracking branch 'origin/development' into sdf
Made process references generate correctly
Added support for parametric processes
Fixed dependency tracking in process actions so process parameters work
modified the type checker integration of the IDE to handle the internal exception stating that too many errors has been detected. (Note that the type checker did already handle this but the IDE reported a safebuilder error before it stored the markers)
Fixed syntax for operations, channels etc. Added support for replicated alphabetised parallelism.
Added support for process invariants and several other process operators which were already supported for actions.
added modifulistner for change of hosttext
fixed #236 process definitions were created without ever setting the access field.
changed fix for #184 and close #232

changed implementation of getNamedValues and the way delegates are handled for process classes
java doc updates
enabled prob testing
additional fix for #236
change debugger such that prob always is present