| Mon, 16 Mar 2015 17:47:46 +0100 | wenzelm | merged | changeset | files |
| Mon, 16 Mar 2015 17:26:46 +0100 | wenzelm | suppress semantic completion in errors of batch build -- avoid junk in log files; | changeset | files |
| Mon, 16 Mar 2015 17:02:00 +0100 | blanchet | updated docs | changeset | files |
| Mon, 16 Mar 2015 17:01:59 +0100 | blanchet | clarified documentation | changeset | files |
| Mon, 16 Mar 2015 16:59:59 +0100 | wenzelm | proper headers; | changeset | files |
| Mon, 16 Mar 2015 16:26:33 +0100 | wenzelm | merged | changeset | files |
| Mon, 16 Mar 2015 16:26:02 +0100 | wenzelm | tuned message -- include completion; | changeset | files |
| Mon, 16 Mar 2015 15:33:32 +0100 | wenzelm | support for completion reports produced in Scala (inlined into messages); | changeset | files |