FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
plman Propositional Logic sentence shell/interpreter
2.5.1_2 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: nivit@FreeBSD.org search for ports maintained by this maintainer
Port Added: 21 Dec 2005 04:10:59
Also Listed In: java
License: not specified in port
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.

WWW: http://plman.sourceforge.net/
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Runtime dependencies:
  1. java : java/openjdk7
There are no ports dependent upon this port

To install the port: cd /usr/ports/math/plman/ && make install clean
To add the package: pkg install math/plman


Configuration Options
===> The following configuration options are available for plman-2.5.1_2:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

USES:
zip

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://nivi.interfree.it/distfiles/plman.sourceforge.net/
  3. http://plman.sourceforge.net/dist/

Number of commits found: 19

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
22 May 2015 20:34:29
Original commit files touched by this commit  2.5.1_2
Revision:387082
mat search for other commits by this committer
Remove $FreeBSD$ from patches files everywhere.

With hat:	portmgr
Sponsored by:	Absolight
02 Mar 2015 23:31:10
Original commit files touched by this commit  2.5.1_2
Revision:380306
bapt search for other commits by this committer
Remove Author from pkg-descr and white space fixes
23 Jan 2015 16:03:58
Original commit files touched by this commit  2.5.1_2
Revision:377747
antoine search for other commits by this committer
Remove explicit dependency on javavmwrapper for ports that USE_JAVA
14 Nov 2014 09:39:21
Original commit files touched by this commit  2.5.1_2
Revision:372555
antoine search for other commits by this committer
Cleanup plist
07 Jul 2014 15:31:02
Original commit files touched by this commit  2.5.1_2
Revision:361099
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Category M.

CR:		D306
Approved by:	portmgr (bapt)
04 Jul 2014 00:52:40
Original commit files touched by this commit  2.5.1_2
Revision:360499  Sanity Test Failure
adamw search for other commits by this committer
Remove NOPORTDOCS and NOPORTEXAMPLES.

Approved by:	portmgr (blanket)
19 Jun 2014 08:41:34
Original commit files touched by this commit  2.5.1_2
Revision:358365
vanilla search for other commits by this committer
Stagify.

Approved by:	portmgr@
10 Mar 2014 16:25:34
Original commit files touched by this commit  2.5.1_2
Revision:347776
bapt search for other commits by this committer
Convert m* to USES=zip
21 Jan 2014 23:40:23
Original commit files touched by this commit  2.5.1_2
Revision:340674
bapt search for other commits by this committer
Fix properties on pkg-plist
20 Sep 2013 20:55:06
Original commit files touched by this commit  2.5.1_2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
10 Dec 2012 13:43:44
Original commit files touched by this commit  2.5.1_2
Revision:308605
bapt search for other commits by this committer
Decommissioning java 1.5 (EOLed since October 2009):
suppress any reference to JAVA_VERSION=	1.5+ (part3)
21 Jul 2011 05:03:02
Original commit files touched by this commit  2.5.1_2
linimon search for other commits by this committer
Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,
remove support for them from bsd.java.mk.  As Jikes is not available in Java 1.5
or higher, remove it from bsd.java.mk too (suggested by hq@) and from the ports
which used it (only occurences were USE_JIKES=no).  Support for the Blackdown VM
is also removed, as it is not available in Java 1.5 and higher.

Also remove the mapping from Java 1.1-1.4 to Java 1.5+ in bsd.java.mk to detect
old, broken ports; therefore bump the minimal value of JAVA_VERSION to 1.5.
While here, replace static values of JAVA_VERSION in files/*.in by
%%JAVA_VERSION%% .

PR:             ports/158969
Submitted by:   rene
Tested on:      pointyhat-west -exp
20 Mar 2011 12:54:45
Original commit files touched by this commit  2.5.1_2
miwi search for other commits by this committer
- Get Rid MD5 support
06 Jun 2008 13:44:06
Original commit files touched by this commit  2.5.1_2
edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
19 May 2007 20:32:57
Original commit files touched by this commit  2.5.1_1
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
10 Dec 2006 01:21:51
Original commit files touched by this commit  2.5.1
nivit search for other commits by this committer
- Updated email address in my ports

Approved by:    alexbl (mentor)
11 May 2006 14:03:12
Original commit files touched by this commit  2.5.1
clsung search for other commits by this committer
- Remove email address from pkg-descr (as required by the Author)

PR:             ports/97138
Submitted by:   maintainer (Nicola Vitale)
10 May 2006 22:37:39
Original commit files touched by this commit  2.5.1
edwin search for other commits by this committer
Remove USE_REINPLACE from ports starting with M
21 Dec 2005 04:10:09
Original commit files touched by this commit  2.5.1
edwin search for other commits by this committer
[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>

Number of commits found: 19

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
graphvizAug 29
firefoxAug 28
firefox*Aug 28
firefox-esrAug 28
firefox-esr*Aug 28
libxul*Aug 28
linux-firefoxAug 28
linux-firefox*Aug 28
linux-seamonkey*Aug 28
linux-thunderbird*Aug 28
seamonkey*Aug 28
thunderbird*Aug 28
libpgf*Aug 26
goAug 25
go14Aug 25

27 vulnerabilities affecting 63 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 25179
Broken 195
Deprecated 42
Ignore 499
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 41
Expired 2
Set to expire 26
Interactive 0
new 24 hours 1
new 48 hours5
new 7 days15
new fortnight87
new month199

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.