-
Notifications
You must be signed in to change notification settings - Fork 86
Issues: ProofGeneral/PG
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
File mode specification error: (void-variable coq-cmd-force-next-proof-kept)
#775
opened Jun 19, 2024 by
DaKnig
Indentation issue : "\in"
kind: bug
part: indentation
Problems with indentation feature of PG
#757
opened Apr 4, 2024 by
KimayaBedarkar
Bug: Frames in hybrid mode automatically revert to vertical mode
#746
opened Mar 16, 2024 by
allen-liaoo
test_wholefile.v incompatible with 8.19
kind: bug
kind: test
#719
opened Dec 26, 2023 by
hendriktews
coq-insert-suggested-dependency
sometimes inserts unparsable statements
#715
opened Nov 8, 2023 by
HazardousPeach
whitelist for admissible commands inside proofs
kind: enhancement
#689
opened Feb 26, 2023 by
hendriktews
remove Isabelle walkthrough example
good first issue
kind: documentation
#666
opened Aug 2, 2022 by
HuStmpHrrr
User-defined
coq-prog-args
gets reset to ("-emacs")
on every proof-shell-start
#661
opened Jun 29, 2022 by
zacque0
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-08-23.