added analyze button to theory files and returns the desired result
Web IDE now generate different confirmation code. Theory files are now seen by everyone.
brought in changes
- moved the code to generate new confirmation code when needed.
- deleted some unused files
- moved the dependency of the secure module from application.conf to dependency.yml (old way was deprecated)
- work in progress for the administration CRUD.
changed theory visibility to registered users
fixed bugs while registering. added error page for account related errors. added research flag to local-conf to render different background
added a listener for the prover. web ide now invokes the Algebraic Prover instead of the Old Prover
Merge pull request #22 from yushan87/feature

Feature