Stream: Coq users

Topic: Proof General eating all RAM


view this post on Zulip Ralf Jung (Jun 10 2020 at 16:39):

Has anyone had the problem yet of PG (not the Coq process, but the emacs process) eating up all RAM?
https://github.com/ProofGeneral/PG/issues/499


Last updated: Jan 31 2023 at 13:02 UTC