Changes between Version 2 and Version 3 of WikiStart


Ignore:
Timestamp:
Jun 9, 2015, 3:36:13 PM (2 years ago)
Author:
tilk
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v2 v3  
    33Interactive theorem proving for everyone.
    44
    5 http://easyprove.ii.uni.wroc.pl:8080/easyprove/
     5http://easyprove.ii.uni.wroc.pl/easyprove/
    66
    7 Polish: http://easyprove.ii.uni.wroc.pl:8080/easyprove/?locale=pl_PL
     7Polish: http://easyprove.ii.uni.wroc.pl/easyprove/?locale=pl_PL