When loading various sections Eclipse is running quite slow, even on a powerful machine (e.g., iMac 8core 16GB memory).
On a reasonably fast laptop (e.g., Mac Air 4core 4GB) this is more noticeable. It seems the problem comes mostly from:
* reparsing when typing proof commands
* undo/redo of commands
* BUT MOSTLY: auto-complition is *very* slow :-(
Log in to post a comment.