diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:13:33 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2008-04-04 12:13:33 +0000 |
| commit | 111ea77efccba867a6e4e248d81c4f1fe8131b4f (patch) | |
| tree | eb283e62e4097110094ffe21f071a1b940feb330 /math/isabelle/files/patch-build | |
| parent | - Update to 0.93, last that can be built with jikes (diff) | |
- Update to 3.7
PR: ports/120987
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Diffstat (limited to 'math/isabelle/files/patch-build')
0 files changed, 0 insertions, 0 deletions