Common problems

Jump to bottom

Dominique Unruh edited this page Oct 17, 2022 · 3 revisions

If you don't find your problem below, we encourage you to ask on the Gitter chat.

Missing symbols in ProofGeneral: Some special characters are replaced by little boxes
ProofGeneral does not start
ProofGeneral doesn't initialize properly: You can open Emacs via the proofgeneral.sh/.ps1 command, but .qrhl files are not loaded as proof scripts