diff options
| author | dinoex <dinoex@FreeBSD.org> | 2009-07-29 18:06:59 +0800 |
|---|---|---|
| committer | dinoex <dinoex@FreeBSD.org> | 2009-07-29 18:06:59 +0800 |
| commit | 77c8502971759ac0cd80e6f2b7cfe52950aade70 (patch) | |
| tree | 56d76bae0a61ad5e4a4c0bb120c27e5810a485e2 /math/proofgeneral | |
| parent | ccf56ece643ec4e23dc03c5a5766219d39db5b21 (diff) | |
| download | freebsd-ports-gnome-77c8502971759ac0cd80e6f2b7cfe52950aade70.tar.gz freebsd-ports-gnome-77c8502971759ac0cd80e6f2b7cfe52950aade70.tar.zst freebsd-ports-gnome-77c8502971759ac0cd80e6f2b7cfe52950aade70.zip | |
- udpate to 0.9
Diffstat (limited to 'math/proofgeneral')
0 files changed, 0 insertions, 0 deletions