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 +10000 tip

explicit indication of Admin tools;
2016-10-12, by wenzelm
clarified files;
2016-10-12, by wenzelm
explicit timezone for the sake of lxbroy10;
2016-10-12, by wenzelm
proper redirection;
2016-10-11, by wenzelm
tuned output;
2016-10-11, by wenzelm
tuned message -- more parsable;
2016-10-11, by wenzelm
tuned signature;
2016-10-11, by wenzelm
identify managed repository clones;
2016-10-11, by wenzelm
some timing and logging, similar to old isatest.log;
2016-10-11, by wenzelm
enforce short name, notably on Mac OS X;
2016-10-11, by wenzelm
tuned -- Date.Format.default used by toString;
2016-10-11, by wenzelm
clarified modules;
2016-10-11, by wenzelm
force fresh build;
2016-10-11, by wenzelm
basic setup for Isabelle cronjob;
2016-10-11, by wenzelm
tuned;
2016-10-11, by wenzelm
merged
2016-10-11, by wenzelm
build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
2016-10-11, by wenzelm
makedist_bundle works on Linux as well: build dmg on remote Mac;
2016-10-11, by wenzelm
added isabelle remote_dmg tool;
2016-10-11, by wenzelm
proper type for Library.using;
2016-10-11, by wenzelm
support user@host syntax;
2016-10-11, by wenzelm
modernized date format;
2016-10-11, by wenzelm
tuned signature;
2016-10-11, by wenzelm
eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;
2016-10-11, by wenzelm
support for remote tmp dirs;
2016-10-11, by wenzelm
close more thoroughly;
2016-10-10, by wenzelm
provide execute operation, similar to Isabelle_System.bash;
2016-10-10, by wenzelm
proper support for exec channel (see also bash.scala);
2016-10-10, by wenzelm
proper hierarchic names;
2016-10-10, by wenzelm
more Sftp operations;
2016-10-10, by wenzelm

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

isabelle