Mercurial > cpdt > repo

comparison src/Intro.v @ 300:25ec92be5ad2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Forgot to increment two timestamps
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Jan 2011 15:43:32 -0500
parents 2c88fc1dbe33
children a419a60e5ff6
comparison
equal deleted inserted replaced
299:20c742997dae 300:25ec92be5ad2
1 (* Copyright (c) 2008-2010, Adam Chlipala 1 (* Copyright (c) 2008-2011, Adam Chlipala
2 * 2 *
3 * This work is licensed under a 3 * This work is licensed under a
4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
5 * Unported License. 5 * Unported License.
6 * The license text is available at: 6 * The license text is available at:
19 \mbox{}\vfill 19 \mbox{}\vfill
20 \begin{center}% *) 20 \begin{center}% *)
21 21
22 (** 22 (**
23 23
24 Copyright Adam Chlipala 2008-2010. 24 Copyright Adam Chlipala 2008-2011.
25 25
26 This work is licensed under a 26 This work is licensed under a
27 Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 27 Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
28 Unported License. 28 Unported License.
29 The license text is available at: 29 The license text is available at: