fix ktest log string escaping
fix latex backend for files without modules
Merge pull request #430 from dlucanu/master

Updated the definition for the stream equivalence in samples/prog-equiv/stream.
Merge pull request #453 from dwightguth/latex

fix latex backend for files without modules
fix #parse thing, oh god for real finally geez
Merge pull request #467 from dwightguth/parse

fix #parse thing, oh god for real finally geez
delete QuoteHandling
Merge pull request #445 from dwightguth/ktest

fix ktest log string escaping
add dependence on git for checkstyle-copyright
fix case if git is not present
fix whitespace
Merge pull request #474 from dwightguth/checkstyle-copyright

add dependence on git for checkstyle-copyright
fix nontermination bug if loading definition in maude had errors
Merge pull request #476 from dwightguth/maudetask

fix nontermination bug if loading definition in maude had errors
Fixing issue #475. I've made a change a while back to fix latex, but that broke warning reporting for typed variables.
Added JUnit that tests both positive and negative cases.
Forgot to add the copyrights comment.
Merge pull request #478 from kframework/untyped-var-fix

Fixing issue #475. I've made a change a while back to fix latex,
resoved config.xml conflict
fixed some errors in config.xml in prog-equiv folders.