Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
concordium
smart-contract-interactions
Commits
391ccde6
Commit
391ccde6
authored
Apr 29, 2019
by
Jakob Botsch Nielsen
Browse files
Add CursorList.v to _CoqProject
parent
cb50a2c1
Pipeline
#12173
failed with stage
in 1 minute and 7 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
_CoqProject
View file @
391ccde6
...
...
@@ -5,6 +5,7 @@ src/BoundedN.v
src/Circulation.v
src/Congress.v
src/Containers.v
src/CursorList.v
src/Extras.v
src/Finite.v
src/LocalBlockchain.v
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment