#
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;
|