cvs commit: ports/math Makefile ports/math/plman Makefile distinfo pkg-descr pkg-plist ports/math/plman/files patch-bin-plman

[Edwin Groothuis]

edwin       2005-12-21 04:10:09 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/plman           Makefile distinfo pkg-descr pkg-plist 
    math/plman/files     patch-bin-plman 
  Log:
  [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 at chapman.edu>
          WWW:    http://plman.sourceforge.net/
  
  PR:             ports/90277
  Submitted by:   Nicola Vitale <nivit at email.it>
  
  Revision  Changes    Path
  1.349     +1 -0      ports/math/Makefile
  1.1       +49 -0     ports/math/plman/Makefile (new)
  1.1       +3 -0      ports/math/plman/distinfo (new)
  1.1       +11 -0     ports/math/plman/files/patch-bin-plman (new)
  1.1       +8 -0      ports/math/plman/pkg-descr (new)
  1.1       +8 -0      ports/math/plman/pkg-plist (new)