A couple bugfixes and tweaks #1

jesboat · 2013-01-31T23:23:05Z

Fix GetNextCmd() bugs with dots in strings and other places
Don't raise errors until the first .v file is opened
UI tweaks

In particular, be aware that dots in strings don't end commands, and aware that dots in ".." (e.g. when defining Notation) don't end commands either.

This means people who install the plugin in a ~/.vim/ directory they use with multiple vim versions won't get an error if one vim doesn't support perl or is missing coq if they only use .v files in the other vim.

Shorten it from 70 '='s to only 38. Much more managable.

Jonathan Sailor added 4 commits January 30, 2013 23:04

Make it easier to turn debugging on/off

b29450b

Rewrite most of s:GetNextCmd(). Fix some '.' bugs.

7bd71a8

In particular, be aware that dots in strings don't end commands, and aware that dots in ".." (e.g. when defining Notation) don't end commands either.

Don't raise errors until the first .v file is open

308fe15

This means people who install the plugin in a ~/.vim/ directory they use with multiple vim versions won't get an error if one vim doesn't support perl or is missing coq if they only use .v files in the other vim.

Shorten the line separating hypotheses from goals

4999a10

Shorten it from 70 '='s to only 38. Much more managable.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

A couple bugfixes and tweaks #1

A couple bugfixes and tweaks #1

jesboat commented Jan 31, 2013

A couple bugfixes and tweaks #1

Are you sure you want to change the base?

A couple bugfixes and tweaks #1

Conversation

jesboat commented Jan 31, 2013