diff options
| author | David Aspinall | 2004-08-25 11:52:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 11:52:16 +0000 |
| commit | a0fe094b925e5a38c48137e3b35b88f191460cdd (patch) | |
| tree | c6bab93bb32010d56682b26c5d0fb411163454b4 /FAQ | |
| parent | 646a53c46063e2af83293e1351a8dd55fa986141 (diff) | |
Add lib/ to load-path. Define proof-general-short-version.
Move architecture flags to proof-compat
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions