feat: parallel progress notifications#6329

Merged

Kha merged 3 commits intoleanprover:masterfrom Kha:push-vorkpouuxruv

Feb 7, 2025

+123-76

Commits on Feb 7, 2025

feat: parallel progress notifications
Kha
committed
move progress ranges of post-elaboration task from end to beginning of command
Kha
committed
fix disjoint parent-child ranges in language processor, negative merges in worker merge
Kha
committed