ports - FreeBSD ports tree

	Commit message (Collapse)	Author	Age	Files	Lines
*	- 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
*	- Updated email address in my ports	Nicola Vitale	2006-12-10	1	-1/+1
\| \| \| \| \| \| \|	Approved by: alexbl (mentor) Notes: svn path=/head/; revision=179349
*	- Remove email address from pkg-descr (as required by the Author)	Cheng-Lung Sung	2006-05-11	1	-1/+1
\| \| \| \| \| \| \| \|	PR: ports/97138 Submitted by: maintainer (Nicola Vitale) Notes: svn path=/head/; revision=162083
*	Remove USE_REINPLACE from ports starting with M	Edwin Groothuis	2006-05-10	1	-1/+0
\| \| \| \|	Notes: svn path=/head/; revision=162032
*	[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter	Edwin Groothuis	2005-12-21	5	-0/+79
	PLMan, or Propositional LogicMan, is a user-friendly and powerful propositional logic (sometimes called sentential logic or propositional calculus) sentence shell/interpreter written in Java, capable of handling many existing propositional systems of propositional logic, especially the important ones. Author: Takayuki Hoshi <hoshi103@chapman.edu> WWW: http://plman.sourceforge.net/ PR: ports/90277 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=151700