| 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 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 | 1 | -0/+49 |
| 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 | |||||
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |