2 Commits

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