Changes between Version 16 and Version 17 of OldWikiStart


Ignore:
Timestamp:
Apr 11, 2011 2:46:19 PM (13 years ago)
Author:
faber
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • OldWikiStart

    v16 v17  
    1111 * an XML-RPC pre-prover
    1212 * creddy, a command line interface to libcreddy
     13 * [CrudgeDocs crudge] a visual editor for ABAC policies and proofs
     14   * [http://abac.deterlab.net/java/crudge.jnlp webstart link]
    1315
    1416== News ==
    1517See the ChangeLog for details about each release
     18 * 2011-04-11: Crudge 1.0 released
    1619 * 2011-03-30: ABAC 0.1.3 released
    1720 * 2010-10-01: ABAC 0.1.2 released