Thanks to visit codestin.com
Credit goes to github.com

Skip to content

dev/tool/anomaly-traces-parser.el #78

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

dev/tool/anomaly-traces-parser.el #78

wants to merge 1 commit into from

Conversation

@gasche
Copy link
Contributor

@gasche gasche commented Jun 25, 2015

An .emacs-ready elisp snippet to parse location of Anomaly backtraces
and jump to them conveniently from the Emacs *compilation* output.

@coqdev
Copy link

coqdev commented Jun 25, 2015

LGTM.

Maybe useful in proofgeneral too?

P.

Le jeu. 25 juin 2015 à 10:50, gasche [email protected] a écrit :

An .emacs-ready elisp snippet to parse location of Anomaly backtraces

and jump to them conveniently from the Emacs compilation output.

You can view, comment on, or merge this pull request online at:

#78
Commit Summary

  • dev/tool/anomaly-traces-parser.el

File Changes

Patch Links:

—
Reply to this email directly or view it on GitHub
#78.

@maximedenes
Copy link
Member

maximedenes commented Jun 25, 2015

test build

@coqbot
Copy link
Contributor

coqbot commented Jun 25, 2015

Can one of the admins verify this patch?

cpitclaudel
cpitclaudel reviewed Jun 25, 2015
View reviewed changes
dev/tools/anomaly-traces-parser.el Outdated
Copy link
Contributor

@cpitclaudel cpitclaudel Jun 25, 2015

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You don't need this progn here

@gasche gasche force-pushed the elisp_anomalies_backtrace_parser branch from a81c6c3 to 4260374 Compare June 25, 2015 22:11
@gasche
dev/tool/anomaly-traces-parser.el
d974365 
An .emacs-ready elisp snippet to parse location of Anomaly backtraces
and jump to them conveniently from the Emacs *compilation* output.
@gasche gasche force-pushed the elisp_anomalies_backtrace_parser branch from 4260374 to d974365 Compare June 25, 2015 22:12
@herbelin
Copy link
Member

herbelin commented Jul 1, 2015

Nothing special to say. Looks ok to me.

@maximedenes
Copy link
Member

maximedenes commented Jul 8, 2015

test build

@maximedenes
Copy link
Member

maximedenes commented Apr 4, 2016

Merged, thanks Gabriel!

@maximedenes maximedenes closed this Apr 4, 2016
jfehrle pushed a commit to jfehrle/coq that referenced this pull request Dec 19, 2022
@robbertkrebbers
Merge pull request rocq-prover#78 from Mtac2/recursive-mfix1-5
f94b1b0 
Make mfix1..5 well-behaved recursive notation.
proux01 pushed a commit to proux01/rocq that referenced this pull request Sep 10, 2024
@Zimmi48
Merge pull request rocq-prover#78 from Zimmi48/news-8.8.2
548bc6e 
Announce 8.8.2 release.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@gasche @coqdev @maximedenes @coqbot @herbelin @cpitclaudel