diff for duplicates of <201110221352.22741.nai.xia@gmail.com> diff --git a/a/1.txt b/N1/1.txt index 151422f..e6e8a98 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -152,4 +152,13 @@ no two VMAs stay not merged for no good reason. Our situation again makes me have the strong feeling that we are really in bad need of a computer aided way to travel all possible state space. There are some guys around me who do automatic software testing research. -But I am afraid our problem is too much "real world" for them... sigh... +But I am afraid our problem is too much "real world" for them... sigh... + + + +-- +To unsubscribe, send a message with 'unsubscribe linux-mm' in +the body to majordomo@kvack.org. For more info on Linux MM, +see: http://www.linux-mm.org/ . +Fight unfair telecom internet charges in Canada: sign http://stopthemeter.ca/ +Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a> diff --git a/a/content_digest b/N1/content_digest index 817f746..36772b9 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -169,6 +169,15 @@ "Our situation again makes me have the strong feeling that we are really\n" "in bad need of a computer aided way to travel all possible state space.\n" "There are some guys around me who do automatic software testing research.\n" - "But I am afraid our problem is too much \"real world\" for them... sigh..." + "But I am afraid our problem is too much \"real world\" for them... sigh... \n" + "\n" + "\n" + "\n" + "--\n" + "To unsubscribe, send a message with 'unsubscribe linux-mm' in\n" + "the body to majordomo@kvack.org. For more info on Linux MM,\n" + "see: http://www.linux-mm.org/ .\n" + "Fight unfair telecom internet charges in Canada: sign http://stopthemeter.ca/\n" + "Don't email: <a href=mailto:\"dont@kvack.org\"> email@kvack.org </a>" -51629e2e4684b7c0ce9e860bc0456eaeb7d7f4384904df42e439c39cd872d6dc +3f1b61b02f30d8f73faeaa41bb4f0b0b552eef30e9e1842ff59a09da9a5c7c3c
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.