phys units can be stored now in modules
finished refactoring
an example of a word-wrapping intention.
added surround with intentions for formatting words
removed deleted langdep from util's project paths
added test targets in mpsutil's build.xml
added path to util's project file in text.ex.matcher
moved the targets for installing plugins into a build.xml
overall build scripts now delegate build requests to build.xml
reloaded cc's plugin deps and regenerated plugin build scripts
regenerated cc's plugin build scripts
removed xhtml module from cc's project paths
cleanup for installing plugins didn't work properly
build.xml's now use the build.properties file under code/languages
debugger's generated test code is now in gitignore
build.properties.example files in project folders are not needed anymore
adding after_then and before_must advanced verification conditions
Merge remote-tracking branch 'origin/master'
merged
Local var decl after labels are not allowed by C. Fixed this problem in the cbmc generator