5 commits

Author	SHA1	Message	Date
Gabor Kovesdan	42542fb076	- Remove the DESTDIR modifications from individual ports as we have a new, ... fully chrooted DESTDIR, which does not need such any more. Sponsored by: Google Summer of Code 2007 Approved by: portmgr (pav)	2007-08-04 11:41:30 +00:00
Florent Thoumie	d4f0d0048a	- Welcome X.org 7.2 \o/. ... - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.	2007-05-19 20:36:56 +00:00
Mark Linimon	784eab2ac6	Switch to using new files Mk/bsd.ocaml.mk [1] and Mk/bsd.xfce.mk [2]. ... PR: 101029 [1], 108862 [2] Submitted by: Stanislav Sedov <ssedov at mbsd dot msk dot ru> [1], oliver [2]	2007-03-14 04:12:32 +00:00
Stanislav Sedov	f96e73a4ee	- Update to 1.0.7 ... - Change my email	2006-12-09 11:51:22 +00:00
Martin Wilke	9167338b4d	IMP is a monadic style implementation of the semantics of the (very simple) ... language IMP, "plain" the implementation with explicit passing of state. The semantics of the IMP-language is presented in the book: "The Formal Semantics of Programming Languages" by Glynn Winskel (1993, The MIT Press). for more details on monads, see Philip Wadler's page on: http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads Author: Markus Mottl <markus.mottl@gmail.com> WWW: http://www.ocaml.info/home/ocaml_sources.html PR: ports/102103 Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru> Approved by: krion (mentor)	2006-08-17 21:16:30 +00:00