minor change to reduce the amount of stat'ing done at compile time
Merge pull request #646 from owolabileg/master

minor change to reduce the amount of stat'ing done at kompile time
Shell script fixes to quote "$0" properly in case it includes spaces.
Backslash-escape special characters in Maude "load" commands.

In particular, this is needed when working with files in directories
containing spaces.  Backslash-escaping in this manner is supported by
Maude 2.4 or later, per <http://maude.cs.uiuc.edu/versions/2.4/Changes>.
Oops, fix some mangled quoting that slipped into c9344e5ee40ceb48c500f9b9c200ba2d34720cd0.
Change tabs to spaces, per K project's preferred style.
Merge pull request #657 from liblit/master

Tool fixes to handle spaces in file paths
Minor documentation fix: add missing "\" at start of LaTeX macro.
Docs fix: "types" helper function is actually named "getTypes".
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.
make PdfBackend coding guidelines compliant
fix #683
Choosing maximum instead of minimum for terms alike.
Small fixes:
   - since Map, Set and List are not subsorted to K, eliminate the unique top sort check
   - the KApp of a constant properly forwards the location information
   - adding the single dots for Map, Set and List.
Merge pull request #688 from osa1/fix683

Fix #683
Merge branch 'unified-builtins2' into fixVarTypeInference2
Trying to infer the most concrete empty element that fits in the context.
   - modified the type filter to prefer terms of sort directly subsorted to the context, and discard K if it can
   - pushed instantiation of middle end classes for list terminator after parser in order to have a more uniform representation for disambiguation.
Forgot copyright info.
Swapping the order of cell type disambiguation and rewrite correction.
   - also taking into consideration that the K cell may be opened, then the sort is K.
Avoiding sort BagItem.