isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 tip

proper order of operations: archive before purge;
2 months ago, by wenzelm
more robust (see also 9601f5582f33);
2 months ago, by wenzelm
tuned spelling;
2 months ago, by wenzelm
clarified NEWS: not user-relevant;
2 months ago, by wenzelm
tuned documentation;
2 months ago, by wenzelm
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
2 months ago, by wenzelm
just one flatlaf version: native libraries are optional;
2 months ago, by wenzelm
tuned;
2 months ago, by wenzelm
merged
2 months ago, by Fabian Huch
clarified name;
2 months ago, by Fabian Huch
documentation about Build_Manager;
2 months ago, by Fabian Huch
tuned;
2 months ago, by Fabian Huch
use ssh host for default address;
2 months ago, by Fabian Huch
tuned;
2 months ago, by Fabian Huch
clarified option name;
2 months ago, by Fabian Huch
clarified options: extra ssh connection to cluster of build_manager;
2 months ago, by Fabian Huch
tuned output;
2 months ago, by Fabian Huch
tuned: more standard;
2 months ago, by Fabian Huch
merged;
2 months ago, by wenzelm
more NEWS;
2 months ago, by wenzelm
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
2 months ago, by wenzelm
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
2 months ago, by wenzelm
tuned whitespace;
2 months ago, by Fabian Huch
documentation about Find_Facts;
2 months ago, by Fabian Huch
more standard: let OS pick random port by default;
2 months ago, by Fabian Huch
clarified platforms;
2 months ago, by Fabian Huch
tuned NEWS;
2 months ago, by wenzelm
merged
2 months ago, by Lukas Stevens

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 tip

isabelle