Bug 139737

Summary: [MAINTAINER] math/isabelle: update to 2009
Product: Ports & Packages Reporter: Timothy Bourke <timbob>
Component: Individual Port(s)Assignee: Martin Wilke <miwi>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
isabelle-2009.patch none

Description Timothy Bourke 2009-10-18 23:00:16 UTC 
- Update to 2009

Added file(s):
- files/patch-src-HOL-Tools-atp_manager.ML
- files/patch-src-HOL-Tools-atp_wrapper.ML
- files/patch-src-HOL-Tools-int_arith.ML
- files/patch-src-HOL-Tools-int_factor_simprocs.ML
- files/patch-src-HOL-Tools-nat_simprocs.ML

Generated with FreeBSD Port Tools 0.99
Comment 1 Martin Wilke freebsd_committer freebsd_triage 2009-10-19 09:39:50 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->miwi

I'll take it.
Comment 2 Martin Wilke freebsd_committer freebsd_triage 2009-10-29 22:23:30 UTC 
State Changed
From-To: open->closed

Committed. Thanks!
Comment 3 dfilter service freebsd_committer freebsd_triage 2009-10-29 22:23:43 UTC 
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@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
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"