[Pkg-ocaml-maint-commits] r2668 - in /trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian: changelog control coq-doc-html.doc-base.rectutorial

[smimram at users.alioth.debian.org]

Author: smimram
Date: Wed May 10 16:43:50 2006
New Revision: 2668

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=2668
Log:
Fix a typo in doc-base.

Modified:
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control
    trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/changelog?rev=2668&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/changelog Wed May 10 16:43:50 2006
@@ -1,3 +1,11 @@
+coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low
+
+  * Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat),
+    closes: #366611.
+  * Updated standards version to 3.7.2, no changes needed.
+
+ -- Samuel Mimram <smimram at debian.org>  Wed, 10 May 2006 16:39:24 +0000
+
 coq-doc (8.0pl3+8.1alpha-1) experimental; urgency=low
 
   * The licensing issue is now solved. The new licence is OPL which is not

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/control?rev=2668&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/control Wed May 10 16:43:50 2006
@@ -2,7 +2,7 @@
 Section: non-free/doc
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
-Standards-Version: 3.6.2
+Standards-Version: 3.7.2
 Build-Depends: debhelper (>= 4.0.0), dpatch
 Build-Depends-Indep: tetex-bin, hevea (>= 1.05), coq (>= 8.0)
 

Modified: trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/branches/8.0pl3%2B8.1alpha/debian/coq-doc-html.doc-base.rectutorial?rev=2668&op=diff
==============================================================================
--- trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial (original)
+++ trunk/packages/coq-doc/branches/8.0pl3+8.1alpha/debian/coq-doc-html.doc-base.rectutorial Wed May 10 16:43:50 2006
@@ -2,7 +2,7 @@
 Title: The Coq Proof Assistant -- A Tutorial on [Co-]Inductive types in Coq
 Author: Eduardo Giménez and Pierre Castéran
 Abstract: This document is an introduction to the définition and use of inductive and co-inductive types in the Coq proof environment. It explains how types like natural numbers and infinite streams are defined in Coq, and the kind of proof techniques that can be used to reason about them (case analysis, induction, inversion of predicates, co-induction, etc). Each technique is illustrated through an executable and self-contained Coq script.
-tion: Apps/Math
+Section: Apps/Math
 
 Format: HTML
 Index: /usr/share/doc/coq-doc-html/RecTutorial.v.html