gui: versioning uses svn build #
gui: added svnkit and svnant licenses
Simplified the LKIF schema, by combining Statements and Issues into one element.
Added optional title attributes to arguments and argument graphs in the LKIF schema.
Further improvements to the LKIF schema: The set of axioms of a theory is now modelled as a sequence of "axiom" elements, where each axiom has an id attribute and a wff as its content. Wffs no longer have ids.  The "statement" elements of argument graphs now have ids and  the proposition of the statement has been moved from the "wff" attribute to the content model of the element.
Added a model of the "clear and convincing evidence" proof standard to Argument.fx
TextMate SVN test. No changes.
Added an optional "version" attribute the top-level "lkif" element of the LKIF schema.  The version of the Schema is stated in a comment.  I gave the current version the number "2.0.4".
gui: added multiple graph display and editing support; added basic toolbar including icons; implemented CCE proof standard; new title attributes editable; shifted to new LKIF grammar modified the file loader to fork for older formats
gui: added ElementList.fx to svn
gui: CCE standard shows weights
Improved the models of the "clear and convincing evidence" and "beyond a reasonable doubt" proof standards in Argument.fx
gui: zoom button inversion bug fixed
further developement on lkif2
Fixed a bug in the LKIF exporter, caused by having changed the type of premise roles from symbols to strings earlier.
futher developement on lkif2;
import works to 99% - needs testing
lkif2 import seems to work now;
see the lkif-test example
Updated the family-support2.xml example to use the latest version of LKIF2.
updated family-support to lkif2