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

clarified default, following 8b695e59db3f;
2022-09-16, by wenzelm
tuned signature;
2022-09-16, by wenzelm
tuned;
2022-09-16, by wenzelm
clarified modules;
2022-09-16, by wenzelm
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
2022-09-16, by wenzelm
clarified options;
2022-09-16, by wenzelm
clarified options;
2022-09-16, by wenzelm
discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;
2022-09-15, by wenzelm
proper time values in seconds;
2022-09-15, by wenzelm
clarified run_sftp: avoid platform_path via careful use of tmp_dir, to support both Windows and Cygwin ssh;
2022-09-15, by wenzelm
more robust, notably for macOS (see also ff92d6edff2c);
2022-09-15, by wenzelm
back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket";
2022-09-15, by wenzelm
tuned names;
2022-09-15, by wenzelm
proper order of platforms, to make it work uniformly on all plaform families;
2022-09-15, by wenzelm
more portable;
2022-09-14, by wenzelm

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

isabelle