diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:19:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:19:58 +0000 |
| commit | 4837c47973316f5b08912ace1646d8251073670f (patch) | |
| tree | 9397cf3e5b3ea1a30abb09f3d70396606307b12b /doc/proofgeneral.1 | |
| parent | 06853fbac70a8b67a347243543bf2f8f4f718a18 (diff) | |
Tweaks to building tar file to include correct files. Remove golive from fakerelease
Diffstat (limited to 'doc/proofgeneral.1')
0 files changed, 0 insertions, 0 deletions