Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2016-10-17 wenzelm NEWS; changeset | files
2016-10-17 wenzelm merged changeset | files
2016-10-17 wenzelm merged changeset | files
2016-10-17 wenzelm improved platform coverage: macbroy30, macbroy31; changeset | files
2016-10-17 wenzelm eliminated unused argument; changeset | files
2016-10-17 wenzelm accomodate Poly/ML repository version, which treats singleton strings as boxed; changeset | files
2016-10-17 wenzelm re-use "threads" for --gcthreads; changeset | files
2016-10-17 nipkow merged changeset | files
2016-10-17 nipkow setprod -> prod changeset | files
2016-10-17 wimmers merged changeset | files
2016-10-17 Simon Wimmer Modified transfer principle in HOL/NSA to cause less ho-unficiation changeset | files
2016-10-17 nipkow merged changeset | files
2016-10-17 nipkow updated to setsum -> sum changeset | files
2016-10-17 nipkow setsum -> sum changeset | files
2016-10-17 wenzelm uniform Isabelle settings -- avoid picking up different JAVA_HOME; changeset | files
2016-10-16 wenzelm isabelle build -N; changeset | files
2016-10-16 wenzelm support for Non-Uniform Memory Access of separate CPU nodes; changeset | files
2016-10-16 wenzelm proper result; changeset | files
2016-10-16 wenzelm merged changeset | files
2016-10-16 wenzelm merged changeset | files
2016-10-16 wenzelm more thorough cleanup; changeset | files
2016-10-16 wenzelm tuned; changeset | files
2016-10-16 wenzelm removed useless operation -- would require bash_process wrapper; changeset | files
2016-10-16 wenzelm tuned signature; changeset | files
2016-10-16 wenzelm simplified SSH.Session: sftp channel is always open and its operations provided by the main interface; changeset | files
2016-10-16 wenzelm more robust; changeset | files
2016-10-16 wenzelm sftp.mkdirs according to 2a5dbad75355; changeset | files
2016-10-16 wenzelm more compression for big log files; changeset | files
2016-10-16 wenzelm clarified setup_repository: more uniform pull vs. clone, without update; changeset | files
2016-10-16 wenzelm proper setup of fresh repository; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
isabelle