cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj patch-src-HOL-Tools-atp_manager.ML patch-src-HOL-Tools-atp_wrapper.ML patch-src-HOL-Tools-int_arith.ML patch-src-HOL-Tools-int_factor_simprocs.ML patch-src-HOL-Tools-nat_simprocs.ML

[Max Brazhnikov]

makc        2010-10-30 18:34:26 UTC

  FreeBSD ports repository

  Modified files:
    math/isabelle        Makefile distinfo pkg-plist 
    math/isabelle/files  patch-etc-settings 
  Removed files:
    math/isabelle/files  patch-lib-scripts-run_smlnj 
                         patch-src-HOL-Tools-atp_manager.ML 
                         patch-src-HOL-Tools-atp_wrapper.ML 
                         patch-src-HOL-Tools-int_arith.ML 
                         patch-src-HOL-Tools-int_factor_simprocs.ML 
                         patch-src-HOL-Tools-nat_simprocs.ML 
  Log:
  Update to 2009.2
  
  PR:             ports/149736
  Submitted by:   Timothy Beyer (maintainer)
  
  Revision  Changes      Path
  1.16      +24 -19      ports/math/isabelle/Makefile
  1.7       +4 -9        ports/math/isabelle/distinfo
  1.7       +35 -80      ports/math/isabelle/files/patch-etc-settings
  1.5       +0 -25       ports/math/isabelle/files/patch-lib-scripts-run_smlnj (dead)
  1.2       +0 -15       ports/math/isabelle/files/patch-src-HOL-Tools-atp_manager.ML (dead)
  1.2       +0 -18       ports/math/isabelle/files/patch-src-HOL-Tools-atp_wrapper.ML (dead)
  1.2       +0 -29       ports/math/isabelle/files/patch-src-HOL-Tools-int_arith.ML (dead)
  1.2       +0 -65       ports/math/isabelle/files/patch-src-HOL-Tools-int_factor_simprocs.ML (dead)
  1.2       +0 -83       ports/math/isabelle/files/patch-src-HOL-Tools-nat_simprocs.ML (dead)
  1.9       +3832 -2836  ports/math/isabelle/pkg-plist