Fix package name
Add EditCoqCode view
Merge old code