5 Commits

Author	SHA1	Message	Date
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
Nicola Vitale	bd6fa393f8	- Updated email address in my ports ... Approved by: alexbl (mentor)	2006-12-10 01:21:51 +00:00
Cheng-Lung Sung	6791f9ded8	- Remove email address from pkg-descr (as required by the Author) ... PR: ports/97138 Submitted by: maintainer (Nicola Vitale)	2006-05-11 14:03:12 +00:00
Edwin Groothuis	efe7d5f7f4	Remove USE_REINPLACE from ports starting with M	2006-05-10 22:37:39 +00:00
Edwin Groothuis	7902abf653	[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter ... 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>	2005-12-21 04:10:09 +00:00