Added a callback to Global.Run for fine-grain p...
Added a callback to Global.Run for fine-grain p...

Added a callback to Global.Run for fine-grain progress reporting, to
used by e.g., the Eclipse plugin.


lrytz/scala,slothspot/scala,martijnhoekstra/scala,shimib/scala,shimib/scala,scala/scala,slothspot/scala,jvican/scala,felixmulder/scala,scala/scala,martijnhoekstra/scala,jvican/scala,shimib/scala,slothspot/scala,slothspot/scala,martijnhoekstra/scala,slothspot/scala,martijnhoekstra/scala,jvican/scala,jvican/scala,shimib/scala,shimib/scala,scala/scala,scala/scala,shimib/scala,jvican/scala,jvican/scala,felixmulder/scala,jvican/scala,martijnhoekstra/scala,felixmulder/scala,felixmulder/scala,lrytz/scala,scala/scala,lrytz/scala,felixmulder/scala,lrytz/scala,slothspot/scala,felixmulder/scala,slothspot/scala,scala/scala,lrytz/scala,martijnhoekstra/scala,lrytz/scala,felixmulder/scala