2.2.0-release
2.2.0-release (with minor update)
2.0.0-release (with minor update)
Update spindleDefeasibleTheory.xsd

fixed type for "not" in the definition of "ctLiteral" in the XML schema for theories
move all files to Development/2.2.0
added files to release 2.2.2
added Development branch
added Development branch
remove all old files
source code for release 2.2.0
Merge branch 'release/v2.2.0'
Merge branch 'release/v2.2.0' into develop
source code for release 2.2.2
Merge branch 'release/v2.2.2'
Merge branch 'release/v2.2.2' into develop
Merge branch 'master' into develop
files restructure: remove all files
source code for release 2.2.0
Merge branch 'release/ver2.2.0'
Merge branch 'release/ver2.2.0' into develop