09:39 antoine 

Cleanup plist

 

23:40 bapt 

Fix properties on pkg-plist

 

04:10 edwin 

[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>