in reply to Re: Run tests with "auto-prove"
in thread Run tests with "auto-prove"
Who says I'm even running one terminal? I often run auto-prove straight from my text editor. Many text editors and IDEs allow you to launch external commands like compilers, syntax checkers, etc.
|
|---|
| Replies are listed 'Best First'. | |
|---|---|
|
Re^3: Run tests with "auto-prove"
by Anonymous Monk on Mar 01, 2012 at 18:27 UTC |