This fix also makes editing other buffers while runnig a verification session work much better. If you use hilit19, the right default selection should be made automatically. I got most color choices from there as well. Small changes to the manual. Bug fixes in the inc94 example.
Bug fixes in tlp-mode.
Added first draft of the manual. Added LTL-reasoning support. This is useful when you are working on the initial setup, on data types defined in LP, etc. Fixed various problems that appeared when an LP error was detected in a buffer not beeing the one from which the verification command was issued. This should now not produce any special problems.