CVS log for pkgsrc/lang/coq/distinfo

Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

Request diff between arbitrary revisions

Default branch: MAIN
Current tag: pkgsrc-2013Q1-base

Revision 1.15 / (download) - annotate - [select for diffs], Tue Jan 22 15:32:03 2013 UTC (11 years, 2 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2013Q1-base, pkgsrc-2013Q1
Changes since 1.14: +4 -6 lines
Diff to previous 1.14 (colored)

Updated lang/coq to the newest version, 8.4pl1. Changes include:

Bug fixes

- Solved bugs :
  #2851 #2863 #2865 #2893 #2895 #2892 #2905 #2906 #2907 #2917 #2921
  #2930 #2941 #2878
- Partially fixed bug : #2904
- Various fixes concerning coq_makefile

Optimizations

- "Union by rank" optimization for universes contributed by J.H. Jourdan
  and G. Sherrer (see union-find-and-coq-universes on gagallium blog).

Libraries

- Internal organisation of some modular libraries have slightly changed
  due to bug #2904 (GenericMinMax, OrdersTac)
- No more constant "int" in ZArith/Int.v to avoid name clash with OCaml
  (cf bug #2878).

Coqide

- Improved shutdown of coqtop processes spawned by coqide
  (in particular added a missing close_on_exec primitive before forking).
- On windows, launching coqide with the -debug option now produces
  a log file in the user's temporary directory. The location of this
  log file is displayed in the "About" message.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.