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
48
log
plain
-rw-r--r--
.travis.yml
1100
log
plain
-rw-r--r--
AUTHORS
872
log
plain
-rw-r--r--
BUGS
4095
log
plain
-rw-r--r--
CHANGES
21765
log
plain
-rw-r--r--
COMPATIBILITY
1481
log
plain
-rw-r--r--
COPYING
17992
log
plain
-rw-r--r--
FAQ.md
11368
log
plain
-rw-r--r--
INSTALL
5740
log
plain
-rw-r--r--
Makefile
9765
log
plain
-rw-r--r--
Makefile.devel
19444
log
plain
-rw-r--r--
Makefile.travis
937
log
plain
-rw-r--r--
README.md
2123
log
plain
-rw-r--r--
REGISTER
406
log
plain
d---------
acl2
147
log
plain
d---------
ccc
68
log
plain
d---------
coq
876
log
plain
d---------
doc
460
log
plain
d---------
easycrypt
229
log
plain
d---------
etc
724
log
plain
d---------
generic
1375
log
plain
d---------
hol-light
474
log
plain
d---------
hol98
146
log
plain
d---------
images
1656
log
plain
d---------
isar
622
log
plain
d---------
lego
289
log
plain
d---------
lib
530
log
plain
d---------
obsolete
100
log
plain
-rw-r--r--
pg-init.el
2641
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
-rw-r--r--
proof-general-pkg.el
138
log
plain
d---------
twelf
190
log
plain