Permalink
Browse files

Update COPYING years, and mention other contributors

  • Loading branch information...
xrchz committed May 16, 2017
1 parent 247bc2f commit 60dc9b921ab31f5c99577e3d0eca6a6ce4eee849
Showing with 4 additions and 2 deletions.
  1. +4 −2 COPYING
View
@@ -1,7 +1,9 @@
CakeML Copyright Notice, License, and Disclaimer.
Copyright 2013, 2014, 2015 by Anthony Fox, Ramana Kumar, Magnus Myreen, Michael
Norrish, Scott Owens, and Yong Kiam Tan.
Copyright 2013, 2014, 2015, 2016, 2017 by
Anthony Fox, Ramana Kumar, Magnus Myreen,
Michael Norrish, Scott Owens, Yong Kiam Tan, and
other contributors listed at https://cakeml.org
All rights reserved.

0 comments on commit 60dc9b9

Please sign in to comment.