Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

jscoq-light
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

Pierre Rousselin
jscoq-light
Commits
d7872cee

Unverified Commit d7872cee authored Mar 27, 2020 by Shachar Itzhaky Committed by GitHub Mar 27, 2020

Downloads
- Plain Diff

Merge pull request #174 from corwin-of-amber/v8.11+revive-builder

Fix project-builder

parents 534f7844 7ddad373

Branches

No related tags found

No related merge requests found

Changes 9

Show whitespace changes

Inline Side-by-side

Showing

project-builder.html 31 additions, 13 deletions

project-builder.html
ui-css/components/file-list.css 99 additions, 0 deletions

ui-css/components/file-list.css
ui-css/project.css 3 additions, 96 deletions

ui-css/project.css
ui-js/components/file-list.js 84 additions, 13 deletions

ui-js/components/file-list.js
ui-js/components/problem-list.js 4 additions, 0 deletions

ui-js/components/problem-list.js
ui-js/coq-build.js 31 additions, 6 deletions

ui-js/coq-build.js
ui-js/coq-cli.js 1 addition, 1 deletion

ui-js/coq-cli.js
ui-js/coq-packages.js 1 addition, 1 deletion

ui-js/coq-packages.js
ui-js/jscoq.js 4 additions, 1 deletion

ui-js/jscoq.js

with 258 additions and 131 deletions

Loading

0% Loading or .

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

Finish editing this message first!

Please sign in to comment