tree e46ec7ed840fe07ec06442261378885d5da97560
parent 611ca3b912b2d466085ef0fc87715d03c954cce2
parent 39f0cc85c21f9e1f0f78d78824044d1d7c7b34d5
author Shawn Pearce <sop@google.com> 1426213179 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1426213180 +0000

Merge changes I4ba34cab,Ifb7baa1d,If3d41c14,I165c6710,I78ab48d8, ...

* changes:
  Inline is{Integer,Double,Symbol,List,...} with instanceof
  Expand statistics feature to cover all vm stats
  Apply reduction limit during evaluation
  Remove incorrect copyright header from Google
  Move user stream IO setup to common PrologControl
  Apply Gerrit-style formatting settings for Eclipse