| Thu, 30 Aug 2012 16:39:50 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Thu, 30 Aug 2012 15:26:37 +0200 |
wenzelm |
refined status of forked goals;
|
changeset |
files
|
| Thu, 30 Aug 2012 15:22:21 +0200 |
wenzelm |
proper merge of promises to avoid exponential blow-up in pathologic situations (e.g. lack of PThm wrapping);
|
changeset |
files
|
| Wed, 29 Aug 2012 22:18:33 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Wed, 29 Aug 2012 21:31:45 +0200 |
wenzelm |
discontinued old init_components script, superseded by init_components shell function as explained in README_REPOSITORY;
|
changeset |
files
|
| Wed, 29 Aug 2012 21:27:32 +0200 |
wenzelm |
approximative build of pdf documents in 1 pass instead of 3;
|
changeset |
files
|
| Wed, 29 Aug 2012 21:20:46 +0200 |
wenzelm |
more formal isabelle makedist from repository;
|
changeset |
files
|
| Wed, 29 Aug 2012 21:01:05 +0200 |
wenzelm |
removed remains of generated material, which tends to rot;
|
changeset |
files
|
| Wed, 29 Aug 2012 20:54:49 +0200 |
wenzelm |
one more round to ensure that base images are already there, without producing document output themselves;
|
changeset |
files
|
| Wed, 29 Aug 2012 20:46:47 +0200 |
wenzelm |
more robust document setup;
|
changeset |
files
|
| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
changeset |
files
|
| Wed, 29 Aug 2012 17:19:48 +0200 |
wenzelm |
clarified handling of raw output messages;
|
changeset |
files
|
| Wed, 29 Aug 2012 14:29:38 +0200 |
wenzelm |
no attempt to build documentation for now -- requires ML_HOME etc. which is not present here;
|
changeset |
files
|
| Wed, 29 Aug 2012 13:08:51 +0200 |
wenzelm |
command 'use' is legacy;
|
changeset |
files
|
| Wed, 29 Aug 2012 12:55:41 +0200 |
wenzelm |
clarified separated_chunks vs. space_explode;
|
changeset |
files
|