X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..HEAD:/LICENSE diff --git a/LICENSE b/LICENSE index 0f7ddb8..32d00d9 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,9 @@ -LCLint - annotation-assisted static program checker -Copyright (C) 1994-2000 University of Virginia, - Massachusetts Institute of Technology + Splint - annotation-assisted static program checker + http://www.splint.org + + Copyright (C) 1994-2007 + University of Virginia, + Massachusetts Institute of Technology 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 the @@ -16,9 +19,8 @@ The GNU General Public License is attached to this file and available from http://www.gnu.org/ or the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. -For information on lclint: lclint-request@cs.virginia.edu -To report a bug: lclint-bug@cs.virginia.edu -http://lclint.cs.virginia.edu +For information on Splint: splint@cs.virginia.edu +To report a bug: splint-bug@cs.virginia.edu ============================================================================== GNU GENERAL PUBLIC LICENSE