index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
Mode
Name
Size
d---------
Mailman
310
log
plain
-rw-r--r--
ProofGeneral.desktop
153
log
plain
-rw-r--r--
ProofGeneral.menu
215
log
plain
-rw-r--r--
ProofGeneral.spec
4223
log
plain
-rw-r--r--
README
1004
log
plain
-rw-r--r--
README.devel
3375
log
plain
-rw-r--r--
TESTS
2602
log
plain
-rw-r--r--
announce
2641
log
plain
-rw-r--r--
announce-header.txt
854
log
plain
-rw-r--r--
bug-notes.txt
724
log
plain
d---------
coq
303
log
plain
-rw-r--r--
cvs-tips.txt
2790
log
plain
-rw-r--r--
debugging-tips.txt
2257
log
plain
d---------
demoisa
162
log
plain
d---------
desktop
197
log
plain
-rw-r--r--
development-tips.txt
155
log
plain
-rw-r--r--
doc-notes.txt
5968
log
plain
d---------
isa
435
log
plain
d---------
isar
835
log
plain
d---------
lego
276
log
plain
-rw-r--r--
mmm-install
286
log
plain
d---------
patches
123
log
plain
d---------
pgkit
80
log
plain
-rw-r--r--
profiling.txt
23785
log
plain
-rw-r--r--
proofgeneral-domain.txt
750
log
plain
-rw-r--r--
release-log.txt
2327
log
plain
-rw-r--r--
screenshot-notes.txt
945
log
plain
-rw-r--r--
test-schedule.txt
274
log
plain
-rw-r--r--
testing-log.txt
4252
log
plain
d---------
testsuite
81
log
plain