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-01-11 kleing print_record: diagnostic printing of record definitions changeset | files
2016-01-10 wenzelm misc tuning and modernization; changeset | files
2016-01-10 wenzelm prune old versions more often, to reduce overall heap requirements; changeset | files
2016-01-09 wenzelm generate HTML version of NEWS, with proper symbol rendering; changeset | files
2016-01-09 wenzelm tuned -- according to ML version; changeset | files
2016-01-09 wenzelm suppress somewhat pointless description (NB: this is displayed in 'print_methods'); changeset | files
2016-01-09 wenzelm merged changeset | files
2016-01-09 wenzelm tuned syntax; changeset | files
2016-01-09 wenzelm tuned; changeset | files
2016-01-09 wenzelm \<struct> loses its rendering and is superseded by \<diamondop>; changeset | files
2016-01-09 wenzelm discontinued \<struct> syntax; changeset | files
2016-01-08 wenzelm tuned whitespace; changeset | files
2016-01-08 wenzelm tuned; changeset | files
2016-01-08 wenzelm clarified symbol insertion, depending on buffer encoding; changeset | files
2016-01-08 wenzelm tuned; changeset | files
2016-01-08 hoelzl fix code generation for uniformity: uniformity is a non-computable pure data. changeset | files
2016-01-08 hoelzl add uniform spaces changeset | files
2016-01-08 wenzelm merged changeset | files
2016-01-08 wenzelm merged changeset | files
2016-01-08 wenzelm tuned; changeset | files
2016-01-08 wenzelm merged changeset | files
2016-01-07 wenzelm more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links; changeset | files
2016-01-07 wenzelm tuned signature; changeset | files
2016-01-07 wenzelm prefer non-ASCII output; changeset | files
2016-01-07 wenzelm more uniform treatment of package internals; changeset | files
2016-01-07 wenzelm more thorough GUI update; changeset | files
2016-01-07 wenzelm tuned; changeset | files
2016-01-08 nipkow added lemma changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip
isabelle