View | Details | Raw Unified | Return to bug 97138
Collapse All | Expand All

(-)/usr/ports/math/plman.rm_email_address/pkg-descr (-1 / +1 lines)
Lines 4-8 Link Here
4 
capable of handling many existing propositional systems of
 4 
capable of handling many existing propositional systems of
5 
propositional logic, especially the important ones.
 5 
propositional logic, especially the important ones.
6 

          6
          

        

          
            

              7
              
Author:	Takayuki Hoshi <hoshi103@chapman.edu>


              7
              
Author:	Takayuki Hoshi

            

        

          8
          
WWW:	http://plman.sourceforge.net/

          8
          
WWW:	http://plman.sourceforge.net/

        






  

  Return to bug 97138