aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
ModeNameSize
-rw-r--r--.cvsignore415logplain
-rw-r--r--Makefile3515logplain
-rw-r--r--ProofGeneral.eps.gz1646905logplain
-rw-r--r--ProofGeneral.jpg12002logplain
-rw-r--r--ProofGeneral.texi154204logplain
-rw-r--r--README1215logplain
-rw-r--r--dir634logplain
-rw-r--r--docstring-magic.el806logplain
-rw-r--r--localdir85logplain
-rw-r--r--notes.txt5968logplain