d5b5fb65e4
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...
6 lines
295 B
Text
6 lines
295 B
Text
$NetBSD: distinfo,v 1.5 2006/01/27 19:22:58 tonio Exp $
|
|
|
|
SHA1 (coq-8.0pl3.tar.gz) = b182f25b8e6591139281f7078d049aaa7f0408d8
|
|
RMD160 (coq-8.0pl3.tar.gz) = 925a65fdd0c96f4fe6082bc7bfb8483c83b5fea7
|
|
Size (coq-8.0pl3.tar.gz) = 2309002 bytes
|
|
SHA1 (patch-aa) = 2ef8be34bd9c77229ef9a2a6e5d04891d7e159da
|