diff options
| author | David Aspinall | 2011-10-17 10:11:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-10-17 10:11:47 +0000 |
| commit | d73380a2bc6b0cf8d79f84f6d515cfce1a332551 (patch) | |
| tree | d92ed1844335a398ecdacb7fa63b1d5ffb6df4bd /generic/proof-autoloads.el | |
| parent | dfd44be957129baacbfc8ae7fdf587cfa6431129 (diff) | |
Attempt to support stricter bytecomp flags
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 0f8e1585..d0f8db5a 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -209,7 +209,7 @@ Initialise the goals buffer after the child has been configured. ;;;*** ;;;### (autoloads (pg-movie-export-directory pg-movie-export-from -;;;;;; pg-movie-export) "pg-movie" "pg-movie.el" (20123 64083)) +;;;;;; pg-movie-export) "pg-movie" "pg-movie.el" (20123 64158)) ;;; Generated autoloads from pg-movie.el (autoload 'pg-movie-export "pg-movie" "\ @@ -281,7 +281,7 @@ This macro also extends the `proof-assistant-settings' list. ;;;*** ;;;### (autoloads (pg-pgip-askprefs pg-pgip-maybe-askpgip pg-pgip-process-packet) -;;;;;; "pg-pgip" "pg-pgip.el" (20118 50210)) +;;;;;; "pg-pgip" "pg-pgip.el" (20123 64607)) ;;; Generated autoloads from pg-pgip.el (autoload 'pg-pgip-process-packet "pg-pgip" "\ @@ -369,7 +369,7 @@ See `pg-next-error-regexp'. ;;;;;; pg-slow-fontify-tracing-hint proof-electric-terminator-enable ;;;;;; proof-define-assistant-command-witharg proof-define-assistant-command ;;;;;; proof-process-buffer proof-goto-point proof-script-new-command-advance) -;;;;;; "pg-user" "pg-user.el" (20123 64108)) +;;;;;; "pg-user" "pg-user.el" (20123 64158)) ;;; Generated autoloads from pg-user.el (autoload 'proof-script-new-command-advance "pg-user" "\ @@ -619,7 +619,7 @@ in future if we have just activated it for this buffer. ;;;;;; proof-register-possibly-new-processed-file pg-set-span-helphighlights ;;;;;; proof-locked-region-empty-p proof-locked-region-full-p proof-unprocessed-begin ;;;;;; proof-colour-locked) "proof-script" "proof-script.el" (20123 -;;;;;; 63408)) +;;;;;; 64988)) ;;; Generated autoloads from proof-script.el (autoload 'proof-colour-locked "proof-script" "\ @@ -1025,7 +1025,7 @@ Return a unicode encoded version presentation of STR. ;;;;;; "../lib/proof-compat.el" "../lib/span.el" "pg-autotest.el" ;;;;;; "pg-custom.el" "pg-pbrpm.el" "pg-vars.el" "proof-auxmodes.el" ;;;;;; "proof-config.el" "proof-faces.el" "proof-useropts.el" "proof.el" -;;;;;; "proofgeneral-pkg.el") (20123 64110 868313)) +;;;;;; "proofgeneral-pkg.el") (20123 65399 608731)) ;;;*** |