cvs commit: ports/math Makefile ports/math/isabelle Makefile distinfo pkg-descr pkg-install pkg-plist ports/math/isabelle/files Makefile badmaxdsiz patch-etc-settings patch-lib-Tools-doc

[Simon Barner]

barner      2005-09-01 10:03:58 UTC

  FreeBSD ports repository

  Modified files:
    math                 Makefile 
  Added files:
    math/isabelle        Makefile distinfo pkg-descr pkg-install 
                         pkg-plist 
    math/isabelle/files  Makefile badmaxdsiz patch-etc-settings 
                         patch-lib-Tools-doc 
  Log:
  Add isabelle 2004, a generic proof assistant.
  
  PR:             84859
  Submitted by:   Timothy Bourke <timbob at bigpond.com>
  
  Revision  Changes    Path
  1.341     +1 -0      ports/math/Makefile
  1.1       +91 -0     ports/math/isabelle/Makefile (new)
  1.1       +6 -0      ports/math/isabelle/distinfo (new)
  1.1       +31 -0     ports/math/isabelle/files/Makefile (new)
  1.1       +18 -0     ports/math/isabelle/files/badmaxdsiz (new)
  1.1       +122 -0    ports/math/isabelle/files/patch-etc-settings (new)
  1.1       +10 -0     ports/math/isabelle/files/patch-lib-Tools-doc (new)
  1.1       +20 -0     ports/math/isabelle/pkg-descr (new)
  1.1       +23 -0     ports/math/isabelle/pkg-install (new)
  1.1       +3855 -0   ports/math/isabelle/pkg-plist (new)