aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--INSTALL2073logplain
-rw-r--r--coq-fontlock.el5188logplain
-rw-r--r--coq.el21505logplain
-rw-r--r--coqtags1593logplain
-rw-r--r--lego-fontlock.el3721logplain
-rw-r--r--lego.el23636logplain
-rw-r--r--legotags2178logplain
-rw-r--r--pbp.el16logplain
-rw-r--r--proof-dependencies-emacs19.el8315logplain
-rw-r--r--proof-dependencies-xemacs.el6050logplain
-rw-r--r--proof-fontlock.el4187logplain
-rw-r--r--proof.el61187logplain
-rw-r--r--script-management.info14673logplain
-rw-r--r--script-management.texinfo14536logplain
-rw-r--r--todo3914logplain
d---------x-symbol62logplain