move patrick to separate catUtils module
fix some windows problems in setup script; take care of submodule init
Add parseSpec.py: new NLTK-based structured English parser
Add feature-grammar file
Fixing several things for integration with LTLMoP
add NTLK parser option
grammar definition for set/reset and toggle in se-nltk was missing SPEC tag
add test script into lib.parseSpec
typo in lib.parseSpec
change se-nltk grammar file path ref
modify se-nltk regexes to allow leading whitespace, case-insensitivity
Further work on correlations
Fix function for converting prefix FOL to infix LTL
Add parsing of quantification with each
Fix prefix to infix conversion, small capitalization change
Add little test script for NLTK parser
Fix correlations to follow correct order
Line-by-line spec testing
Prefix to infix syntax conversion is now ACTUALLY fixed
Add PROP nodes to some LIVENESS productions