removed obsolete self_update: always enabled, notably on lxbroy10 which is the only shared-home system (and still requires current isabelle_self);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE931c48756b88: avoid redundant meta data: exclude .hg_archival.txt;
- Branches
- Unknown
- Tags