¿Hay alguna forma de disminuir el intervalo entre la compilación y el momento en que Skim actualiza la visualización del PDF correspondiente? Parece que lleva bastante más tiempo que en mi antigua máquina con Windows Vista con MiKTeX y Sumatra PDF.
Como referencia, estoy usando macOS High Sierra y Aquamacs con AucTeX y TeXLive.