-
Notifications
You must be signed in to change notification settings - Fork 84
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
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
Incorrect error location with goal selector brace (eg
1:{
)
kind: bug
#655
opened May 24, 2022 by
SkySkimmer
Feature wish: avoid reseting the windows layout as much as possible.
kind: enhancement
needs: discussion
#651
opened Mar 29, 2022 by
Matafou
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.