Update SLURP.
make setup script download SLURP submodule even if a zipball download and not a repo clone
make gitUtils.ensureGitBash to help with windows compatibility of setup scripts
remove non-ascii character ('¬') from .dot file export, use '!' for negation instead
setup script breaks when run from a network drive on windows; this might be fixable in the future, but for now warn about this instead of crashing mysteriously
Add in java module to allow for basic BDD-based LTLspec comparison for future regression testing
Update SLURP.
make all scripts in /dist executable
testExamples can now be passed .spec paths as command-line arguments to test only the specified projects
re-enable 'decompose' in firefighting/specinLTL.spec example.  This is a work-around pending specCompiler/mapProcessing refactoring.
make Executor print an INFO log message upon successful termination
Add patrol example for ltlworkshop.
Make ltlworkshop patrol spec non-trivial.
fix opening of github signup page in installer on OS X
remove _RRTControllerHelper, as it is no longer used
temporary workaround for wx tooltip bug; see http://trac.wxwidgets.org/ticket/15508
update dev install script to download dependencies (catUtils, etc.) automatically
remove tutorial .doc and .pdf from repo; this is now on the github wiki
remove a 10MB video file that has been in the repo from the very beginning...
add tip to ltlmop_github_setup about ssh-keygen asking for a location for your keys