A smaller readme, with content moved to our gh-pages
Update README.md
Update README.md
Commit .gitignore directly

Rather than relying on the cloner to copy the
provided gitignore.SAMPLE files.

This finishes the job started in c48509598, mostly
by reverting that commit and moving the two existing
SAMPLE files to the final destinations.

Use `.git/info/exclude` to augment the list of patterns
with entries specific to your workflow.
STARR: use 2.11.0-M4, built with 2.11.0-M3

Replaced starr jars with 2.11.0-M4, built with Scala 2.11.0-M3.

I used `ant replacestarr-opt -Dstarr.use.released=1`, with `starr.number`:

```
starr.version=2.11.0-M3
```

Then pushed the jars to artifactory after moving `lib/jline.jar` out of the way,
as it's no longer "desired" (i.e., not pulled from artifactory). Its presence
seemed to break `./push-binary-libs.sh $ARTIFACTORY_USER $ARTIFACTORY_PASS`.

You can by-pass the custom starr artifact download and use a (released) version
of Scala by changing your `build.properties` to include

```
starr.use.released=1
```

You may optionally change `starr.version` in `starr.number` to whichever version
that maven can resolve for you.
Merge pull request #2744 from adriaanm/starr-2.11.0-M4

STARR: use 2.11.0-M4, built with 2.11.0-M3
SI-7669 Fix exhaustivity warnings for recursive ADTs.

The pattern matcher's analysis was correctly finding
models under which the match in the enclosed test
could fail. But, when trying to render that model
as a counter example, it ran into an internal inconsistency
and gave up.

That inconsistency arose from VariableAssignment, which:

> turn the variable assignments into a tree
> the root is the scrutinee (x1), edges are labelled
> by the fields that are assigned a node is a variable
> example (which is later turned into a counter example)

In the process, it notes the unreachable case `V2 = NotHandled`,
which can only arise if `V1 = Op`, ie the scrutinee is `Op(NotHandled())`.
V2 is assosicated with the path `x1.arg`. The code then looked for
any variable assosicated with the prefix `x1` and registered that its
field `arg` was assosicated with this variable assignment.

However, the assignment for `V1 = NotHandled` (another missing case)
is also associated with the path `x1`. Registering this field makes
no sense here; we should only do that for `Op`.

This commit conditionally registers the fields based on the class
of `VariableAssignment#cls`. We no longer hit the inconsistency in
`VariableAssignment#allFieldAssignmentsLegal`.

This favourably changes the results of two existing tests.

I had to tweak the counter example pruning to avoid relying on
CounterExample.==, which is flaky in the light of Nil and List().
It is possible to have:

     A, B where A != B && A.coveredBy(B) && B.coveredBy(A)

Luckily it is straightforward to implement pruning entirely with
coveredBy.
Fixing exhaustiveness warnings.

ClassfileAnnotArg becoming sealed brought tidings of not being
exhaustive.
Cleanups in type printing.

More consistency as to how to understand aliases,
singletons, specialized symbols, subclasses. Fewer
weird special casings, like normalizing tuples
and functions during type printing, but nothing else.
I avoid "normalize" entirely now, and do not make
special cases for dealiasing, which is already well
handled when printing error messages.

Look at the change to test/files/neg/t2641.check to get
a sense of why we should resist calling normalize during
the early days of a compilation run.

Anonymous and refinement classes can be printed far more
usefully by revealing their parents, and that too is here.

Hardened toString against undesirable side effects.
Make toString final to discourage any further rogue
toString overriders. Make safeToString a little safer.
Make -Ytyper-debug output readable.
Merge pull request #2747 from paulp/pr/warnings

Fixing exhaustiveness warnings.
Merge pull request #2743 from retronym/topic/gitignore-in-repo

Commit .gitignore directly
SI-7592 Deprecate s.c.m.DefaultMapModel

“This class is used internally.” — No, it isn't.
It isn't used anywhere else either and it doesn't add much benefit,
considering that it lacks documentation and has no tests at all.
SI-7679 Remove deprecated StandardScalaSettings#make
SI-7681 Remove dead code in s.t.n.s.AbsScalaSettings
SI-7681 Remove s.t.n.d.Changes (dead code)
SI-7681 Remove scala.tools.nsc.Phases
SI-7681 Clean up scala.reflect.internal.util.TableDef
... now that scala.tools.nsc.Phases is gone.
Merge pull request #2730 from scalamacros/ticket/7657

SI-7657 clarifies the "macro overrides method" rule
SI-7687 Handle spaces in %COMSPEC% path in scala.bat.

Double quoted %COMSPEC% to allow for spaces in the path to the
default interpreter (cmd.exe or equivalent).