diff options
Diffstat (limited to 'lib/pg-dev.el')
-rw-r--r-- | lib/pg-dev.el | 31 |
1 files changed, 19 insertions, 12 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 3bbda049..8e82a753 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -1,11 +1,18 @@ ;;; pg-dev.el --- Developer settings for Proof General -;; -;; Copyright (C) 2008-2011 LFCS Edinburgh. + +;; This file is part of Proof General. + +;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh +;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2001-2017 Pierre Courtieu +;; Portions © Copyright 2010, 2016 Erik Martin-Dorel +;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews +;; Portions © Copyright 2015-2017 Clément Pit-Claudel + ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others + ;; License: GPL (GNU GENERAL PUBLIC LICENSE) -;; -;; $Id$ - ;; + ;;; Commentary: ;; ;; Some configuration of Emacs Lisp mode for developing PG, not needed @@ -19,7 +26,7 @@ (eval-when-compile (require 'cl)) -(eval-when (compile) +(eval-when-compile (require 'proof-site)) (with-no-warnings @@ -101,13 +108,13 @@ '(proof-splash pg-assoc pg-xml proof-depends proof-indent proof-site proof-shell proof-menu pg-pbrpm pg-pgip proof-script proof-autoloads pg-response pg-goals proof-toolbar - proof-easy-config proof-config proof-mmm proof + proof-easy-config proof-config proof proof-utils proof-syntax pg-user pg-custom proof-maths-menu proof-unicode-tokens pg-thymodes pg-autotest ;; isar-syntax isar-find-theorems isar-unicode-tokens - isar-autotest interface-setup isabelle-system isar isar-mmm + isar-autotest interface-setup isabelle-system isar isar-keywords ;; coq-abbrev coq-db coq-unicode-tokens coq-local-vars coq coq-syntax @@ -123,7 +130,7 @@ ;;;###autoload (defun profile-pg () - "Configure Proof General for profiling. Use M-x elp-results to see results." + "Configure Proof General for profiling. Use \\[elp-results] to see results." (interactive) (elp-instrument-package "proof-") (elp-instrument-package "pg-") @@ -135,10 +142,10 @@ (elp-instrument-package "replace-") ; for replace-regexp etc (elp-instrument-package "re-search-") ; for re-search-forwad etc (elp-instrument-package "skip-chars-") ; for skip chars etc - (elp-instrument-list + (elp-instrument-list '(string-match match-string re-search-forward re-search-backward skip-chars-forward skip-chars-backward - goto-char insert + goto-char insert set-marker marker-position nreverse nconc mapc member @@ -146,7 +153,7 @@ sit-for overlay-put overlay-start overlay-end make-overlay buffer-live-p kill-buffer - process-status get-buffer-process + process-status get-buffer-process delete-overlay move-overlay accept-process-output)) (elp-instrument-package "font-lock")) |