| Fri, 26 Nov 2021 16:25:58 +0100 |
wenzelm |
more robust build on midrange hardware (despite 67d6f1708ea4);
|
file |
diff |
annotate
|
| Wed, 22 Sep 2021 22:28:56 +0200 |
wenzelm |
avoid problems with launch4j and jdk-17;
|
file |
diff |
annotate
|
| Fri, 16 Jul 2021 12:11:13 +0200 |
wenzelm |
clarified component setup for old graph browser;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 18:29:34 +0200 |
wenzelm |
proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 17:33:06 +0200 |
wenzelm |
more robust: avoid duplicate classpath entries;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 18:10:06 +0200 |
wenzelm |
proper usage;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 16:05:13 +0200 |
wenzelm |
avoid perl;
|
file |
diff |
annotate
|
| Fri, 07 May 2021 13:17:29 +0200 |
wenzelm |
clarified default_platform_families (again);
|
file |
diff |
annotate
|
| Thu, 06 May 2021 23:09:19 +0200 |
wenzelm |
support for platform family "linux_arm";
|
file |
diff |
annotate
|
| Thu, 06 May 2021 20:43:12 +0200 |
wenzelm |
support local build_heaps;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 20:41:40 +0200 |
wenzelm |
tuned --- rename = dist_name is sufficient;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 20:37:49 +0200 |
wenzelm |
proper dist_name;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 14:17:25 +0200 |
wenzelm |
clarified option -P: allow empty argument;
|
file |
diff |
annotate
|
| Wed, 05 May 2021 14:07:25 +0200 |
wenzelm |
support for existing release archive;
|
file |
diff |
annotate
|
| Tue, 04 May 2021 20:40:09 +0200 |
wenzelm |
more website content;
|
file |
diff |
annotate
|
| Tue, 04 May 2021 20:02:08 +0200 |
wenzelm |
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
|
file |
diff |
annotate
|
| Thu, 29 Apr 2021 15:49:04 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 23:20:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 14:03:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 13:03:09 +0200 |
wenzelm |
clarified command-line, following other build_XYZ tools;
|
file |
diff |
annotate
|
| Wed, 14 Apr 2021 21:15:24 +0200 |
wenzelm |
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
|
file |
diff |
annotate
|
| Thu, 01 Apr 2021 19:14:43 +0200 |
wenzelm |
clarified README;
|
file |
diff |
annotate
|
| Thu, 01 Apr 2021 19:01:19 +0200 |
wenzelm |
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 23:45:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:10:56 +0200 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 21:44:29 +0200 |
wenzelm |
more robust and uniform ISABELLE_TAGS;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 18:12:46 +0200 |
wenzelm |
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 17:15:54 +0200 |
wenzelm |
simplified release status (again), in contrast to a43898f76ae9;
|
file |
diff |
annotate
|