Aaron Tomb aa900df04c Set user option if exact match, even if prefix ... The `:set` command wasn't allowing `prover` as a key, since `prover-stats` also exists. Now it allows an exact match even if it's a prefix of some other option. To set `prover-stats` or a similar option, spell it out more completely.		2017-03-21 09:04:17 -07:00
..
Cryptol	Set user option if exact match, even if prefix	2017-03-21 09:04:17 -07:00
GitRev.hs	Update copyright dates and add missing headers	2016-01-19 18:19:35 -08:00