aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
ModeNameSize
-rw-r--r--ProofGeneral.patch1291logplain
-rw-r--r--ProofGeneral.spec2986logplain
-rw-r--r--README678logplain
-rw-r--r--TESTS2107logplain
-rw-r--r--announce5214logplain
d---------coq76logplain
-rw-r--r--debugging-tips.txt379logplain
d---------demoisa162logplain
-rw-r--r--doc-notes.txt5968logplain
d---------isa237logplain
d---------isar / multiple35logplain
-rw-r--r--junk.el4995logplain
d---------lego205logplain
-rw-r--r--notes.txt454logplain
d---------patches62logplain
-rw-r--r--profiling.txt23650logplain
-rw-r--r--release-log.txt273logplain
-rw-r--r--testing-log.txt3610logplain