index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.gitignore
45
log
plain
-rw-r--r--
.travis.yml
320
log
plain
-rw-r--r--
AUTHORS
705
log
plain
-rw-r--r--
BUGS
4095
log
plain
-rw-r--r--
CHANGES
18188
log
plain
-rw-r--r--
COMPATIBILITY
1485
log
plain
-rw-r--r--
COPYING
17992
log
plain
-rw-r--r--
FAQ
10865
log
plain
-rw-r--r--
INSTALL
5740
log
plain
-rw-r--r--
Makefile
9952
log
plain
-rw-r--r--
Makefile.devel
20725
log
plain
-rw-r--r--
Makefile.travis
889
log
plain
-rw-r--r--
README.md
1952
log
plain
-rw-r--r--
REGISTER
406
log
plain
-rw-r--r--
TAGS
131571
log
plain
d---------
acl2
147
log
plain
d---------
bin
40
log
plain
d---------
ccc
68
log
plain
d---------
contrib
62
log
plain
d---------
coq
903
log
plain
d---------
doc
460
log
plain
d---------
etc
763
log
plain
d---------
generic
1415
log
plain
d---------
hol-light
474
log
plain
d---------
hol98
146
log
plain
d---------
images
1656
log
plain
d---------
isar
661
log
plain
d---------
lego
289
log
plain
d---------
lib
530
log
plain
d---------
obsolete
100
log
plain
d---------
pghaskell
40
log
plain
d---------
pgocaml
38
log
plain
d---------
pgshell
112
log
plain
d---------
phox
564
log
plain
d---------
previous-art
93
log
plain
d---------
twelf
190
log
plain