Added gappa executable for osx
Fixed build error in DefinitionLoader.
Merge branch 'master' of github.com:kframework/k
Added server-specific files for sglr and INSTALL.
Updated instructions for sglr-server and added linux binary
sglr-server: Updated INSTALL and Makefile and added mac version.
Fix spelling in error message.
Removed "generated source location" constructors as ASTNode's default
constructor already handles this.
Removed no longer used XML constructors from KIL classes for Basic syntax.
build.xml
Kompile - rejecting every terminal for every lexical rule defined by the user.
Added the new basic parser generated files in the ant clean file set.
This should also fix some recent issues where javac would fail.
changedd README to require Java 7
Merge branch 'master' of https://github.com/kframework/k
Fix Latex output of don't-care variables.

Forces the unification module's `$dontcare` values--wildcard syntax that would unify against anything--to output in Latex identically to the underscores that K uses for don't-care values.
Updated INSTALL with instructions for LaTeX.
Merge branch 'patch-1' of https://github.com/JoeOsborn/k
Exclude failing test
temporary patch for io
Merge branch 'master' of https://github.com/kframework/k