| Age | Commit message (Collapse) | Author |
|---|
|
temporarily remove pushTokens and popTokens calls from DocumentChildHandler
|
|
associated with a certain token.
|
|
|
|
|
|
the use in std::set)
|
|
|
|
tokens do not work yet) -- but if no tokens are defined, everything should work as before.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
typesystems exist anymore.
|
|
annotation has no content.
|
|
|
|
children but should allow the same children as paragraph.
|
|
|
|
|
|
|
|
|
|
|
|
DocumentChildHandler::startAnnotation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conflicts:
application/src/core/parser/stack/Callbacks.hpp
|
|
|
|
|
|
not compile right now)
|
|
|
