log

age author description
Sat, 07 Apr 2007 01:46:25 +0000 Richard M. Stallman Improve index entries. Remove redundant one.
Sat, 07 Apr 2007 01:45:55 +0000 Richard M. Stallman Improve index entry.
Fri, 06 Apr 2007 21:21:55 +0000 Alan Mackenzie Fix fontification of labels, and other things with ":".