Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2016-03-07 wenzelm tuned -- more standard operations; changeset | files
2016-03-07 wenzelm File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output; changeset | files
2016-03-07 wenzelm clarified treatment of DEL; changeset | files
2016-03-07 wenzelm clarified RAW_ML_SYSTEM; changeset | files
2016-03-07 wenzelm tuned; changeset | files
2016-03-07 wenzelm Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined; changeset | files
2016-03-07 wenzelm manage the underlying ML process in Scala; changeset | files
2016-03-07 wenzelm clarified modules; changeset | files
2016-03-07 wenzelm tuned signature; changeset | files
2016-03-09 paulson Merge changeset | files
2016-03-09 paulson Wenda Li's new material: residue theorem, argument_principle, Rouche_theorem changeset | files
2016-03-08 haftmann explicit record values for dictionary variables changeset | files
2016-03-08 haftmann provide explicit hint concering uniqueness of derivation changeset | files
2016-03-08 haftmann syntax for multiset membership modelled after syntax for set membership changeset | files
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip
isabelle