Commits

Iago Abal committed bc70d25

Update copyright notice

  • Participants
  • Parent commits 8eb9a22

Comments (0)

Files changed (1)

                      David Castro <david.castro.dcp@gmail.com>
 Maintainer:          Iago Abal <iago.abal@gmail.com>,
                      David Castro <david.castro.dcp@gmail.com>
-Copyright:           2012, Iago Abal, David Castro
+Copyright:           2012-2013, Iago Abal, David Castro
 Category:            Math, Theorem Provers, Formal Methods
 Build-type:          Simple
 Cabal-version:       >= 1.6