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

[Martin Wilke]

miwi        2009-10-29 22:23:28 UTC

  FreeBSD ports repository

  Modified files:
    math/isabelle        Makefile distinfo pkg-plist 
    math/isabelle/files  patch-etc-settings 
                         patch-lib-scripts-run_smlnj 
  Added files:
    math/isabelle/files  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
  
  PR:             139737
  Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)
  
  Revision  Changes     Path
  1.11      +35 -56     ports/math/isabelle/Makefile
  1.6       +9 -9       ports/math/isabelle/distinfo
  1.6       +71 -53     ports/math/isabelle/files/patch-etc-settings
  1.4       +4 -4       ports/math/isabelle/files/patch-lib-scripts-run_smlnj
  1.1       +15 -0      ports/math/isabelle/files/patch-src-HOL-Tools-atp_manager.ML (new)
  1.1       +18 -0      ports/math/isabelle/files/patch-src-HOL-Tools-atp_wrapper.ML (new)
  1.1       +29 -0      ports/math/isabelle/files/patch-src-HOL-Tools-int_arith.ML (new)
  1.1       +65 -0      ports/math/isabelle/files/patch-src-HOL-Tools-int_factor_simprocs.ML (new)
  1.1       +83 -0      ports/math/isabelle/files/patch-src-HOL-Tools-nat_simprocs.ML (new)
  1.8       +1315 -551  ports/math/isabelle/pkg-plist