Skip to content

Commit

Permalink
Typo in web license
Browse files Browse the repository at this point in the history
  • Loading branch information
nrfulton committed Sep 30, 2015
1 parent 68fa16d commit 111665d
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@
<h3 class="modal-title"><!--<i class="glyphicon glyphicon-thumbs-down"></i>-->KeYmaera X License</h3>
</div>
<div class="modal-body">
KeYmaera X version 4.0b1, Copyright (C) Carnegie Mellon University<br/>
2014-2015 Andre Platzer, Nathan Fulton, Ran Ji, Stefan Mitsch, Jan-David Quesel, Marcus Voelp<br>
KeYmaera X version 4.0b1, Copyright (C) 2014-2015 Carnegie Mellon University<br/>
Developed by Andre Platzer, Nathan Fulton, Ran Ji, Stefan Mitsch, Jan-David Quesel, Marcus Voelp<br>
KeYmaera X comes with ABSOLUTELY NO WARRANTY. A full software license agreement follows.<br/>
SOFTWARE LICENSE AGREEMENT<br>
<!--ACADEMIC OR NON-PROFIT ORGANIZATION NONCOMMERCIAL RESEARCH USE ONLY-->
Expand Down

0 comments on commit 111665d

Please sign in to comment.