On 2016-10-13 13:25, John Wiegley wrote:
>  - Asking Proof General to check a file that depends on 30 other files

Isn't proof general asynchronous?