hannesm/Kopitiam — pull request #2 by ddaf (2012-08-29 21:28:53+00:00)
Title: Line-separator fix and Content Assistance

Fixed hardcoded line-separator in CoqResponse.
Added more static completion-proposals to ContentAssistant.
Added initial support for dynamic completion-proposals to ContentAssistant