Skip to content
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

Refactor CoqMovie and CoqdocMovie to be equal. #10

Open
palmskog opened this issue Aug 23, 2011 · 2 comments
Open

Refactor CoqMovie and CoqdocMovie to be equal. #10

palmskog opened this issue Aug 23, 2011 · 2 comments
Labels
major task

Comments

@palmskog
Copy link
Member

Original report by Carst Tankink (Bitbucket: Carst, GitHub: Carst).

Both a Coq Movie and a Coqdoc Movie are essentially just containers of specialized Frames. They should be a generic movie, using the same Proviola.
@palmskog
Copy link
Member Author

Original comment by Carst Tankink (Bitbucket: Carst, GitHub: Carst).

The refactoring of the source is finished, I just need to unify the Proviola code, run a few test cases and update the web page.

@palmskog
Copy link
Member Author

Original comment by Carst Tankink (Bitbucket: Carst, GitHub: Carst).

Update web page and readme to finish this up.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
major task
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@palmskog