Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
tuned;
2016-10-18, by wenzelm
clarified modules;
2016-10-18, by wenzelm
another attempt to squeeze a list into a property list entry;
2016-10-18, by wenzelm
report actual build_args;
2016-10-18, by wenzelm
more flexible multicore configuration;
2016-10-18, by wenzelm
clarified multiple props: result needs to fit on a single line within the log file;
2016-10-18, by wenzelm
clarified properties;
2016-10-18, by wenzelm
tuned;
2016-10-18, by wenzelm
support for free-form build tags;
2016-10-18, by wenzelm
explicit identification of builds and correlated build groups;
2016-10-18, by wenzelm
avoid spamming log file;
2016-10-18, by wenzelm
shared_home is default for classic isatest home setup;
2016-10-18, by wenzelm
add missing file Essential_Supremum.thy
2016-10-18, by hoelzl
Merge
2016-10-18, by paulson
Inserted necessary dependency
2016-10-18, by paulson
suitable logical type class for abs, sgn
2016-10-18, by haftmann
HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
2016-10-18, by hoelzl
Merge
2016-10-18, by paulson
more from moretop.ml
2016-10-18, by paulson
Jenkins: build in system mode again
2016-10-18, by Lars Hupel
Jenkins: configurable clean build
2016-10-18, by Lars Hupel
HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
2016-10-18, by hoelzl
HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
2016-10-13, by hoelzl
Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche)
2016-10-17, by eberlm
restored document structure after theory refactoring
2016-10-18, by haftmann
NEWS;
2016-10-17, by wenzelm
merged
2016-10-17, by wenzelm
merged
2016-10-17, by wenzelm
improved platform coverage: macbroy30, macbroy31;
2016-10-17, by wenzelm
eliminated unused argument;
2016-10-17, by wenzelm
accomodate Poly/ML repository version, which treats singleton strings as boxed;
2016-10-17, by wenzelm
re-use "threads" for --gcthreads;
2016-10-17, by wenzelm
merged
2016-10-17, by nipkow
setprod -> prod
2016-10-17, by nipkow
merged
2016-10-17, by wimmers
Modified transfer principle in HOL/NSA to cause less ho-unficiation
2016-10-17, by Simon Wimmer
merged
2016-10-17, by nipkow
updated to setsum -> sum
2016-10-17, by nipkow
setsum -> sum
2016-10-17, by nipkow
uniform Isabelle settings -- avoid picking up different JAVA_HOME;
2016-10-17, by wenzelm
isabelle build -N;
2016-10-16, by wenzelm
support for Non-Uniform Memory Access of separate CPU nodes;
2016-10-16, by wenzelm
proper result;
2016-10-16, by wenzelm
merged
2016-10-16, by wenzelm
merged
2016-10-16, by wenzelm
more thorough cleanup;
2016-10-16, by wenzelm
tuned;
2016-10-16, by wenzelm
removed useless operation -- would require bash_process wrapper;
2016-10-16, by wenzelm
tuned signature;
2016-10-16, by wenzelm
simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
2016-10-16, by wenzelm
more robust;
2016-10-16, by wenzelm
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
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
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
+10000
tip