Commit graph

9 commits

Author SHA1 Message Date
Martin Wilke
3281c9daf4 - Fix a segfault on startup
- While here trim header

PR:		ports/173446
Submitted by:	Imre Vadasz <imre@vdsz.com>
Approved by:	maintainer
2013-02-08 08:24:18 +00:00
Sunpoet Po-Chuan Hsieh
e256a5e6f8 - Update to 5.4
- Revive amd64 build

Changes:	http://www.polyml.org/docs/ReleaseNotes.html
PR:		ports/151476
Submitted by:	sunpoet (myself)
Approved by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer), pgollucci (mentor, implicit)
2010-10-16 09:13:03 +00:00
Li-Wen Hsu
5a56867b69 - Update to 5.3
- Add copyright information

PR:		ports/149735
Submitted by:	Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)
2010-08-22 01:26:48 +00:00
Yi-Jheng Lin
97460aabb1 - Update to 5.2.1
PR:		ports/139735
Submitted by:	Timothy Bourke <timbob AT bigpond.com> (maintainer)
Approved by:	rafan (co-mentor)
2009-10-20 15:38:47 +00:00
Edwin Groothuis
718c5ef4c5 [MAINTAINER] lang/polyml: 5.1 -> 5.2
PR:		ports/126068
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2008-08-15 00:42:08 +00:00
Rong-En Fan
64c804e4a6 - Fix build with gcc 4
Submitted by:	Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-05 05:18:58 +00:00
Martin Wilke
34db86fe80 - Remove patchset (forget in last commit)
Submitted by: pointyhat and maintainer
2007-03-11 10:30:13 +00:00
Marcus Alves Grando
f2eb9abe36 - Update to 4.2.0
- Is not RESTRICTED anymore

PR:		94667
Submitted by:	maintainer
2006-03-29 14:05:30 +00:00
Simon Barner
fbc1517ea7 Add polyml 4.1.3, a fast open-source implementation of Standard ML.
PR:		83433
Submitted by:	Timothy Bourke <timbob@bigpond.com>
2005-07-29 07:19:56 +00:00