diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:16:18 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:16:18 +0000 |
commit | 41e9a3ab9442637ed77b4d33525fe451ad8e1472 (patch) | |
tree | b61c7b859cb447b6a9e485db8649de8aac8ace13 /generic/pg-goals.el | |
parent | c6dc09f3633aa500c6f0d2924f5effd5e734d8ac (diff) |
Adjust default prover configurations. Add new entry points.
Diffstat (limited to 'generic/pg-goals.el')
0 files changed, 0 insertions, 0 deletions