Add updater and creator for COQ.