From f09b2cdd23a8375d800b0933580dd56f8b58a31e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 30 Jan 2008 00:28:04 +0000 Subject: Updated. --- lib/pg-dev.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/pg-dev.el') 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 -- cgit v1.2.3