diff options
author | 2013-05-31 08:51:03 +0000 | |
---|---|---|
committer | 2013-05-31 08:51:03 +0000 | |
commit | ce565d6c639ed935aa881c011ca4c16230a7fdc1 (patch) | |
tree | 26d87421238ade14b20a7d39ec89f5fa9f5806bf /generic/proof-config.el | |
parent | 884f571b13a8279a1169d9f4acd7696b8cb8200b (diff) |
Documentation of ML4PG
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions