Changes between Version 96 and Version 97 of WikiStart


Ignore:
Timestamp:
03/08/2018 02:00:13 PM (4 months ago)
Author:
nshafiei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v96 v97  
    11[[TracNav(noedit|noreorder)]]
    2 
    3 = JPF is not hosted by the NASA server anymore, and it is now maintained by the JPF community at [https://github.com/javapathfinder Git]. JPF documentation can be found at [https://github.com/javapathfinder/jpf-core/wiki JPF Wiki] =
    4 
     2\\
     3\\
     4\\
     5\\
     6\\
     7{{{
     8#!html
     9<h1 style="text-align: center; font-size:22px;; color: red">
     10 Note that JPF is not hosted by this server anymore, and it is now maintained by the JPF community at <a href="https://github.com/javapathfinder" style="text-decoration: underline;">Github</a>. JPF documentation can be found at <a href="https://github.com/javapathfinder/jpf-core/wiki" style="text-decoration: underline;">JPF Wiki</a>
     11</h1>
     12}}}
     13\\
     14\\
     15\\
     16\\
     17\\
    518----
    619
    720== Latest JPF News ==
     21  || 03/08/2018 || JPF is not hosted by this server anymore, and it is now maintained by the JPF community at [https://github.com/javapathfinder Github]. ||
    822  || 05/01/2017 || JPF Workshop 2017 will be co-located with [http://ase2017.org ASE 2017] in Champaign, IL. Please consider submitting a paper. ||
    923  || 02/27/2017 || JPF got accepted for [https://summerofcode.withgoogle.com/organizations/5314871315922944/ GSoC 2017]. Please visit our [https://jpf.byu.edu/gsoc17/projects/projects.html ideas page], and let us know if you have a topic in mind. ||