| Nyoxi | *shrug* |
| michener | i mean, i could throw an app in all willy-nilly, but i thought it a bit more elegant to make first contact elsewise |
| Nyoxi | g'nite folks |
| thorat | michener: my guess would be to get Bram's attention, he's the leader, main programmer and a google employee |
| michener | hmmm. mmkay |
| Ori_B | michener: and nothing wrong with bouncing ideas off the vimmers here.. at the very least, it'll avoid "Oh, that's already done." when you suggest your ideas. |
| thorat | yes, of course |
| michener | well, i was going to work of the SoC page where it was suggested that someone work on a better regexp engine s/of/off/ |
| manveru | :) 'better'? as in faster or as in usability? |
| michener | faster for sure |
| thorat | wow, that's some heavy stuff, tightly integrated into the editor, syntax highlighting etc |
| michener | mmhmm the reason this project bubbled to the top of the list for me is a) I like vim b) I'm sort of enjoying my compilers class, where we've discussed this (though not in long implementation depth) |
| thorat | I've always wanted to integrate ocaml or ghci ? ;) |
| michener | at least i can get my head around it |
| thorat | s/integrate/embed/ |
| michener | right |
| thorat | we need proofgeneral for vim embedded ocaml would be a start, then we could embed coq and HOL-light |
| action | michener has never really played with ocaml |
| michener | has never really played with ocaml |
| thorat | (but of course, that very academic stuff, but emacs has it so I get envious) |
| jimmygoon | How do you switch between buffers |
| Knekk_ | :b<num> :ls |
| tpope | <C-6> |
| jimmygoon | New buffer? nevermind... ":new" |
| Knekk_ | hey, just discovered Crl-<num><num><num>: gives me a range from current position :) |
| jimmygoon | Why do my colorschemes look corrent in gvim but not in vim in gnome-terminal? |
| thorat | :se bg=dark? :se bg=dark |