diff options
| author | tonio <tonio@pkgsrc.org> | 2006-01-27 19:22:58 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2006-01-27 19:22:58 +0000 |
| commit | 29cccc8d1f948ea9066914bf93c42000c32e3071 (patch) | |
| tree | e400dfef14d6bbe81eb4330eb0f505746782947a /lang/gb | |
| parent | 2e37af1ce7be57e048f1c09f7638c62fed3f16f9 (diff) | |
| download | pkgsrc-29cccc8d1f948ea9066914bf93c42000c32e3071.tar.gz | |
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...
Diffstat (limited to 'lang/gb')
0 files changed, 0 insertions, 0 deletions