proteusGIT

I would greatly appreciate your efforts. In fact, I am currently using Z3 with its API but I would like to add support to my tool (with windows and linux...

I guess it really depends on the 'language' (in a broad sense including english, Java, LaTeX, etc.) an what the default should be. For Java, I would rarely decide later...

Ok :) you found tools where the closing brackets are inserted automatically apparently also where natural language text is to be written. Still, if there would be an option to...

Having xinclude support would be great!

Got it working now: * Program: `..\..\cygwin64\bin\bash.exe`` * Directory: `C:\Users\XXX\Desktop` (probably irrelvant) * Arguments: `--login`, `-c`, `cd \"${file_dir}\";pwd;make`