| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
changeset |
files
|
| Wed, 31 Mar 2021 22:10:56 +0200 |
wenzelm |
tuned signature -- more explicit types;
|
changeset |
files
|
| Wed, 31 Mar 2021 21:44:29 +0200 |
wenzelm |
more robust and uniform ISABELLE_TAGS;
|
changeset |
files
|
| Wed, 31 Mar 2021 18:12:46 +0200 |
wenzelm |
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
|
changeset |
files
|
| Wed, 31 Mar 2021 17:15:54 +0200 |
wenzelm |
simplified release status (again), in contrast to a43898f76ae9;
|
changeset |
files
|
| Wed, 31 Mar 2021 12:02:52 +0200 |
wenzelm |
more uniform HTTP resources;
|
changeset |
files
|
| Wed, 31 Mar 2021 11:24:46 +0200 |
wenzelm |
clarified (again): local tip could be actually more recent;
|
changeset |
files
|
| Wed, 31 Mar 2021 11:21:08 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 31 Mar 2021 11:17:45 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 31 Mar 2021 11:05:40 +0200 |
wenzelm |
clarified name;
|
changeset |
files
|
| Wed, 31 Mar 2021 10:57:18 +0200 |
wenzelm |
more systematic java_library: avoid empty entries, declaration order as for other bash functions;
|
changeset |
files
|
| Tue, 30 Mar 2021 12:32:24 +0200 |
wenzelm |
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
|
changeset |
files
|
| Tue, 30 Mar 2021 09:42:25 +0200 |
nipkow |
updated to latest latex due to new mechanism for dealing with bold ccfonts
|
changeset |
files
|
| Mon, 29 Mar 2021 12:26:13 +0100 |
paulson |
removal of needless hypothesis in hd_rev and last_rev
|
changeset |
files
|
| Sun, 28 Mar 2021 12:21:37 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Sun, 28 Mar 2021 12:10:14 +0200 |
wenzelm |
clarified message;
|
changeset |
files
|
| Sun, 28 Mar 2021 12:08:43 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 28 Mar 2021 12:07:46 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sun, 28 Mar 2021 12:02:20 +0200 |
wenzelm |
proper export;
|
changeset |
files
|
| Sun, 28 Mar 2021 11:59:30 +0200 |
wenzelm |
more options: build is part of default setup;
|
changeset |
files
|
| Sun, 28 Mar 2021 11:45:00 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Sun, 28 Mar 2021 11:39:53 +0200 |
wenzelm |
more options;
|
changeset |
files
|
| Sun, 28 Mar 2021 11:35:08 +0200 |
wenzelm |
proper Admin script, outside the settings environment;
|
changeset |
files
|
| Sun, 28 Mar 2021 11:33:30 +0200 |
wenzelm |
tuned whitespace;
|
changeset |
files
|
| Sat, 27 Mar 2021 23:03:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 27 Mar 2021 22:59:12 +0100 |
wenzelm |
clarified;
|
changeset |
files
|
| Sat, 27 Mar 2021 22:48:59 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 27 Mar 2021 22:48:15 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 27 Mar 2021 22:36:45 +0100 |
wenzelm |
more accurate settings after update of current version;
|
changeset |
files
|
| Sat, 27 Mar 2021 22:26:13 +0100 |
wenzelm |
clarified messages;
|
changeset |
files
|