| #
b3402db1 |
|
11-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
6da03ca3 |
|
27-Oct-2017 |
wenzelm <none@none> |
tuned;
|
| #
115c98e8 |
|
24-Oct-2017 |
wenzelm <none@none> |
tuned output;
|
| #
c5aa4ac6 |
|
13-Oct-2017 |
wenzelm <none@none> |
tuned;
|
| #
ec5f9231 |
|
30-Sep-2017 |
wenzelm <none@none> |
tuned;
|
| #
583f02e9 |
|
30-Sep-2017 |
wenzelm <none@none> |
"windows" application is always x86_64;
|
| #
06ff0a73 |
|
14-May-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
869a0037 |
|
14-May-2017 |
wenzelm <none@none> |
more systematic HTML.init_dir with css;
|
| #
b8106347 |
|
03-May-2017 |
wenzelm <none@none> |
prefer standard getOrElse;
|
| #
11f91e31 |
|
03-May-2017 |
wenzelm <none@none> |
tuned;
|
| #
da800ad7 |
|
27-Feb-2017 |
wenzelm <none@none> |
tuned message;
|
| #
4b8878a2 |
|
22-Jan-2017 |
wenzelm <none@none> |
clarified owner;
|
| #
7154c53e |
|
22-Jan-2017 |
wenzelm <none@none> |
insist in proper GNU tar, to avoid subtle semantic differences;
|
| #
233462ba |
|
16-Jan-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
23702d76 |
|
26-Oct-2016 |
wenzelm <none@none> |
just one task to identify Isabelle + AFP repository snapshots and build release;
report AFP changeset id on website;
|
| #
3c1e4be6 |
|
24-Oct-2016 |
wenzelm <none@none> |
more robust;
|
| #
a489f3d2 |
|
23-Oct-2016 |
wenzelm <none@none> |
misc tuning and clarification;
|
| #
446c8e22 |
|
23-Oct-2016 |
wenzelm <none@none> |
modernized;
|
| #
4b43a05a |
|
20-Oct-2016 |
wenzelm <none@none> |
build HTML library in Isabelle/Scala;
|
| #
61f649e7 |
|
18-Oct-2016 |
wenzelm <none@none> |
clarified modules;
|
| #
df836090 |
|
15-Oct-2016 |
wenzelm <none@none> |
identify release;
|
| #
0459ee3b |
|
14-Oct-2016 |
wenzelm <none@none> |
proper link;
|
| #
667119a5 |
|
14-Oct-2016 |
wenzelm <none@none> |
explicit website directory;
|
| #
a86a91d6 |
|
14-Oct-2016 |
wenzelm <none@none> |
proper path;
|
| #
f6e6f2bc |
|
14-Oct-2016 |
wenzelm <none@none> |
tuned messages;
|
| #
343d0b67 |
|
14-Oct-2016 |
wenzelm <none@none> |
clarified platform families vs. bundles;
|
| #
2ac292ba |
|
14-Oct-2016 |
wenzelm <none@none> |
website index for existing bundles;
|
| #
0936b743 |
|
14-Oct-2016 |
wenzelm <none@none> |
tuned messages;
|
| #
e949a7b2 |
|
14-Oct-2016 |
wenzelm <none@none> |
added option -p for platform families;
actually accept option -r;
|
| #
21a5e3b4 |
|
14-Oct-2016 |
wenzelm <none@none> |
more formal Release_Info;
more incremental treatment of additional builds (bundles, library);
tuned;
|
| #
5bc34506 |
|
13-Oct-2016 |
wenzelm <none@none> |
replaced shell script by Isabelle/Scala;
|