Kristian questions

• Problems with missing information in Obligations when defining using Program in Coq
• Avoid duplicating code for applying tactics in both hypothesis and goal
• How to decrease padding between lines and points in R "both" type plots
• read file and store contents in a register
• How can I replace a pattern only on lines that do or do not contain another pattern?
• Display value of :set option
• Vim spellcheck not always working in .tex file. Check region in Vim

Kristian answers