Add copyright year

a4e7e688 · Adam Chlipala · a7d62b79 · a4e7e688
Commit a4e7e688 authored Jul 12, 2017 by Adam Chlipala
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Intro.v src/Intro.v +1 -1

No files found.
--- a/src/Intro.v
+++ b/src/Intro.v
-(* Copyright (c) 2008-2013, 2015, Adam Chlipala
+(* Copyright (c) 2008-2013, 2015, 2017, Adam Chlipala
 * 
 * This work is licensed under a
 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0