index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
phox
/
.cvsignore
blob: 79f631e759162a55738e923edf2117a9178b3e4e (
plain
)
1
2
3
4
5
6
7
8
9
10
11
12
config config.dos *~ #*# *.o *.a *.cmo *.cmi *.cmx *.pho *.phi *.pht