Changes between Initial Version and Version 2 of Ticket #2033


Ignore:
Timestamp:
Mar 24, 2016, 2:36:18 PM (8 years ago)
Author:
ryandesign (Ryan Carsten Schmidt)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2033

    • Property Status changed from new to closed
    • Property Type changed from defect to update
    • Property Resolution changed from to fixed
    • Property Port coq added

  • Ticket #2033 – Description

    initial v2  
    33Here the update from 8.0beta to 8.0 :
    44
     5{{{
    56diff -u -r1.1 Portfile
    67--- Portfile    25 Feb 2004 16:44:42 -0000      1.1
    … …  
    2627 configure.args                 -emacslib ${prefix}/share/emacs/site-lisp/
    2728 depends_build  bin:ocamlc:ocaml
     29}}}