# HG changeset patch # User wenzelm # Date 1216211327 -7200 # Node ID edc141a4ecde94d8db4c801d80950b992216114b # Parent 72fe9939a2abf5d4afd4a6beba57cb457d096609 shortlogentry/filelogentry: show shortdate and full description; diff -r 72fe9939a2ab -r edc141a4ecde Admin/Mercurial/isabelle-style.diff --- a/Admin/Mercurial/isabelle-style.diff Wed Jul 16 14:21:57 2008 +0200 +++ b/Admin/Mercurial/isabelle-style.diff Wed Jul 16 14:28:47 2008 +0200 @@ -13,11 +13,15 @@ >