added a custom dropdown <select> so a big list of numerous symbols is easily searchable now
new version with the SearchSelect plugin
removed console.log
fixed minor style issues
fixed minor bugs
added SearchSelect to the build process
fixed minor bugs
added ontology and concept classes to annotations
Added doc folder and commited contents.
Added doc/src and commited contents.
Merge branch 'master' of github.com:KWARC/KAT
added .DS_Store
bugfixes
removed testing code
added review system
added conceptName() on concepts which returns the name without the ontology prefix
added the owl-parser to KAT profile
relative url
updated to include the Reviewing System
updated pdf