aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
ModeNameSize
-rw-r--r--.gitignore817logplain
-rw-r--r--Makefile811logplain
-rw-r--r--Makefile.doc2675logplain
-rw-r--r--PG-adapting.texi195097logplain
-rw-r--r--ProofGeneral-image.jpg36953logplain
-rw-r--r--ProofGeneral.texi240151logplain
-rw-r--r--README.documentation1233logplain
-rw-r--r--dir718logplain
-rw-r--r--docstring-magic.el2632logplain
-rw-r--r--proofgen.css2604logplain
-rw-r--r--proofgeneral.11474logplain