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

sftp.mkdirs according to 2a5dbad75355;
2016-10-16, by wenzelm
more compression for big log files;
2016-10-16, by wenzelm
clarified setup_repository: more uniform pull vs. clone, without update;
2016-10-16, by wenzelm
proper setup of fresh repository;
2016-10-16, by wenzelm
clarified prover-specific rules
2016-10-16, by haftmann
dropped potentially explosive rule for groebner simpset, with no observable effect on examples
2016-10-16, by haftmann
simplified fact references
2016-10-16, by haftmann
avoid effectively subsumed rules;
2016-10-16, by haftmann
eliminated irregular aliasses
2016-10-16, by haftmann
avoid references to lemmas designed for prover tools
2016-10-16, by haftmann
clarified theorem names
2016-10-16, by haftmann
eliminated irregular aliasses
2016-10-16, by haftmann
more standardized theorem names for facts involving the div and mod identity
2016-10-16, by haftmann
transfer rules for divides relation on integer and natural
2016-10-16, by haftmann
more standardized names
2016-10-16, by haftmann
added lemma
2016-10-16, by haftmann
de-orphanized declaration
2016-10-16, by haftmann
tuned;
2016-10-15, by wenzelm
discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
2016-10-15, by wenzelm
timeout as in former isatest-makeall;
2016-10-15, by wenzelm
more robust quasi-unique name;
2016-10-15, by wenzelm
clarified signature: more static types;
2016-10-15, by wenzelm
clarified hg.id operation, with explicit tip as default;
2016-10-15, by wenzelm
added remote_build_history tasks: parallel on several remote hosts;
2016-10-15, by wenzelm
added setup_repository;
2016-10-15, by wenzelm
more operations;
2016-10-15, by wenzelm
expand relatively to given environment, notably remote HOME;
2016-10-15, by wenzelm
tuned;
2016-10-15, by wenzelm
tuned signature;
2016-10-15, by wenzelm
tuned;
2016-10-15, by wenzelm
clarified treatment of non-text bytes;
2016-10-15, by wenzelm
remove invocation of build_history: results are reported via stdout;
2016-10-15, by wenzelm
clarified signature;
2016-10-15, by wenzelm
identify release;
2016-10-15, by wenzelm
prefer Isabelle standard Path;
2016-10-15, by wenzelm
clarified logs;
2016-10-15, by wenzelm
publish directly on webspace;
2016-10-15, by wenzelm
Jenkins: don't build in system mode
2016-10-15, by Lars Hupel
merged
2016-10-14, by wenzelm
cronjob: build release from repository snapshot;
2016-10-14, by wenzelm
more operations;
2016-10-14, by wenzelm
clarified file operations;
2016-10-14, by wenzelm
proper link;
2016-10-14, by wenzelm
explicit website directory;
2016-10-14, by wenzelm
proper path;
2016-10-14, by wenzelm
tuned messages;
2016-10-14, by wenzelm
clarified platform families vs. bundles;
2016-10-14, by wenzelm
more general operations;
2016-10-14, by wenzelm
website index for existing bundles;
2016-10-14, by wenzelm
tuned messages;
2016-10-14, by wenzelm
added option -p for platform families;
2016-10-14, by wenzelm
more formal Release_Info;
2016-10-14, by wenzelm
replaced shell script by Isabelle/Scala;
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
tuned whitespace;
2016-10-13, by wenzelm
clarified;
2016-10-13, by wenzelm
tuned;
2016-10-13, by wenzelm
tuned message;
2016-10-13, by wenzelm
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

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

isabelle