Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

coq
- Activity
- Members
- Labels
- Service Desk
- Model experiments

Snippets Groups Projects

8a824e7c

Commit 8a824e7c authored 3 years ago by Guillaume Melquiond

Downloads
- Plain Diff

Merge branch 'dynlink-w-findlib' into 'master'

adapt to coq/coq#15220

See merge request !7

parents 2cdb37f4 7a4d4232

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 7
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

.gitignore 1 addition, 0 deletions

.gitignore
Remakefile.in 13 additions, 4 deletions

Remakefile.in
configure.in 10 additions, 0 deletions

configure.in
src/Gappa_tactic.v 1 addition, 1 deletion

src/Gappa_tactic.v
src/Gappa_tactic_loader.c 5 additions, 0 deletions

src/Gappa_tactic_loader.c
src/META.coq-gappa 10 additions, 0 deletions

src/META.coq-gappa
src/gappatac.c 5 additions, 0 deletions

src/gappatac.c

with 45 additions and 5 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment