dev merge bit vectors
dev merge
dev merge
dev merge
dev merge
dev merge
dev merge
dev merge
dev merge
reduce dependencies
more on ordering relations
Merge branch 'tmp'
more abstract ordering
new library files (from the ZnO project)
resolving using graph
tree-like path querying
update project file
prerename
more nfa friends
introducing a dictionary list