diff options
| author | Jase Thew <jase@FreeBSD.org> | 2012-09-04 16:11:37 +0000 |
|---|---|---|
| committer | Jase Thew <jase@FreeBSD.org> | 2012-09-04 16:11:37 +0000 |
| commit | 3747609db02586dee533eb5c4708d2d4b59ee2d7 (patch) | |
| tree | e6b72caf33411b7515929efa436c804a58be2187 /math/proofgeneral | |
| parent | - Update to 20120903 (0.3.9-rc1) (diff) | |
- Update to 3.4
PR: ports/171222
Submitted by: James Bailie <jimmy@mammothcheese.ca> (maintainer)
Approved by: flo (mentor)
Notes
Notes:
svn path=/head/; revision=303662
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions