Changes between Version 132 and Version 133 of WikiStart


Ignore:
Timestamp:
10/19/18 11:48:26 (8 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v132 v133  
    6767
    6868== License ==
    69 CIVL is copyright from 2013 to 2018, Verified Software Laboratory, University of Delaware. CIVL is distributed under the terms of the GNU General Public License v3. See the directory licenses in the distribution for details.
     69CIVL is copyright from 2013 to 2018, Verified Software Laboratory, University of Delaware.
     70
     71CIVL is distributed under the terms of the [https://www.gnu.org/licenses/gpl.html GNU General Public License v3]. (See the directory licenses in the distribution for details.)