diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 00:28:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 00:28:04 +0000 |
| commit | f09b2cdd23a8375d800b0933580dd56f8b58a31e (patch) | |
| tree | b37add8c3640f05d1d7daceb79adc3d98e991836 /lib/pg-dev.el | |
| parent | f8ebacbde74e679b1690acad8ece31c8f964a443 (diff) | |
Updated.
Diffstat (limited to 'lib/pg-dev.el')
| -rw-r--r-- | lib/pg-dev.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index d26be295..276a171a 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -76,7 +76,7 @@ '(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 pg-xhtml + proof-easy-config proof-config proof-mmm proof proof-utils proof-syntax pg-user pg-custom proof-x-symbol proof-maths-menu proof-unicode-tokens pg-thymodes pg-autotest |