Skip to content

Commit

Permalink
Developed by line
Browse files Browse the repository at this point in the history
  • Loading branch information
@nrfulton
nrfulton committed Sep 30, 2015
1 parent f6c791f commit 76f6e4c
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion COPYRIGHT.txt
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
KeYmaera X
Copyright (C) Carnegie Mellon University 2014-2015. Developed by Andre Platzer, Nathan Fulton, Ran Ji, Stefan Mitsch, Jan-David Quesel, Marcus Voelp
Copyright (C) 2014-2015 Carnegie Mellon University
Developed by Andre Platzer, Nathan Fulton, Ran Ji, Stefan Mitsch, Jan-David Quesel, Marcus Voelp

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
Expand Down

0 comments on commit 76f6e4c

Please sign in to comment.