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 -30 +30 +50 +100 +300 +1000 +3000 tip

clarified signature: more explicit types;
16 months ago, by wenzelm
support "rsync --chmod --chown" via Rsync.Context;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
bash: proper bash_process via SSH;
16 months ago, by wenzelm
clarified signature: support explicit cwd;
16 months ago, by wenzelm
support bash via SSH;
16 months ago, by wenzelm
clarified comments;
16 months ago, by wenzelm
proper support for remote cwd;
16 months ago, by wenzelm
clarified context for (remote) bash scripts: export variables are optional, support cwd;
16 months ago, by wenzelm
more operations for SSH.System: bash_process and bash;
16 months ago, by wenzelm
unused;
16 months ago, by wenzelm
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
16 months ago, by wenzelm
minor performance tuning;
16 months ago, by wenzelm
merged
16 months ago, by wenzelm
minor performance tuning: save approx. 70ms per SSH command;
16 months ago, by wenzelm
minor performance tuning: save approx. 70ms per SSH command;
16 months ago, by wenzelm
minor performance tuning: save approx. 70ms per SSH test command;
16 months ago, by wenzelm
suport Isabelle_System.bash via SSH.System;
16 months ago, by wenzelm
more operations;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
16 months ago, by wenzelm
tuned tmp name;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
tuned comments;
16 months ago, by wenzelm
merged
16 months ago, by nipkow
pretty-printing sledgehammer command: merge indexed theorems
16 months ago, by nipkow
clarify routes: absolute in api and relative for frontend;
16 months ago, by Fabian Huch

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

isabelle