ADD: links in readme
ADD: formatting and linking
Merge remote-tracking branch 'origin/master' into mjuliano
2013-08-03: ubuntu installation re-reviewed and improved
New candidate for KB, fixed copyrights
Fixed copyright header
2013-06-13: refactorings
ADD: links in readme
ADD: formatting and linking
ADD: formatting and linking
ADD: formatting and linking
initial checkin for copper release 0.3.0
Added markup and links within READMEs
Fixed copyright headers and file comments
Added markup and additional infos to README
ICI: added semantic validation of kb data structures
Added validation of kb syntax and data structures
Added binding for xs:integer
Additional IF-Calls for new KnowledgeBase
Added tranformation rules according to new kb syntax