![](https://secure.gravatar.com/avatar/ac3fbaf0a287c4cffbc9f18fa931586c.jpg?s=120&d=mm&r=g)
24 May
2016
24 May
'16
11:55 a.m.
On Tue, 24 May 2016 18:56:44 +0200
Hans Hagen
or is your console slow (if you run a lot from the console it makes sense to use 'conemu' as consoles - on any os - take some runtime due to the way tex flushes)
On any OS?? I believe that conemu is a Windows-specific terminal emulator. Alan