Now a proof editor
Merging in updates to lamPy
Uploading oefp favicon
Merge branch 'master' into proof
Updating project defs from lamPy
Starting trying things out
Unupdating bootstrap