diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2008-10-23 22:12:02 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2008-10-23 22:12:02 +0800 |
| commit | b1b4e635574dcd6d338db5e2c4d7ce89e3d16175 (patch) | |
| tree | b4b392aeffd0cbb8276b1069b7e0a8a50137b98a /math/isabelle | |
| parent | 2683727eb0d538dae765e4247752ddccd0387cc5 (diff) | |
| download | freebsd-ports-gnome-b1b4e635574dcd6d338db5e2c4d7ce89e3d16175.tar.gz freebsd-ports-gnome-b1b4e635574dcd6d338db5e2c4d7ce89e3d16175.tar.zst freebsd-ports-gnome-b1b4e635574dcd6d338db5e2c4d7ce89e3d16175.zip | |
- Update to 0.710.08
PR: 127238
Submitted by: Simun Mikecin <numisemis at yahoo dot com>
Approved by: maintainer timeout
Diffstat (limited to 'math/isabelle')
0 files changed, 0 insertions, 0 deletions