index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Mode
Name
Size
-rw-r--r--
README
393
log
plain
-rw-r--r--
_pkg.el
92
log
plain
-rw-r--r--
pg-metadata.el
3329
log
plain
-rw-r--r--
pg-pgip.el
3533
log
plain
-rw-r--r--
pg-user.el
30247
log
plain
-rw-r--r--
pg-xml.el
7920
log
plain
-rw-r--r--
proof-autoloads.el
7791
log
plain
-rw-r--r--
proof-compat.el
9159
log
plain
-rw-r--r--
proof-config.el
86513
log
plain
-rw-r--r--
proof-depends.el
7174
log
plain
-rw-r--r--
proof-easy-config.el
3306
log
plain
-rw-r--r--
proof-indent.el
3422
log
plain
-rw-r--r--
proof-menu.el
21501
log
plain
-rw-r--r--
proof-script.el
103139
log
plain
-rw-r--r--
proof-shell.el
85297
log
plain
-rw-r--r--
proof-site.el
13207
log
plain
-rw-r--r--
proof-splash.el
9214
log
plain
-rw-r--r--
proof-syntax.el
9585
log
plain
-rw-r--r--
proof-system.el
574
log
plain
-rw-r--r--
proof-toolbar.el
14368
log
plain
-rw-r--r--
proof-utils.el
26436
log
plain
-rw-r--r--
proof-x-symbol.el
12878
log
plain
-rw-r--r--
proof.el
3680
log
plain
-rw-r--r--
span-extent.el
3577
log
plain
-rw-r--r--
span-overlay.el
10093
log
plain
-rw-r--r--
span.el
524
log
plain
-rw-r--r--
texi-docstring-magic.el
13522
log
plain