Cheng Zhang

This feature will be really helpful

Also I personally think private function like ``` Function GitConvertColor 2.0.4 PSGit Function GitWriteMessage 2.0.4 PSGit ``` should not be exported.

I think this is exactly what is needed.

Right...

Thank you!

@varkor seems like @siegebell is really busy. No offense to Dr. @siegebell, Is it possible that you, @varkor, can create a fork of this plugin and develop on your own...

I want to start one, but I really cannot make any promises, since I am starting PhD this September. I don't know what to expect.

Here is some documentation on how `wox` handles plugins: http://doc.wox.one/en/plugin/create_plugin.html http://doc.wox.one/en/plugin/plugin_json.html --- Basically, in each plugin there is a `plugin.json` specifies all the basic metadata including `version`, `name`, etc. There...

Some functionality to keep in mind while developing plugins: 1. Plugins should be able to install external packages if they want. For example when developing a calendar plugin, a library...

is it possible to integrate proof general in the module as a git submodule for easier installing?