diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2007-09-10 12:11:09 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2007-09-10 12:11:09 +0000 |
| commit | ecaabb26ca19a0cc4a59d5856dbc23f6d3ca473d (patch) | |
| tree | 29bba12527d6a55fc152faf44e455a2b9e3a34b4 /README | |
| parent | - Fix breakage with the rootcerts install step. (diff) | |
Update port: math/isabelle
Update to Isabelle port:
* Works with updated sml-nj-devel port.
* Does not require bash
Thanks to Johannes 5 Joemann for helpful comments/patches.
PR: ports/116046
Submitted by: Timothy Bourke <timbob@bigpond.com>
Notes
Notes:
svn path=/head/; revision=199261
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions