| Tue, 30 Jul 2013 19:53:06 +0200 |
wenzelm |
tuned -- more uniform ML vs. Scala;
|
changeset |
files
|
| Tue, 30 Jul 2013 18:19:16 +0200 |
wenzelm |
recovered delay for Document.start_execution (see also 627fb639a2d9), which potentially improves throughput when many consecutive edits arrive;
|
changeset |
files
|
| Tue, 30 Jul 2013 16:22:07 +0200 |
wenzelm |
more timing;
|
changeset |
files
|
| Tue, 30 Jul 2013 16:01:19 +0200 |
wenzelm |
more timing;
|
changeset |
files
|
| Tue, 30 Jul 2013 19:59:17 +0200 |
blanchet |
removed spurious headings
|
changeset |
files
|
| Tue, 30 Jul 2013 19:49:42 +0200 |
blanchet |
more (co)datatype documentation
|
changeset |
files
|
| Tue, 30 Jul 2013 16:22:39 +0200 |
blanchet |
avoid DUP error in local context
|
changeset |
files
|
| Tue, 30 Jul 2013 16:22:39 +0200 |
blanchet |
sketched documentation for new (co)datatype package
|
changeset |
files
|
| Tue, 30 Jul 2013 16:22:39 +0200 |
blanchet |
tuned docs (the function package isn't so new anymore)
|
changeset |
files
|
| Tue, 30 Jul 2013 15:45:01 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Tue, 30 Jul 2013 15:20:38 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 30 Jul 2013 15:09:25 +0200 |
wenzelm |
type theory is purely value-oriented;
|
changeset |
files
|
| Tue, 30 Jul 2013 12:07:14 +0200 |
wenzelm |
pro-forma Execution.reset, despite lack of final join/commit;
|
changeset |
files
|
| Tue, 30 Jul 2013 11:54:57 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|