.+ docs +.

Here is some documentation on ConTroll. On my Windows machine, I read the DVI files using this. It was very easy to get to work.

Here is OROMatcher (regular expressions in Java) documentation.