index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
ML4PG
/
libs
/
ssreflect
/
jvm
/
m1_names
blob: b4b885f6cea7efd34f474d2545f2c383dfc1d64d (
plain
)
1
2
3
1 step_opener 2 run_app 3 run_opener