Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +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-11 wenzelm support user@host syntax; changeset | files
2016-10-11 wenzelm modernized date format; changeset | files
2016-10-11 wenzelm tuned signature; changeset | files
2016-10-11 wenzelm eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline; changeset | files
2016-10-11 wenzelm support for remote tmp dirs; changeset | files
2016-10-10 wenzelm close more thoroughly; changeset | files
2016-10-10 wenzelm provide execute operation, similar to Isabelle_System.bash; changeset | files
2016-10-10 wenzelm proper support for exec channel (see also bash.scala); changeset | files
2016-10-10 wenzelm proper hierarchic names; changeset | files
2016-10-10 wenzelm more Sftp operations; changeset | files
2016-10-10 wenzelm more specific channels; changeset | files
2016-10-10 wenzelm clarified treatment of options; changeset | files
2016-10-10 wenzelm support for remote command execution; changeset | files
2016-10-10 wenzelm tuned; changeset | files
2016-10-10 wenzelm more generous timeout default (see also jEdit/FTP); changeset | files
2016-10-10 wenzelm connect session by default; changeset | files
2016-10-10 wenzelm clarified (hardwired!) default (see also jEdit/FTP); changeset | files
2016-10-10 wenzelm tuned comment; changeset | files
2016-10-09 wenzelm support for SSH in Isabelle/Scala; changeset | files
2016-10-10 paulson invariance of domain changeset | files
2016-10-09 wenzelm enforce detailed build log; changeset | files
2016-10-09 wenzelm record heap sizes; changeset | files
2016-10-09 wenzelm inline session ML statistics into main build log; changeset | files
2016-10-09 wenzelm modernized; changeset | files
2016-10-08 wenzelm build_history log files with formal meta info; changeset | files
2016-10-08 wenzelm prefer explicit timezone offset for printing; changeset | files
2016-10-08 wenzelm tuned; changeset | files
2016-10-08 haftmann tuned name of bit truncating operations changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip
isabelle