ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	- Remove the DESTDIR modifications from individual ports as we have a new,	Gabor Kovesdan	2007-08-04	1	-1/+1
\| \| \| \| \| \| \| \| \| \|	fully chrooted DESTDIR, which does not need such any more. Sponsored by: Google Summer of Code 2007 Approved by: portmgr (pav) Notes: svn path=/head/; revision=197075
*	- Welcome X.org 7.2 \o/.	Florent Thoumie	2007-05-19	1	-0/+1
\| \| \| \| \| \| \| \|	- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
*	Switch to using new files Mk/bsd.ocaml.mk [1] and Mk/bsd.xfce.mk [2].	Mark Linimon	2007-03-14	1	-1/+0
\| \| \| \| \| \| \| \| \|	PR: 101029 [1], 108862 [2] Submitted by: Stanislav Sedov <ssedov at mbsd dot msk dot ru> [1], oliver [2] Notes: svn path=/head/; revision=187350
*	- Update to 1.0.7	Stanislav Sedov	2006-12-09	2	-5/+5
\| \| \| \| \| \| \|	- Change my email Notes: svn path=/head/; revision=179285
*	IMP is a monadic style implementation of the semantics of the (very simple)	Martin Wilke	2006-08-17	3	-0/+60
	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) Notes: svn path=/head/; revision=170912