diff options
| author | Hugo Herbelin | 2014-08-04 16:23:12 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-05 19:50:05 +0200 |
| commit | 62807372f1e3f78dffc02c07b0b801d4d8f4a78f (patch) | |
| tree | a35e78799a84c31e644884bb43e49a4724d2adbd /doc/RecTutorial | |
| parent | 7dba9d3f3ce62246b9d8562d2818c63ba37b206e (diff) | |
Coqide: check_connection now also checks correct loading of coqide plugin +
reports errors also from stderr.
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions