diff options
| author | Chin-San Huang <chinsan@FreeBSD.org> | 2007-10-25 17:35:53 +0000 |
|---|---|---|
| committer | Chin-San Huang <chinsan@FreeBSD.org> | 2007-10-25 17:35:53 +0000 |
| commit | 7366ccfa2284ab413ad91b42367a73ba0ecba3a9 (patch) | |
| tree | ea88cf35ca8d13fd775d62cf4465534423a53547 /math/proofgeneral | |
| parent | - Update to 1.3.5 (diff) | |
- Update to 0.19
Notes
Notes:
svn path=/head/; revision=202007
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions