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

more robust wrt. old versions that use clear-text properties (e.g. Timing in build_history_base);
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
integrity test of build_history vs. build_history_base;
2016-10-13, by wenzelm
clarified log_subdir vs. log_filename;
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;
2016-10-13, by wenzelm
tuned signature;
2016-10-13, by wenzelm
clarified modules;
2016-10-13, by wenzelm
allow to exclude named tasks;
2016-10-13, by wenzelm
support for separate sub-system options, independent of main Isabelle options;
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
more cleanup;
2016-10-13, by wenzelm
separate ISABELLE_HOME_USER (with its etc/settings);
2016-10-13, by wenzelm
renamed lemma to a more consistent name
2016-10-13, by Lars Hupel
tuned
2016-10-13, by Lars Hupel
remove accidentally oops'ed (and wrong) lemma
2016-10-13, by Lars Hupel
transfer lifting rule for numeral
2016-10-12, by haftmann
more standard naming convention
2016-10-12, by haftmann
tuned;
2016-10-12, by wenzelm
special case for local contrib, e.g. lxbroy10;
2016-10-12, by wenzelm
merged
2016-10-12, by wenzelm
tuned signature;
2016-10-12, by wenzelm
tuned;
2016-10-12, by wenzelm
clarified task logging via log service;
2016-10-12, by wenzelm
more explicit management of tasks;
2016-10-12, by wenzelm
tuned;
2016-10-12, by wenzelm
added clone_repository;
2016-10-12, by wenzelm
support remote repositories via ssh command execution;
2016-10-12, by wenzelm
tuned signature;
2016-10-12, by wenzelm
modernized;
2016-10-12, by wenzelm
separate type class for arbitrary quotient and remainder partitions
2016-10-12, by haftmann
stripped dependency on pragmatic type class semiring_div
2016-10-11, by haftmann
simplified: no internal state for Mercurial;
2016-10-12, by wenzelm
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

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

isabelle