From 89ee0755cc0c50c6231382fb8cc4f47f39f0c103 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 11:03:48 +0000
Subject: Updated

---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES b/CHANGES
index c2ae629b..a7567eaf 100644
--- a/CHANGES
+++ b/CHANGES
@@ -66,6 +66,14 @@
 
 ** Changes for developers to note
 
+*** Rearrangement of elisp files and loading mechanism.
+    
+      Autoloads in proof-autoloads.el are generated from
+      ;;;###autoload comments with `make devel.autoloads'
+
+      Several new files, to "modularize" the code a bit more.
+      
+
 *** No need for match string 1 in proof-shell-proof-completed
 
 *** Changed buffer mode name: pbp-mode -> proof-goals-mode, for uniformity.
-- 
cgit v1.2.3