| Tue, 17 Mar 2015 09:22:21 +0100 |
nipkow |
merged
|
changeset |
files
|
| Tue, 17 Mar 2015 09:22:17 +0100 |
nipkow |
added lemmas
|
changeset |
files
|
| Mon, 16 Mar 2015 23:05:56 +0100 |
traytel |
document property
|
changeset |
files
|
| Mon, 16 Mar 2015 23:05:56 +0100 |
traytel |
BNF relators preserve reflexivity
|
changeset |
files
|
| 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
|
| Sun, 15 Mar 2015 22:00:15 +0100 |
blanchet |
inlining threshold
|
changeset |
files
|
| Sun, 15 Mar 2015 22:00:15 +0100 |
blanchet |
avoid controversial Pirate syntax
|
changeset |
files
|
| Sun, 15 Mar 2015 22:15:08 +0100 |
wenzelm |
more markup, which helps to create missing imports;
|
changeset |
files
|
| Sun, 15 Mar 2015 22:05:08 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 15 Mar 2015 21:57:10 +0100 |
wenzelm |
proper command id for inlined errors, which is important for Command.State.accumulate;
|
changeset |
files
|