Leaving directory `/home/jil/.emacs.d/elpa/company-coq-20160112.146'

Compiling file /home/jil/.emacs.d/elpa/company-coq-20160112.146/company-coq-abbrev.el at Tue Jan 12 13:22:16 2016
Entering directory `/home/jil/.emacs.d/elpa/company-coq-20160112.146/'

Compiling file /home/jil/.emacs.d/elpa/company-coq-20160112.146/company-coq-tg.el at Tue Jan 12 13:22:16 2016

Compiling file /home/jil/.emacs.d/elpa/company-coq-20160112.146/company-coq-utils.el at Tue Jan 12 13:22:16 2016

Compiling file /home/jil/.emacs.d/elpa/company-coq-20160112.146/company-coq.el at Tue Jan 12 13:22:16 2016
company-coq.el:148:1:Warning: value returned from (boundp (quote
    proof-goals-buffer)) is unused
company-coq.el:148:1:Warning: value returned from (boundp (quote
    proof-goals-buffer)) is unused
company-coq.el:148:1:Warning: value returned from (boundp (quote
    proof-goals-buffer)) is unused
company-coq.el:148:1:Warning: value returned from (boundp (quote
    proof-goals-buffer)) is unused
company-coq.el:149:36:Warning: value returned from (boundp (quote
    proof-script-buffer)) is unused
company-coq.el:149:36:Warning: value returned from (boundp (quote
    proof-script-buffer)) is unused
company-coq.el:149:36:Warning: value returned from (boundp (quote
    proof-script-buffer)) is unused
company-coq.el:149:36:Warning: value returned from (boundp (quote
    proof-script-buffer)) is unused
company-coq.el:150:36:Warning: value returned from (boundp (quote
    proof-response-buffer)) is unused
company-coq.el:150:36:Warning: value returned from (boundp (quote
    proof-response-buffer)) is unused
company-coq.el:150:36:Warning: value returned from (boundp (quote
    proof-response-buffer)) is unused
company-coq.el:150:36:Warning: value returned from (boundp (quote
    proof-response-buffer)) is unused
company-coq.el:151:36:Warning: value returned from (boundp (quote
    proof-action-list)) is unused
company-coq.el:151:36:Warning: value returned from (boundp (quote
    proof-action-list)) is unused
company-coq.el:151:36:Warning: value returned from (boundp (quote
    proof-action-list)) is unused
company-coq.el:151:36:Warning: value returned from (boundp (quote
    proof-action-list)) is unused
company-coq.el:152:36:Warning: value returned from (boundp (quote
    proof-script-fly-past-comments)) is unused
company-coq.el:152:36:Warning: value returned from (boundp (quote
    proof-script-fly-past-comments)) is unused
company-coq.el:152:36:Warning: value returned from (boundp (quote
    proof-script-fly-past-comments)) is unused
company-coq.el:152:36:Warning: value returned from (boundp (quote
    proof-script-fly-past-comments)) is unused
company-coq.el:153:36:Warning: value returned from (boundp (quote
    proof-shell-proof-completed)) is unused
company-coq.el:153:36:Warning: value returned from (boundp (quote
    proof-shell-proof-completed)) is unused
company-coq.el:153:36:Warning: value returned from (boundp (quote
    proof-shell-proof-completed)) is unused
company-coq.el:153:36:Warning: value returned from (boundp (quote
    proof-shell-proof-completed)) is unused
company-coq.el:154:36:Warning: value returned from (boundp (quote
    proof-shell-last-output)) is unused
company-coq.el:154:36:Warning: value returned from (boundp (quote
    proof-shell-last-output)) is unused
company-coq.el:154:36:Warning: value returned from (boundp (quote
    proof-shell-last-output)) is unused
company-coq.el:154:36:Warning: value returned from (boundp (quote
    proof-shell-last-output)) is unused
company-coq.el:155:36:Warning: value returned from (boundp (quote
    proof-shell-last-output-kind)) is unused
company-coq.el:155:36:Warning: value returned from (boundp (quote
    proof-shell-last-output-kind)) is unused
company-coq.el:155:36:Warning: value returned from (boundp (quote
    proof-shell-last-output-kind)) is unused
company-coq.el:155:36:Warning: value returned from (boundp (quote
    proof-shell-last-output-kind)) is unused
company-coq.el:156:36:Warning: value returned from (boundp (quote
    proof-shell-last-goals-output)) is unused
company-coq.el:156:36:Warning: value returned from (boundp (quote
    proof-shell-last-goals-output)) is unused
company-coq.el:156:36:Warning: value returned from (boundp (quote
    proof-shell-last-goals-output)) is unused
company-coq.el:156:36:Warning: value returned from (boundp (quote
    proof-shell-last-goals-output)) is unused
company-coq.el:157:36:Warning: value returned from (boundp (quote
    proof-shell-last-response-output)) is unused
company-coq.el:157:36:Warning: value returned from (boundp (quote
    proof-shell-last-response-output)) is unused
company-coq.el:157:36:Warning: value returned from (boundp (quote
    proof-shell-last-response-output)) is unused
company-coq.el:157:36:Warning: value returned from (boundp (quote
    proof-shell-last-response-output)) is unused
company-coq.el:158:36:Warning: value returned from (boundp (quote
    coq-mode-map)) is unused
company-coq.el:158:36:Warning: value returned from (boundp (quote
    coq-mode-map)) is unused
company-coq.el:158:36:Warning: value returned from (boundp (quote
    coq-mode-map)) is unused
company-coq.el:158:36:Warning: value returned from (boundp (quote
    coq-mode-map)) is unused
company-coq.el:159:36:Warning: value returned from (boundp (quote
    coq-reserved)) is unused
company-coq.el:159:36:Warning: value returned from (boundp (quote
    coq-reserved)) is unused
company-coq.el:159:36:Warning: value returned from (boundp (quote
    coq-reserved)) is unused
company-coq.el:159:36:Warning: value returned from (boundp (quote
    coq-reserved)) is unused
company-coq.el:160:36:Warning: value returned from (boundp (quote
    coq-user-cheat-tactics-db)) is unused
company-coq.el:160:36:Warning: value returned from (boundp (quote
    coq-user-cheat-tactics-db)) is unused
company-coq.el:160:36:Warning: value returned from (boundp (quote
    coq-user-cheat-tactics-db)) is unused
company-coq.el:160:36:Warning: value returned from (boundp (quote
    coq-user-cheat-tactics-db)) is unused
company-coq.el:161:36:Warning: value returned from (boundp (quote
    coq-user-commands-db)) is unused
company-coq.el:161:36:Warning: value returned from (boundp (quote
    coq-user-commands-db)) is unused
company-coq.el:161:36:Warning: value returned from (boundp (quote
    coq-user-commands-db)) is unused
company-coq.el:161:36:Warning: value returned from (boundp (quote
    coq-user-commands-db)) is unused
company-coq.el:162:36:Warning: value returned from (boundp (quote
    coq-user-reserved-db)) is unused
company-coq.el:162:36:Warning: value returned from (boundp (quote
    coq-user-reserved-db)) is unused
company-coq.el:162:36:Warning: value returned from (boundp (quote
    coq-user-reserved-db)) is unused
company-coq.el:162:36:Warning: value returned from (boundp (quote
    coq-user-reserved-db)) is unused
company-coq.el:163:36:Warning: value returned from (boundp (quote
    coq-user-solve-tactics-db)) is unused
company-coq.el:163:36:Warning: value returned from (boundp (quote
    coq-user-solve-tactics-db)) is unused
company-coq.el:163:36:Warning: value returned from (boundp (quote
    coq-user-solve-tactics-db)) is unused
company-coq.el:163:36:Warning: value returned from (boundp (quote
    coq-user-solve-tactics-db)) is unused
company-coq.el:164:36:Warning: value returned from (boundp (quote
    coq-user-tacticals-db)) is unused
company-coq.el:164:36:Warning: value returned from (boundp (quote
    coq-user-tacticals-db)) is unused
company-coq.el:164:36:Warning: value returned from (boundp (quote
    coq-user-tacticals-db)) is unused
company-coq.el:164:36:Warning: value returned from (boundp (quote
    coq-user-tacticals-db)) is unused
company-coq.el:165:36:Warning: value returned from (boundp (quote
    coq-user-tactics-db)) is unused
company-coq.el:165:36:Warning: value returned from (boundp (quote
    coq-user-tactics-db)) is unused
company-coq.el:165:36:Warning: value returned from (boundp (quote
    coq-user-tactics-db)) is unused
company-coq.el:165:36:Warning: value returned from (boundp (quote
    coq-user-tactics-db)) is unused
company-coq.el:4169:1:Error: Unknown upattern `(quote off)'