Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Wed, 24 Nov 2021 22:57:33 +0100 wenzelm option document_comment_latex supports e.g. Dagstuhl LIPIcs; changeset | files
Wed, 24 Nov 2021 21:04:39 +0100 wenzelm more explicit type Latex.Tags; changeset | files
Wed, 24 Nov 2021 15:33:43 +0100 wenzelm more uniform treatment of optional_argument for Latex elements; changeset | files
Tue, 23 Nov 2021 21:43:45 +0100 wenzelm removed pointless 'text_cartouche' command: regular 'text' already supports cartouches; changeset | files
Tue, 23 Nov 2021 21:02:13 +0100 wenzelm example: alternative document headings, based on more general document output markup; changeset | files
Tue, 23 Nov 2021 20:46:40 +0100 wenzelm more general document output: enclosing markup is defined in user-space; changeset | files
Tue, 23 Nov 2021 17:14:55 +0100 wenzelm clarified modules (see c299abcf7081); changeset | files
Tue, 23 Nov 2021 16:06:09 +0100 wenzelm output for document commands like 'section', 'text' is defined in user-space, as part of the command transaction; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip
isabelle