| Wed, 05 May 2021 20:41:40 +0200 |
wenzelm |
tuned --- rename = dist_name is sufficient;
|
changeset |
files
|
| Wed, 05 May 2021 20:37:49 +0200 |
wenzelm |
proper dist_name;
|
changeset |
files
|
| Wed, 05 May 2021 14:17:25 +0200 |
wenzelm |
clarified option -P: allow empty argument;
|
changeset |
files
|
| Wed, 05 May 2021 14:07:25 +0200 |
wenzelm |
support for existing release archive;
|
changeset |
files
|
| Wed, 05 May 2021 13:30:11 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 05 May 2021 13:27:30 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Tue, 04 May 2021 20:40:09 +0200 |
wenzelm |
more website content;
|
changeset |
files
|
| Tue, 04 May 2021 20:02:08 +0200 |
wenzelm |
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
|
changeset |
files
|
| Tue, 04 May 2021 12:54:54 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 05 May 2021 16:09:02 +0000 |
haftmann |
tuned theory structure
|
changeset |
files
|
| Wed, 05 May 2021 16:09:02 +0000 |
haftmann |
more appropriate location
|
changeset |
files
|
| Tue, 04 May 2021 17:57:16 +0000 |
haftmann |
collected lemmas on permutations
|
changeset |
files
|
| Mon, 03 May 2021 21:49:30 +0100 |
paulson |
A nice cardinality lemma
|
changeset |
files
|
| Mon, 03 May 2021 19:06:33 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Sun, 02 May 2021 21:46:59 +0200 |
wenzelm |
more robust indentation: proper line context after insert;
|
changeset |
files
|
| Sun, 02 May 2021 20:51:21 +0200 |
wenzelm |
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
|
changeset |
files
|