1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-27 21:29:02 +00:00
Commit Graph

4 Commits

Author SHA1 Message Date
Steve Price
d23e804a48 Update to version 2.02.
PR:		10718
Submitted by:	Daniel Ortmann <ortmann@sparc.isl.net>
1999-03-24 17:52:28 +00:00
Steve Price
d394306673 Update to version 1.07.
PR:		5252, 5375
Submitted by:	maintainer
1998-02-21 15:49:46 +00:00
Thomas Gellekum
7a9d7874de Install reference manuals.
PR:		4667
Submitted by:	Ian Vaudrey <i.vaudrey@cableinet.co.uk>
1997-11-18 12:31:09 +00:00
Satoshi Asami
378a074c28 Objective Caml.
Submitted by:	(Kiriyama Kazuhiko) <kiri@kiri.toba-cmt.ac.jp>
1997-01-03 11:25:47 +00:00