Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
another sample found by Stefan Berghofer;
authorwenzelm
Mon, 26 Aug 2013 22:01:39 +0200
changeset 53213 a11e55f667db
parent 53212 387b9f7cb0ac
child 53214 bae01293f4dd
another sample found by Stefan Berghofer;
src/Pure/General/sha1_samples.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/sha1_samples.ML	Mon Aug 26 21:56:08 2013 +0200
+++ b/src/Pure/General/sha1_samples.ML	Mon Aug 26 22:01:39 2013 +0200
@@ -28,7 +28,8 @@
     ("abcdefghijklmnopqrstuvwxyz", "32d10c7b8cf96570ca04ce37f2a19d84240d3a89"),
     ("The quick brown fox jumps over the lazy dog", "2fd4e1c67a2d28fced849ee1bb76e7391b93eb12"),
     (replicate_string 100 "\000", "ed4a77d1b56a118938788fc53037759b6c501e3d"),
-    ("a\000b", "4a3dec2d1f8245280855c42db0ee4239f917fdb8")];
+    ("a\000b", "4a3dec2d1f8245280855c42db0ee4239f917fdb8"),
+    ("\000\001", "3f29546453678b855931c174a97d6c0894b8f546")];
 
 val _ = test ();
isabelle