aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
ModeNameSize
-rw-r--r--.cvsignore801logplain
-rw-r--r--Makefile805logplain
-rw-r--r--Makefile.doc4558logplain
-rw-r--r--PG-adapting.texi165954logplain
-rw-r--r--ProofGeneral.jpg12002logplain
-rw-r--r--ProofGeneral.texi181053logplain
-rw-r--r--README.documentation1227logplain
-rw-r--r--dir718logplain
-rw-r--r--docstring-magic.el2211logplain
-rw-r--r--proofgeneral.11474logplain