Finished changes to the cplus2asp interactive UI.
Cleaned up several of the domain include directives to be more robust.
Extended the functionality of as2transition to handle bare atoms, eql(p,v) style atoms, and eq(p,v) style atoms in a nicer way.
as2transition can now be applied to general (time-stamped or timeless) ASP programs.
Split as2transition out of the cplus2asp project and into its own project.
Added a submodule reference for as2transition under externals/as2transition.
Added additional wrapping and error checking to check for and (attempt to) maintain the reference to as2transition's repository.
Fixed an issue with parsing command-line query options causing state and transition queries to be interchanged in some cases.
Fixed an issue in the translator producing errors in the static translation.
cplus2asp will now exit if the End Of Input (CTRL-D) symbol is found in interactive mode.
Fixed an issue causing a stack overflow under certain circumstances when using a negative constraint style law (impossible / never).
Fixed an issue with the help prompt being (once again) displayed after each query in interactive mode (caused by a versioning conflict).
Initial work on the reactive bridge. Highly incomplete.
Tweak to cplus2asp system to use as2transition version 3.0 arguments.
Small bug fix to prevent running as2transition while in reactive mode.
Modified behavior of show statement to only hide fluents.
Fixed an issue with the cplus2asp makefile preventing proper first-time installation.
Merge branch 'master' of ssh://github.com/babb517/cplus2asp into dirty
Compatibility fix for cplus2asp's makefile.
Numerous bug fixes for reactive mode.
Development of base reactive bridge with output translation (input translation pending).
Enhanced command line options for cplus2asp.
Improved filesystem / process handling for system portability (work still required).