3 Commits

Author	SHA1	Message	Date
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