| Mon, 16 Mar 2015 23:00:38 +0100 |
blanchet |
export more ML functions
|
changeset |
files
|
| 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
|
| Mon, 16 Mar 2015 14:15:15 +0100 |
wenzelm |
more precises positions;
|
changeset |
files
|
| Mon, 16 Mar 2015 13:32:31 +0100 |
wenzelm |
avoid duplicate header errors, more precise positions;
|
changeset |
files
|
| Mon, 16 Mar 2015 11:30:54 +0100 |
wenzelm |
tuned protocol -- resolve command positions in ML;
|
changeset |
files
|
| Mon, 16 Mar 2015 11:07:56 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Mon, 16 Mar 2015 14:52:34 +0100 |
hoelzl |
add inequalities (move from AFP/Amortized_Complexity)
|
changeset |
files
|
| Sun, 15 Mar 2015 23:46:00 +0100 |
blanchet |
merge
|
changeset |
files
|