aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
ModeNameSize
-rw-r--r--ProofGeneral.desktop178logplain
-rw-r--r--ProofGeneral.menu215logplain
-rw-r--r--ProofGeneral.spec2695logplain
-rw-r--r--README1047logplain
-rw-r--r--TESTS2602logplain
d---------coq586logplain
-rw-r--r--cvs-tips.txt2790logplain
d---------demoisa162logplain
d---------desktop197logplain
-rw-r--r--development-tips.txt1993logplain
d---------emacsbugs48logplain
d---------isar1757logplain
d---------lego276logplain
-rw-r--r--mmm-install286logplain
-rw-r--r--profiling.txt426logplain
-rw-r--r--proofgeneral-domain.txt750logplain
d---------proviola238logplain
d---------testsuite81logplain
d---------trac383logplain