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-2006Q2

Revision 1.5 / (download) - annotate - [select for diffs], Fri Jan 27 19:22:58 2006 UTC (18 years, 2 months ago) by tonio
Branch: MAIN
CVS Tags: pkgsrc-2006Q4-base, pkgsrc-2006Q4, pkgsrc-2006Q3-base, pkgsrc-2006Q3, pkgsrc-2006Q2-base, pkgsrc-2006Q2, pkgsrc-2006Q1-base, pkgsrc-2006Q1
Changes since 1.4: +5 -5 lines
Diff to previous 1.4 (colored)

Update lang/coq to 8.0pl3

Changelog:
- Coq sources made compatible with ocaml 3.09.0 and lablgtk 2.6.0.
- The search depth argument of auto can be parameterised in the Ltac language
- Added entry constr_may_eval for tactic extensions (new syntax)
- A couple of lemmas of ZArith were renamed: O -> 0
- many bugfixes, for extraction, Ltac, tactics...

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.