Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/markup.ML
changeset 25522 26851f8bdf14
parent 24870 9d057ff8e74c
child 25552 e4d465bc5b35
equal deleted inserted replaced
25521:6cebd2ff3ab7 25522:26851f8bdf14
isabelle