cvs commit: ports/lang Makefile ports/lang/twelf Makefile distinfo pkg-descr pkg-plist ports/lang/twelf/files patch-Makefile patch-twelf.info

[Edwin Groothuis]

edwin       2005-11-26 12:49:47 UTC

  FreeBSD ports repository

  Modified files:
    lang                 Makefile 
  Added files:
    lang/twelf           Makefile distinfo pkg-descr pkg-plist 
    lang/twelf/files     patch-Makefile patch-twelf.info 
  Log:
  New port: lang/twelf A meta-logical framework for deductive systems
  
          The Twelf implementation comprises
           * the LF logical framework, including type reconstruction;
           * the Elf constraint logic programming language;
           * an inductive meta-theorem prover for LF;
           * and an Emacs interface.
  
  PR:             ports/84625
  Submitted by:   "Andrew Bernard" <andrew at hobnob.com>
  
  Revision  Changes    Path
  1.465     +1 -0      ports/lang/Makefile
  1.1       +29 -0     ports/lang/twelf/Makefile (new)
  1.1       +3 -0      ports/lang/twelf/distinfo (new)
  1.1       +85 -0     ports/lang/twelf/files/patch-Makefile (new)
  1.1       +13 -0     ports/lang/twelf/files/patch-twelf.info (new)
  1.1       +19 -0     ports/lang/twelf/pkg-descr (new)
  1.1       +454 -0    ports/lang/twelf/pkg-plist (new)