From 61d4d642a0870f5b32317be769055f5c304971a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Wolf-Martell=20Montw=C3=A9?= Date: Tue, 29 Aug 2023 14:39:32 +0200 Subject: [PATCH 1/2] Change line break rule to avoid issues with contributions from Windows --- .editorconfig | 1 + .gitattributes | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.editorconfig b/.editorconfig index 56b592ba815..f76d5403c0a 100644 --- a/.editorconfig +++ b/.editorconfig @@ -5,6 +5,7 @@ charset = utf-8 indent_size = 4 indent_style = space insert_final_newline = true +end_of_line = lf [*.{kt,kts}] ij_kotlin_imports_layout = *,^ diff --git a/.gitattributes b/.gitattributes index 411c0777755..6e15da8b7f1 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,4 +1,4 @@ -* text=auto eol=lf +* text=auto -*.bat text eol=crlf +*.bat eol=crlf *.jar binary From 27be361bb472a775568e744e3aa180e272387cdb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Wolf-Martell=20Montw=C3=A9?= Date: Tue, 29 Aug 2023 14:58:38 +0200 Subject: [PATCH 2/2] Fix line breaks --- .../demo/src/main/resources/inbox/intro.eml | 18 +- .../resources/turing/turing_award_1966.eml | 168 +- .../resources/turing/turing_award_1967.eml | 70 +- .../resources/turing/turing_award_1968.eml | 80 +- .../resources/turing/turing_award_1970.eml | 70 +- .../resources/turing/turing_award_1971.eml | 64 +- .../resources/turing/turing_award_1972.eml | 54 +- .../resources/turing/turing_award_1975.eml | 60 +- .../resources/turing/turing_award_1977.eml | 78 +- .../resources/turing/turing_award_1978.eml | 72 +- .../resources/turing/turing_award_1979.eml | 66 +- .../resources/turing/turing_award_1981.eml | 102 +- .../resources/turing/turing_award_1983.eml | 92 +- .../resources/turing/turing_award_1987.eml | 84 +- .../resources/turing/turing_award_1991.eml | 88 +- .../resources/turing/turing_award_1996.eml | 56 +- .../jmap_responses/blob/email/email_1.eml | 28 +- .../jmap_responses/blob/email/email_2.eml | 32 +- .../jmap_responses/blob/email/email_3.eml | 18 +- docs/activity_diagram.graphml | 1872 ++++++++--------- 20 files changed, 1586 insertions(+), 1586 deletions(-) diff --git a/backend/demo/src/main/resources/inbox/intro.eml b/backend/demo/src/main/resources/inbox/intro.eml index 8ff767f59ae..99021ace032 100644 --- a/backend/demo/src/main/resources/inbox/intro.eml +++ b/backend/demo/src/main/resources/inbox/intro.eml @@ -1,9 +1,9 @@ -MIME-Version: 1.0 -From: "cketti" -Date: Thu, 23 Sep 2021 23:42:00 +0200 -Message-ID: -Subject: Welcome to K-9 Mail -To: User -Content-Type: text/plain; charset=UTF-8 - -Congratulations, you have managed to set up K-9 Mail's demo account. Have fun exploring the app. +MIME-Version: 1.0 +From: "cketti" +Date: Thu, 23 Sep 2021 23:42:00 +0200 +Message-ID: +Subject: Welcome to K-9 Mail +To: User +Content-Type: text/plain; charset=UTF-8 + +Congratulations, you have managed to set up K-9 Mail's demo account. Have fun exploring the app. diff --git a/backend/demo/src/main/resources/turing/turing_award_1966.eml b/backend/demo/src/main/resources/turing/turing_award_1966.eml index 6ad832041da..bed070890c8 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1966.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1966.eml @@ -1,84 +1,84 @@ -MIME-Version: 1.0 -From: "Alan J. Perlis" -Date: Sat, 01 Jan 1966 12:00:00 -0400 -Message-ID: -Subject: The Synthesis of Algorithmic Systems -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7b450b100959e604d85a5320 - ---047d7b450b100959e604d85a5320 -Content-Type: text/plain; charset=UTF-8 - -Both knowledge and wisdom extend man's reach. Knowledge led to computers, -wisdom to chopsticks. Unfortunately our association is overinvolved with -the former. The latter will have to wait for a more sublime day. -On what does and will the fame of Turing rest? That he proved a theorem -showing that for a general computing device--later dubbed a "Turing -machine"--there existed functions which it could not compute? I doubt it. -More likely it rests on the model he invented and employed: his formal -mechanism. -This model has captured the imagination and mobilized the thoughts of a -generation of scientists. It has provided a basis for arguments leading to -theories. His model has proved so useful that its generated activity has -been distributed not only in mathematics, but through several technologies -as well. The arguments that have been employed are not always formal and -the consequent creations not all abstract. -Indeed a most fruitful consequence of the Turing machine has been with the -creation, study and computation of functions which are computable, i.e., in -computer programming. This is not surprising since computers can compute so -much more than we yet know how to specify. -I am sure that all will agree that this model has been enormously valuable. -History will forgive me for not devoting any attention in this lecture to -the effect which Turing had on the development of the general-purpose -digital computer, which has further accelerated our involvement with the -theory and practice of computation. -Since the appearance of Turing's model there have, of course, been others -which have concerned and benefited us in computing. I think, however, that -only one has had an effect as great as Turing's: the formal mechanism -called ALGOL Many will immediately disagree, pointing out that too few of -us have understood it or used it. -While such has, unhappily, been the case, it is not the point. The impulse -given by ALGOL to the development of research in computer science is -relevant while the number of adherents is not. ALGOL, too, has mobilized -our thoughts and has provided us with a basis for our arguments. - ---047d7b450b100959e604d85a5320 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
Both knowledge and wisdom extend man's reach. Kno= -wledge led to computers, wisdom to chopsticks. Unfortunately our associatio= -n is overinvolved with the former. The latter will have to wait for a more = -sublime day.=C2=A0
-
On what does and will the fame of Turing rest? That he proved a theore= -m showing that for a general computing device--later dubbed a "Turing = -machine"--there existed functions which it could not compute? I doubt = -it. More likely it rests on the model he invented and employed: his formal = -mechanism.=C2=A0
-
This model has captured the imagination and mobilized the thoughts of = -a generation of scientists. It has provided a basis for arguments leading t= -o theories. His model has proved so useful that its generated activity has = -been distributed not only in mathematics, but through several technologies = -as well. The arguments that have been employed are not always formal and th= -e consequent creations not all abstract.=C2=A0
-
Indeed a most fruitful consequence of the Turing machine has been with= - the creation, study and computation of functions which are computable, i.e= -., in computer programming. This is not surprising since computers can comp= -ute so much more than we yet know how to specify.=C2=A0
-
I am sure that all will agree that this model has been enormously valu= -able. History will forgive me for not devoting any attention in this lectur= -e to the effect which Turing had on the development of the general-purpose = -digital computer, which has further accelerated our involvement with the th= -eory and practice of computation.=C2=A0
-
Since the appearance of Turing's model there have, of course, been= - others which have concerned and benefited us in computing. I think, howeve= -r, that only one has had an effect as great as Turing's: the formal mec= -hanism called ALGOL Many will immediately disagree, pointing out that too f= -ew of us have understood it or used it.=C2=A0
-
While such has, unhappily, been the case, it is not the point. The imp= -ulse given by ALGOL to the development of research in computer science is r= -elevant while the number of adherents is not. ALGOL, too, has mobilized our= - thoughts and has provided us with a basis for our arguments.=C2=A0
-
- ---047d7b450b100959e604d85a5320-- +MIME-Version: 1.0 +From: "Alan J. Perlis" +Date: Sat, 01 Jan 1966 12:00:00 -0400 +Message-ID: +Subject: The Synthesis of Algorithmic Systems +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7b450b100959e604d85a5320 + +--047d7b450b100959e604d85a5320 +Content-Type: text/plain; charset=UTF-8 + +Both knowledge and wisdom extend man's reach. Knowledge led to computers, +wisdom to chopsticks. Unfortunately our association is overinvolved with +the former. The latter will have to wait for a more sublime day. +On what does and will the fame of Turing rest? That he proved a theorem +showing that for a general computing device--later dubbed a "Turing +machine"--there existed functions which it could not compute? I doubt it. +More likely it rests on the model he invented and employed: his formal +mechanism. +This model has captured the imagination and mobilized the thoughts of a +generation of scientists. It has provided a basis for arguments leading to +theories. His model has proved so useful that its generated activity has +been distributed not only in mathematics, but through several technologies +as well. The arguments that have been employed are not always formal and +the consequent creations not all abstract. +Indeed a most fruitful consequence of the Turing machine has been with the +creation, study and computation of functions which are computable, i.e., in +computer programming. This is not surprising since computers can compute so +much more than we yet know how to specify. +I am sure that all will agree that this model has been enormously valuable. +History will forgive me for not devoting any attention in this lecture to +the effect which Turing had on the development of the general-purpose +digital computer, which has further accelerated our involvement with the +theory and practice of computation. +Since the appearance of Turing's model there have, of course, been others +which have concerned and benefited us in computing. I think, however, that +only one has had an effect as great as Turing's: the formal mechanism +called ALGOL Many will immediately disagree, pointing out that too few of +us have understood it or used it. +While such has, unhappily, been the case, it is not the point. The impulse +given by ALGOL to the development of research in computer science is +relevant while the number of adherents is not. ALGOL, too, has mobilized +our thoughts and has provided us with a basis for our arguments. + +--047d7b450b100959e604d85a5320 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
Both knowledge and wisdom extend man's reach. Kno= +wledge led to computers, wisdom to chopsticks. Unfortunately our associatio= +n is overinvolved with the former. The latter will have to wait for a more = +sublime day.=C2=A0
+
On what does and will the fame of Turing rest? That he proved a theore= +m showing that for a general computing device--later dubbed a "Turing = +machine"--there existed functions which it could not compute? I doubt = +it. More likely it rests on the model he invented and employed: his formal = +mechanism.=C2=A0
+
This model has captured the imagination and mobilized the thoughts of = +a generation of scientists. It has provided a basis for arguments leading t= +o theories. His model has proved so useful that its generated activity has = +been distributed not only in mathematics, but through several technologies = +as well. The arguments that have been employed are not always formal and th= +e consequent creations not all abstract.=C2=A0
+
Indeed a most fruitful consequence of the Turing machine has been with= + the creation, study and computation of functions which are computable, i.e= +., in computer programming. This is not surprising since computers can comp= +ute so much more than we yet know how to specify.=C2=A0
+
I am sure that all will agree that this model has been enormously valu= +able. History will forgive me for not devoting any attention in this lectur= +e to the effect which Turing had on the development of the general-purpose = +digital computer, which has further accelerated our involvement with the th= +eory and practice of computation.=C2=A0
+
Since the appearance of Turing's model there have, of course, been= + others which have concerned and benefited us in computing. I think, howeve= +r, that only one has had an effect as great as Turing's: the formal mec= +hanism called ALGOL Many will immediately disagree, pointing out that too f= +ew of us have understood it or used it.=C2=A0
+
While such has, unhappily, been the case, it is not the point. The imp= +ulse given by ALGOL to the development of research in computer science is r= +elevant while the number of adherents is not. ALGOL, too, has mobilized our= + thoughts and has provided us with a basis for our arguments.=C2=A0
+
+ +--047d7b450b100959e604d85a5320-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1967.eml b/backend/demo/src/main/resources/turing/turing_award_1967.eml index a7e3299e195..9326afab9f8 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1967.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1967.eml @@ -1,35 +1,35 @@ -MIME-Version: 1.0 -From: "Maurice V. Wilkes" -Date: Wed, 30 Aug 1967 12:00:00 -0400 -Message-ID: -Subject: Computers Then and Now -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7b5d9bdd0d571a04d85aec30 - ---047d7b5d9bdd0d571a04d85aec30 -Content-Type: text/plain; charset=UTF-8 - -I do not imagine that many of the Turing lecturers who will follow me will -be people who were acquainted with Alan Turing. The work on computable -numbers, for which he is famous, was published in 1936 before digital -computers existed. Later he became one of the first of a distinguished -succession of able mathematicians who have made contributions to the -computer field. He was a colorful figure in the early days of digital -computer development in England, and I would find it difficult to speak of -that period without making some references to him. - ---047d7b5d9bdd0d571a04d85aec30 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
I do not imagine that many of the Turing lecturers wh= -o will follow me will be people who were acquainted with Alan Turing. The w= -ork on computable numbers, for which he is famous, was published in 1936 be= -fore digital computers existed. Later he became one of the first of a disti= -nguished succession of able mathematicians who have made contributions to t= -he computer field. He was a colorful figure in the early days of digital co= -mputer development in England, and I would find it difficult to speak of th= -at period without making some references to him.
-
- ---047d7b5d9bdd0d571a04d85aec30-- +MIME-Version: 1.0 +From: "Maurice V. Wilkes" +Date: Wed, 30 Aug 1967 12:00:00 -0400 +Message-ID: +Subject: Computers Then and Now +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7b5d9bdd0d571a04d85aec30 + +--047d7b5d9bdd0d571a04d85aec30 +Content-Type: text/plain; charset=UTF-8 + +I do not imagine that many of the Turing lecturers who will follow me will +be people who were acquainted with Alan Turing. The work on computable +numbers, for which he is famous, was published in 1936 before digital +computers existed. Later he became one of the first of a distinguished +succession of able mathematicians who have made contributions to the +computer field. He was a colorful figure in the early days of digital +computer development in England, and I would find it difficult to speak of +that period without making some references to him. + +--047d7b5d9bdd0d571a04d85aec30 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
I do not imagine that many of the Turing lecturers wh= +o will follow me will be people who were acquainted with Alan Turing. The w= +ork on computable numbers, for which he is famous, was published in 1936 be= +fore digital computers existed. Later he became one of the first of a disti= +nguished succession of able mathematicians who have made contributions to t= +he computer field. He was a colorful figure in the early days of digital co= +mputer development in England, and I would find it difficult to speak of th= +at period without making some references to him.
+
+ +--047d7b5d9bdd0d571a04d85aec30-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1968.eml b/backend/demo/src/main/resources/turing/turing_award_1968.eml index 274260c0ee7..f9b989ad412 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1968.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1968.eml @@ -1,40 +1,40 @@ -MIME-Version: 1.0 -From: Richard Hamming -Date: Tue, 27 Aug 1968 12:00:00 -0400 -Message-ID: -Subject: One Man's View of Computer Science -To: Alan Turing -Content-Type: multipart/alternative; boundary=089e01227b30f6f60004d85af2ae - ---089e01227b30f6f60004d85af2ae -Content-Type: text/plain; charset=UTF-8 - -Let me begin with a few personal words. When one is notified that he has -been elected the ACM Turing lecturer for the year, he is at first -surprised--especially is the nonacademic person surprised by an ACM award. -After a little while the surprise is replaced by a feeling of pleasure. -Still later comes a feeling of "Why me?" With all that has been done and is -being done in computing, why single out me and my work? Well, I suppose -that it has to happen to someone each year, and this -time I am the lucky person. Anyway, let me thank you for the honor you have -given to me and by inference to the Bell Telephone Laboratories where I -work and which has made possible so much of what I have done. - ---089e01227b30f6f60004d85af2ae -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
Let me begin with a few personal words. When one is n= -otified that he has been elected the ACM Turing lecturer for the year, he i= -s at first surprised--especially is the nonacademic person surprised by an = -ACM award. After a little while the surprise is replaced by a feeling of pl= -easure. Still later comes a feeling of "Why me?" With all that ha= -s been done and is being done in computing, why single out me and my work? = -Well, I suppose that it has to happen to someone each year, and this=C2=A0<= -/div> -
time I am the lucky person. Anyway, let me thank you for the honor you= - have given to me and by inference to the Bell Telephone Laboratories where= - I work and which has made possible so much of what I have done.
- ---089e01227b30f6f60004d85af2ae-- +MIME-Version: 1.0 +From: Richard Hamming +Date: Tue, 27 Aug 1968 12:00:00 -0400 +Message-ID: +Subject: One Man's View of Computer Science +To: Alan Turing +Content-Type: multipart/alternative; boundary=089e01227b30f6f60004d85af2ae + +--089e01227b30f6f60004d85af2ae +Content-Type: text/plain; charset=UTF-8 + +Let me begin with a few personal words. When one is notified that he has +been elected the ACM Turing lecturer for the year, he is at first +surprised--especially is the nonacademic person surprised by an ACM award. +After a little while the surprise is replaced by a feeling of pleasure. +Still later comes a feeling of "Why me?" With all that has been done and is +being done in computing, why single out me and my work? Well, I suppose +that it has to happen to someone each year, and this +time I am the lucky person. Anyway, let me thank you for the honor you have +given to me and by inference to the Bell Telephone Laboratories where I +work and which has made possible so much of what I have done. + +--089e01227b30f6f60004d85af2ae +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
Let me begin with a few personal words. When one is n= +otified that he has been elected the ACM Turing lecturer for the year, he i= +s at first surprised--especially is the nonacademic person surprised by an = +ACM award. After a little while the surprise is replaced by a feeling of pl= +easure. Still later comes a feeling of "Why me?" With all that ha= +s been done and is being done in computing, why single out me and my work? = +Well, I suppose that it has to happen to someone each year, and this=C2=A0<= +/div> +
time I am the lucky person. Anyway, let me thank you for the honor you= + have given to me and by inference to the Bell Telephone Laboratories where= + I work and which has made possible so much of what I have done.
+ +--089e01227b30f6f60004d85af2ae-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1970.eml b/backend/demo/src/main/resources/turing/turing_award_1970.eml index 811130ac1dd..98edc18e6dd 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1970.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1970.eml @@ -1,35 +1,35 @@ -MIME-Version: 1.0 -From: "James H. Wilkinson" -Date: Tue, 01 Sep 1970 12:00:00 -0400 -Message-ID: -Subject: Some Comments from a Numerical Analyst -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7b5d9bdd9697d504d85ac65f - ---047d7b5d9bdd9697d504d85ac65f -Content-Type: text/plain; charset=UTF-8 - -When at last I recovered from the feeling of shocked elation at being -invited to give the 1970 Turing Award Lecture, I became aware that I must -indeed prepare an appropriate lecture. There appears to be a tradition that -a Turing Lecturer should decide for himself what is expected from him, and -probably for this reason previous lectures have differed considerably in -style and content. However, it was made quite clear that I was to give an -after-luncheon speech and that I would not have the benefit of an overhead -projector or a blackboard. - ---047d7b5d9bdd9697d504d85ac65f -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
When at last I recovered from the feeling of shocked = -elation at being invited to give the 1970 Turing Award Lecture, I became aw= -are that I must indeed prepare an appropriate lecture. There appears to be = -a tradition that a Turing Lecturer should decide for himself what is expect= -ed from him, and probably for this reason previous lectures have differed c= -onsiderably in style and content. However, it was made quite clear that I w= -as to give an after-luncheon speech and that I would not have the benefit o= -f an overhead projector or a blackboard.
-
- ---047d7b5d9bdd9697d504d85ac65f-- +MIME-Version: 1.0 +From: "James H. Wilkinson" +Date: Tue, 01 Sep 1970 12:00:00 -0400 +Message-ID: +Subject: Some Comments from a Numerical Analyst +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7b5d9bdd9697d504d85ac65f + +--047d7b5d9bdd9697d504d85ac65f +Content-Type: text/plain; charset=UTF-8 + +When at last I recovered from the feeling of shocked elation at being +invited to give the 1970 Turing Award Lecture, I became aware that I must +indeed prepare an appropriate lecture. There appears to be a tradition that +a Turing Lecturer should decide for himself what is expected from him, and +probably for this reason previous lectures have differed considerably in +style and content. However, it was made quite clear that I was to give an +after-luncheon speech and that I would not have the benefit of an overhead +projector or a blackboard. + +--047d7b5d9bdd9697d504d85ac65f +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
When at last I recovered from the feeling of shocked = +elation at being invited to give the 1970 Turing Award Lecture, I became aw= +are that I must indeed prepare an appropriate lecture. There appears to be = +a tradition that a Turing Lecturer should decide for himself what is expect= +ed from him, and probably for this reason previous lectures have differed c= +onsiderably in style and content. However, it was made quite clear that I w= +as to give an after-luncheon speech and that I would not have the benefit o= +f an overhead projector or a blackboard.
+
+ +--047d7b5d9bdd9697d504d85ac65f-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1971.eml b/backend/demo/src/main/resources/turing/turing_award_1971.eml index 387f9957709..00b5b495e0a 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1971.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1971.eml @@ -1,32 +1,32 @@ -MIME-Version: 1.0 -From: John McCarthy -Date: Fri, 01 Jan 1971 12:00:00 -0400 -Message-ID: -Subject: Generality in Artificial Intelligence -To: Alan Turing -Content-Type: multipart/alternative; boundary=089e01030106b6942904d85ad870 - ---089e01030106b6942904d85ad870 -Content-Type: text/plain; charset=UTF-8 - -Postscript -My 1971 Turing Award Lecture was entitled "Generality in Artificial -Intelligence." The topic turned out to have been overambitious in that I -discovered that I was unable to put my thoughts on the subject in a -satisfactory written form at that time. It would have been better to have -reviewed previous work rather than attempt something new, but such wasn't -my custom at that time. - ---089e01030106b6942904d85ad870 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
Postscript
My 1971 Turing Award Lecture was= - entitled "Generality in Artificial Intelligence." The topic turn= -ed out to have been overambitious in that I discovered that I was unable to= - put my thoughts on the subject in a satisfactory written form at that time= -. It would have been better to have reviewed previous work rather than atte= -mpt something new, but such wasn't my custom at that time.
-
- ---089e01030106b6942904d85ad870-- +MIME-Version: 1.0 +From: John McCarthy +Date: Fri, 01 Jan 1971 12:00:00 -0400 +Message-ID: +Subject: Generality in Artificial Intelligence +To: Alan Turing +Content-Type: multipart/alternative; boundary=089e01030106b6942904d85ad870 + +--089e01030106b6942904d85ad870 +Content-Type: text/plain; charset=UTF-8 + +Postscript +My 1971 Turing Award Lecture was entitled "Generality in Artificial +Intelligence." The topic turned out to have been overambitious in that I +discovered that I was unable to put my thoughts on the subject in a +satisfactory written form at that time. It would have been better to have +reviewed previous work rather than attempt something new, but such wasn't +my custom at that time. + +--089e01030106b6942904d85ad870 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
Postscript
My 1971 Turing Award Lecture was= + entitled "Generality in Artificial Intelligence." The topic turn= +ed out to have been overambitious in that I discovered that I was unable to= + put my thoughts on the subject in a satisfactory written form at that time= +. It would have been better to have reviewed previous work rather than atte= +mpt something new, but such wasn't my custom at that time.
+
+ +--089e01030106b6942904d85ad870-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1972.eml b/backend/demo/src/main/resources/turing/turing_award_1972.eml index 9c533bdbd98..676c77c0045 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1972.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1972.eml @@ -1,27 +1,27 @@ -MIME-Version: 1.0 -From: "Edsger W. Dijkstra" -Date: Mon, 02 Aug 1972 12:00:00 -0500 -Message-ID: -Subject: The Humble Programmer -To: Alan Turing -Content-Type: text/plain; charset=UTF-8; format=flowed - -As a result of a long sequence of coincidences I entered the programming -profession officially on the first spring morning of 1952, and as far as -I have been able to trace, I was the first Dutchman to do so in my -country. In retrospect the most amazing thing is the slowness with which, -at least in my part of the world, the programming profession emerged, a -slowness which is now hard to believe. But I am grateful for two vivid -recollections from that period that establish that slowness beyond any -doubt. - -After having programmed for some three years, I had a discussion with -van Wijngaarden, who was then my boss at the Mathematical Centre in -Amsterdam - a discussion for which I shall remain grateful to him -as long as I live. The point was that I was supposed to study theoretical -physics at the University of Leiden simultaneously, and as I found the -two activities harder and harder to combine, I had to make up my -mind, either to stop programming and become a real, respectable theoretical -physicist, or to carry my study of physics to a formal completion only, -with a minimum of effort, and to become..., yes what? A programmer? -But was that a respectable profession? After all, what was programming? +MIME-Version: 1.0 +From: "Edsger W. Dijkstra" +Date: Mon, 02 Aug 1972 12:00:00 -0500 +Message-ID: +Subject: The Humble Programmer +To: Alan Turing +Content-Type: text/plain; charset=UTF-8; format=flowed + +As a result of a long sequence of coincidences I entered the programming +profession officially on the first spring morning of 1952, and as far as +I have been able to trace, I was the first Dutchman to do so in my +country. In retrospect the most amazing thing is the slowness with which, +at least in my part of the world, the programming profession emerged, a +slowness which is now hard to believe. But I am grateful for two vivid +recollections from that period that establish that slowness beyond any +doubt. + +After having programmed for some three years, I had a discussion with +van Wijngaarden, who was then my boss at the Mathematical Centre in +Amsterdam - a discussion for which I shall remain grateful to him +as long as I live. The point was that I was supposed to study theoretical +physics at the University of Leiden simultaneously, and as I found the +two activities harder and harder to combine, I had to make up my +mind, either to stop programming and become a real, respectable theoretical +physicist, or to carry my study of physics to a formal completion only, +with a minimum of effort, and to become..., yes what? A programmer? +But was that a respectable profession? After all, what was programming? diff --git a/backend/demo/src/main/resources/turing/turing_award_1975.eml b/backend/demo/src/main/resources/turing/turing_award_1975.eml index f91e9ec5c6e..c5c835e8fc0 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1975.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1975.eml @@ -1,30 +1,30 @@ -MIME-Version: 1.0 -From: Allen Newell -Cc: Herbert Simon -Date: Mon, 20 Oct 1975 12:00:00 -0500 -Message-ID: -Subject: Computer Science as Empirical Inquiry: Symbols and Search -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7b450b1092035304d85abf33 - ---047d7b450b1092035304d85abf33 -Content-Type: text/plain; charset=UTF-8 - -Computer science is the study of the phenomena surrounding computers. The -founders of this society understood this very well when they called -themselves the Association for Computing Machinery. The machine---not just -the hardware, but the programmed, living machine--is the organism we study. - ---047d7b450b1092035304d85abf33 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
Computer science is the study of the phenomena surrounding= - computers. The founders of this society understood this very well when the= -y called themselves the Association for Computing Machinery. The machine---= -not just the hardware, but the programmed, living machine--is the organism = -we study.
- -
- ---047d7b450b1092035304d85abf33-- +MIME-Version: 1.0 +From: Allen Newell +Cc: Herbert Simon +Date: Mon, 20 Oct 1975 12:00:00 -0500 +Message-ID: +Subject: Computer Science as Empirical Inquiry: Symbols and Search +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7b450b1092035304d85abf33 + +--047d7b450b1092035304d85abf33 +Content-Type: text/plain; charset=UTF-8 + +Computer science is the study of the phenomena surrounding computers. The +founders of this society understood this very well when they called +themselves the Association for Computing Machinery. The machine---not just +the hardware, but the programmed, living machine--is the organism we study. + +--047d7b450b1092035304d85abf33 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
Computer science is the study of the phenomena surrounding= + computers. The founders of this society understood this very well when the= +y called themselves the Association for Computing Machinery. The machine---= +not just the hardware, but the programmed, living machine--is the organism = +we study.
+ +
+ +--047d7b450b1092035304d85abf33-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1977.eml b/backend/demo/src/main/resources/turing/turing_award_1977.eml index 51cafd472a8..74cac780b54 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1977.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1977.eml @@ -1,39 +1,39 @@ -MIME-Version: 1.0 -From: "John W. Backus" -Date: Mon, 17 Oct 1977 12:00:00 -0700 -Message-ID: -Subject: Can Programming Be Liberated from the von Neumann Style? A Functional - Style and Its Algebra of Programs -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7b5d9bdd8a36e804d85ade47 - ---047d7b5d9bdd8a36e804d85ade47 -Content-Type: text/plain; charset=UTF-8 - -Conventional programming languages are growing ever more enormous, but not -stronger. Inherent defects at the most basic level cause them to be both -fat and weak: their primitive word-at-a-time style of programming inherited -from their common ancestor--the von Neumann computer, their close coupling -of semantics to state transitions, their division of programming into a -world of expressions and a world of statements, their inability to -effectively use powerful combining forms for building new programs from -existing ones, and their lack of useful mathematical properties for -reasoning about -programs. - ---047d7b5d9bdd8a36e804d85ade47 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
Conventional programming languages are growing ever m= -ore enormous, but not stronger. Inherent defects at the most basic level ca= -use them to be both fat and weak: their primitive word-at-a-time style of p= -rogramming inherited from their common ancestor--the von Neumann computer, = -their close coupling of semantics to state transitions, their division of p= -rogramming into a world of expressions and a world of statements, their ina= -bility to effectively use powerful combining forms for building new program= -s from existing ones, and their lack of useful mathematical properties for = -reasoning about=C2=A0
-
programs.
- ---047d7b5d9bdd8a36e804d85ade47-- +MIME-Version: 1.0 +From: "John W. Backus" +Date: Mon, 17 Oct 1977 12:00:00 -0700 +Message-ID: +Subject: Can Programming Be Liberated from the von Neumann Style? A Functional + Style and Its Algebra of Programs +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7b5d9bdd8a36e804d85ade47 + +--047d7b5d9bdd8a36e804d85ade47 +Content-Type: text/plain; charset=UTF-8 + +Conventional programming languages are growing ever more enormous, but not +stronger. Inherent defects at the most basic level cause them to be both +fat and weak: their primitive word-at-a-time style of programming inherited +from their common ancestor--the von Neumann computer, their close coupling +of semantics to state transitions, their division of programming into a +world of expressions and a world of statements, their inability to +effectively use powerful combining forms for building new programs from +existing ones, and their lack of useful mathematical properties for +reasoning about +programs. + +--047d7b5d9bdd8a36e804d85ade47 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
Conventional programming languages are growing ever m= +ore enormous, but not stronger. Inherent defects at the most basic level ca= +use them to be both fat and weak: their primitive word-at-a-time style of p= +rogramming inherited from their common ancestor--the von Neumann computer, = +their close coupling of semantics to state transitions, their division of p= +rogramming into a world of expressions and a world of statements, their ina= +bility to effectively use powerful combining forms for building new program= +s from existing ones, and their lack of useful mathematical properties for = +reasoning about=C2=A0
+
programs.
+ +--047d7b5d9bdd8a36e804d85ade47-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1978.eml b/backend/demo/src/main/resources/turing/turing_award_1978.eml index a1001324abb..6dc52b24d7a 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1978.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1978.eml @@ -1,36 +1,36 @@ -MIME-Version: 1.0 -From: Robert Floyd -Date: Mon, 04 Dec 1978 12:00:00 -0500 -Message-ID: -Subject: The Paradigms of Programming -To: Alan Turing -Content-Type: multipart/alternative; boundary=089e0118419206e64304d85af860 - ---089e0118419206e64304d85af860 -Content-Type: text/plain; charset=UTF-8 - -Today I want to talk about the paradigms of programming, how they affect -our success as designers of computer programs, how they should be taught, -and how they should be embodied in our programming languages. -A familiar example of a paradigm of programming is the technique of -structured programming, which appears to be the dominant paradigm in most -current treatments of programming methodology. Structured programming, as -formulated by Dijkstra, Wirth, and Parnas, among others, consists of two -phases. - ---089e0118419206e64304d85af860 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
Today I want to talk about the paradigms of programmi= -ng, how they affect our success as designers of computer programs, how they= - should be taught, and how they should be embodied in our programming langu= -ages.=C2=A0
-
A familiar example of a paradigm of programming is the technique of st= -ructured programming, which appears to be the dominant paradigm in most cur= -rent treatments of programming methodology. Structured programming, as form= -ulated by Dijkstra, Wirth, and Parnas, among others, consists of two phases= -.=C2=A0
-
- ---089e0118419206e64304d85af860-- +MIME-Version: 1.0 +From: Robert Floyd +Date: Mon, 04 Dec 1978 12:00:00 -0500 +Message-ID: +Subject: The Paradigms of Programming +To: Alan Turing +Content-Type: multipart/alternative; boundary=089e0118419206e64304d85af860 + +--089e0118419206e64304d85af860 +Content-Type: text/plain; charset=UTF-8 + +Today I want to talk about the paradigms of programming, how they affect +our success as designers of computer programs, how they should be taught, +and how they should be embodied in our programming languages. +A familiar example of a paradigm of programming is the technique of +structured programming, which appears to be the dominant paradigm in most +current treatments of programming methodology. Structured programming, as +formulated by Dijkstra, Wirth, and Parnas, among others, consists of two +phases. + +--089e0118419206e64304d85af860 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
Today I want to talk about the paradigms of programmi= +ng, how they affect our success as designers of computer programs, how they= + should be taught, and how they should be embodied in our programming langu= +ages.=C2=A0
+
A familiar example of a paradigm of programming is the technique of st= +ructured programming, which appears to be the dominant paradigm in most cur= +rent treatments of programming methodology. Structured programming, as form= +ulated by Dijkstra, Wirth, and Parnas, among others, consists of two phases= +.=C2=A0
+
+ +--089e0118419206e64304d85af860-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1979.eml b/backend/demo/src/main/resources/turing/turing_award_1979.eml index 9322643ae47..e61c5d3b105 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1979.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1979.eml @@ -1,33 +1,33 @@ -MIME-Version: 1.0 -From: "Kenneth E. Iverson" -Date: Mon, 29 Oct 1979 12:00:00 -0500 -Message-ID: -Subject: Notation as a Tool of Thought -To: Alan Turing -Content-Type: multipart/alternative; boundary=20cf30549cad76254e04d85ae4df - ---20cf30549cad76254e04d85ae4df -Content-Type: text/plain; charset=UTF-8 - -The importance of nomenclature, notation, and language as tools of thought -has long been recognized. In chemistry and in botany, for example, the -establishment of systems of nomenclature by Lavoisier and Linnaeus did much -to stimulate and to channel later investigation. Concerning language, -George Boole in his Laws off Thought asserted "That language is an -instrument of human reason, and not merely a medium for the expression of -thought, is a truth generally admitted." - ---20cf30549cad76254e04d85ae4df -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
The importance of nomenclature, notation, and languag= -e as tools of thought has long been recognized. In chemistry and in botany,= - for example, the establishment of systems of nomenclature by Lavoisier and= - Linnaeus did much to stimulate and to channel later investigation. Concern= -ing language, George Boole in his Laws off Thought asserted "That lang= -uage is an instrument of human reason, and not merely a medium for the expr= -ession of thought, is a truth generally admitted."
-
- ---20cf30549cad76254e04d85ae4df-- +MIME-Version: 1.0 +From: "Kenneth E. Iverson" +Date: Mon, 29 Oct 1979 12:00:00 -0500 +Message-ID: +Subject: Notation as a Tool of Thought +To: Alan Turing +Content-Type: multipart/alternative; boundary=20cf30549cad76254e04d85ae4df + +--20cf30549cad76254e04d85ae4df +Content-Type: text/plain; charset=UTF-8 + +The importance of nomenclature, notation, and language as tools of thought +has long been recognized. In chemistry and in botany, for example, the +establishment of systems of nomenclature by Lavoisier and Linnaeus did much +to stimulate and to channel later investigation. Concerning language, +George Boole in his Laws off Thought asserted "That language is an +instrument of human reason, and not merely a medium for the expression of +thought, is a truth generally admitted." + +--20cf30549cad76254e04d85ae4df +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
The importance of nomenclature, notation, and languag= +e as tools of thought has long been recognized. In chemistry and in botany,= + for example, the establishment of systems of nomenclature by Lavoisier and= + Linnaeus did much to stimulate and to channel later investigation. Concern= +ing language, George Boole in his Laws off Thought asserted "That lang= +uage is an instrument of human reason, and not merely a medium for the expr= +ession of thought, is a truth generally admitted."
+
+ +--20cf30549cad76254e04d85ae4df-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1981.eml b/backend/demo/src/main/resources/turing/turing_award_1981.eml index 6dd8e51d42c..92fb6efa39d 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1981.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1981.eml @@ -1,51 +1,51 @@ -MIME-Version: 1.0 -From: "Edgar F. Codd" -Date: Wed, 11 Nov 1981 12:00:00 -0800 -Message-ID: -Subject: Relational Database: A Practical Foundation for Productivity -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7bfd026c782f2404d85ab4b8 - ---047d7bfd026c782f2404d85ab4b8 -Content-Type: text/plain; charset=UTF-8 - -It is well known that the growth in demands from end users for new -applications is outstripping the capability of data processing departments -to implement the corresponding application programs. There are two -complementary approaches to attacking this problem (and both approaches are -needed): one is to put end users into direct touch with the information -stored in computers; the other is to increase the productivity of data -processing professionals in the development of application programs. It is -less well known that a single technology, relational database management, -provides a practical foundation for both approaches. It is explained why -this -is so. -While developing this productivity theme, it is noted that the time has -come to draw a very sharp line between relational and non-relational -database systems, so that the label "relational" will not be used in -misleading ways. -The key to drawing this line is something called a "relational processing -capability." - ---047d7bfd026c782f2404d85ab4b8 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
It is well known that the growth in demands from end = -users for new applications is outstripping the capability of data processin= -g departments to implement the corresponding application programs. There ar= -e two complementary approaches to attacking this problem (and both approach= -es are needed): one is to put end users into direct touch with the informat= -ion stored in computers; the other is to increase the productivity of data = -processing professionals in the development of application programs. It is = -less well known that a single technology, relational database management, p= -rovides a practical foundation for both approaches. It is explained why thi= -s=C2=A0
-
is so.=C2=A0
While developing this productivity theme, = -it is noted that the time has come to draw a very sharp line between relati= -onal and non-relational database systems, so that the label "relationa= -l" will not be used in misleading ways.=C2=A0
-
The key to drawing this line is something called a "relational pr= -ocessing capability."
- ---047d7bfd026c782f2404d85ab4b8-- +MIME-Version: 1.0 +From: "Edgar F. Codd" +Date: Wed, 11 Nov 1981 12:00:00 -0800 +Message-ID: +Subject: Relational Database: A Practical Foundation for Productivity +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7bfd026c782f2404d85ab4b8 + +--047d7bfd026c782f2404d85ab4b8 +Content-Type: text/plain; charset=UTF-8 + +It is well known that the growth in demands from end users for new +applications is outstripping the capability of data processing departments +to implement the corresponding application programs. There are two +complementary approaches to attacking this problem (and both approaches are +needed): one is to put end users into direct touch with the information +stored in computers; the other is to increase the productivity of data +processing professionals in the development of application programs. It is +less well known that a single technology, relational database management, +provides a practical foundation for both approaches. It is explained why +this +is so. +While developing this productivity theme, it is noted that the time has +come to draw a very sharp line between relational and non-relational +database systems, so that the label "relational" will not be used in +misleading ways. +The key to drawing this line is something called a "relational processing +capability." + +--047d7bfd026c782f2404d85ab4b8 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
It is well known that the growth in demands from end = +users for new applications is outstripping the capability of data processin= +g departments to implement the corresponding application programs. There ar= +e two complementary approaches to attacking this problem (and both approach= +es are needed): one is to put end users into direct touch with the informat= +ion stored in computers; the other is to increase the productivity of data = +processing professionals in the development of application programs. It is = +less well known that a single technology, relational database management, p= +rovides a practical foundation for both approaches. It is explained why thi= +s=C2=A0
+
is so.=C2=A0
While developing this productivity theme, = +it is noted that the time has come to draw a very sharp line between relati= +onal and non-relational database systems, so that the label "relationa= +l" will not be used in misleading ways.=C2=A0
+
The key to drawing this line is something called a "relational pr= +ocessing capability."
+ +--047d7bfd026c782f2404d85ab4b8-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1983.eml b/backend/demo/src/main/resources/turing/turing_award_1983.eml index 798cdf52168..344f752c2f9 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1983.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1983.eml @@ -1,46 +1,46 @@ -MIME-Version: 1.0 -From: Dennis Ritchie -Date: Mon, 24 Oct 1983 12:00:00 -0400 -Message-ID: -Subject: Reflections on Software Research -To: Alan Turing -Content-Type: multipart/alternative; boundary=bcaec54fbb2250035a04d85aabcd - ---bcaec54fbb2250035a04d85aabcd -Content-Type: text/plain; charset=UTF-8 - -The UNIX operating system has suddenly become news, but it is not new. It -began in 1969 when Ken Thompson discovered a little-used PDP-7 computer and -set out to fashion a computing environment that he liked, His work soon -attracted me; I joined in the enterprise, though most of the ideas, and -most of the work for that matter, were his. Before long, others from our -group in the research area of AT&T Bell Laboratories were using the system; -Joe Ossanna, Doug Mcllroy, and -Bob Morris were especially enthusiastic critics and contributors, tn 1971, -we acquired a PDP-11, and by the end of that year we were supporting our -first real users: three typists entering patent applications. In 1973, the -system was rewritten in the C language, and in that year, too, it was first -described publicly at the Operating Systems Principles conference; the -resulting paper appeared in Communications of the ACM the next year. - ---bcaec54fbb2250035a04d85aabcd -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
The UNIX operating system has suddenly become news, b= -ut it is not new. It began in 1969 when Ken Thompson discovered a little-us= -ed PDP-7 computer and set out to fashion a computing environment that he li= -ked, His work soon attracted me; I joined in the enterprise, though most of= - the ideas, and most of the work for that matter, were his. Before long, ot= -hers from our group in the research area of AT&T Bell Laboratories were= - using the system; Joe Ossanna, Doug Mcllroy, and=C2=A0
-
Bob Morris were especially enthusiastic critics and contributors, tn 1= -971, we acquired a PDP-11, and by the end of that year we were supporting o= -ur first real users: three typists entering patent applications. In 1973, t= -he system was rewritten in the C language, and in that year, too, it was fi= -rst described publicly at the Operating Systems Principles conference; the = -resulting paper appeared in Communications of the ACM the next year.=C2=A0<= -/div> -
- ---bcaec54fbb2250035a04d85aabcd-- +MIME-Version: 1.0 +From: Dennis Ritchie +Date: Mon, 24 Oct 1983 12:00:00 -0400 +Message-ID: +Subject: Reflections on Software Research +To: Alan Turing +Content-Type: multipart/alternative; boundary=bcaec54fbb2250035a04d85aabcd + +--bcaec54fbb2250035a04d85aabcd +Content-Type: text/plain; charset=UTF-8 + +The UNIX operating system has suddenly become news, but it is not new. It +began in 1969 when Ken Thompson discovered a little-used PDP-7 computer and +set out to fashion a computing environment that he liked, His work soon +attracted me; I joined in the enterprise, though most of the ideas, and +most of the work for that matter, were his. Before long, others from our +group in the research area of AT&T Bell Laboratories were using the system; +Joe Ossanna, Doug Mcllroy, and +Bob Morris were especially enthusiastic critics and contributors, tn 1971, +we acquired a PDP-11, and by the end of that year we were supporting our +first real users: three typists entering patent applications. In 1973, the +system was rewritten in the C language, and in that year, too, it was first +described publicly at the Operating Systems Principles conference; the +resulting paper appeared in Communications of the ACM the next year. + +--bcaec54fbb2250035a04d85aabcd +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
The UNIX operating system has suddenly become news, b= +ut it is not new. It began in 1969 when Ken Thompson discovered a little-us= +ed PDP-7 computer and set out to fashion a computing environment that he li= +ked, His work soon attracted me; I joined in the enterprise, though most of= + the ideas, and most of the work for that matter, were his. Before long, ot= +hers from our group in the research area of AT&T Bell Laboratories were= + using the system; Joe Ossanna, Doug Mcllroy, and=C2=A0
+
Bob Morris were especially enthusiastic critics and contributors, tn 1= +971, we acquired a PDP-11, and by the end of that year we were supporting o= +ur first real users: three typists entering patent applications. In 1973, t= +he system was rewritten in the C language, and in that year, too, it was fi= +rst described publicly at the Operating Systems Principles conference; the = +resulting paper appeared in Communications of the ACM the next year.=C2=A0<= +/div> +
+ +--bcaec54fbb2250035a04d85aabcd-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1987.eml b/backend/demo/src/main/resources/turing/turing_award_1987.eml index 945c454505a..2c4f82bbb04 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1987.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1987.eml @@ -1,42 +1,42 @@ -MIME-Version: 1.0 -From: John Cocke -Date: Mon, 16 Feb 1987 12:00:00 -0600 -Message-ID: -Subject: The Search for Performance in Scientific Processors -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7bfd079665fb2c04d85ad0bc - ---047d7bfd079665fb2c04d85ad0bc -Content-Type: text/plain; charset=UTF-8 - -I am honored and grateful to have been selected to join the ranks of ACM -Turing Award winners. I probably have spent too much of my life thinking -about computers, but I do not regret it a bit. I was fortunate to enter the -field of computing in its infancy and participate in its explosive growth. -The rapid evolution of the underlying technologies in the past 30 years has -not only provided an exciting environment, but has also presented a -constant stream of intellectual challenges to those of us trying to harness -this power and squeeze it to the last ounce. I hasten to say, especially to -the -younger members of the audience, there is no end in sight. As a matter of -fact, I believe the next thirty years will be even more exciting and rich -with challenges. - ---047d7bfd079665fb2c04d85ad0bc -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
I am honored and grateful to have been selected to jo= -in the ranks of ACM Turing Award winners. I probably have spent too much of= - my life thinking about computers, but I do not regret it a bit. I was fort= -unate to enter the field of computing in its infancy and participate in its= - explosive growth. The rapid evolution of the underlying technologies in th= -e past 30 years has not only provided an exciting environment, but has also= - presented a constant stream of intellectual challenges to those of us tryi= -ng to harness this power and squeeze it to the last ounce. I hasten to say,= - especially to the=C2=A0
-
younger members of the audience, there is no end in sight. As a matter= - of fact, I believe the next thirty years will be even more exciting and ri= -ch with challenges.=C2=A0
- ---047d7bfd079665fb2c04d85ad0bc-- +MIME-Version: 1.0 +From: John Cocke +Date: Mon, 16 Feb 1987 12:00:00 -0600 +Message-ID: +Subject: The Search for Performance in Scientific Processors +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7bfd079665fb2c04d85ad0bc + +--047d7bfd079665fb2c04d85ad0bc +Content-Type: text/plain; charset=UTF-8 + +I am honored and grateful to have been selected to join the ranks of ACM +Turing Award winners. I probably have spent too much of my life thinking +about computers, but I do not regret it a bit. I was fortunate to enter the +field of computing in its infancy and participate in its explosive growth. +The rapid evolution of the underlying technologies in the past 30 years has +not only provided an exciting environment, but has also presented a +constant stream of intellectual challenges to those of us trying to harness +this power and squeeze it to the last ounce. I hasten to say, especially to +the +younger members of the audience, there is no end in sight. As a matter of +fact, I believe the next thirty years will be even more exciting and rich +with challenges. + +--047d7bfd079665fb2c04d85ad0bc +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
I am honored and grateful to have been selected to jo= +in the ranks of ACM Turing Award winners. I probably have spent too much of= + my life thinking about computers, but I do not regret it a bit. I was fort= +unate to enter the field of computing in its infancy and participate in its= + explosive growth. The rapid evolution of the underlying technologies in th= +e past 30 years has not only provided an exciting environment, but has also= + presented a constant stream of intellectual challenges to those of us tryi= +ng to harness this power and squeeze it to the last ounce. I hasten to say,= + especially to the=C2=A0
+
younger members of the audience, there is no end in sight. As a matter= + of fact, I believe the next thirty years will be even more exciting and ri= +ch with challenges.=C2=A0
+ +--047d7bfd079665fb2c04d85ad0bc-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1991.eml b/backend/demo/src/main/resources/turing/turing_award_1991.eml index d068d60fa58..57e31d48d91 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1991.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1991.eml @@ -1,44 +1,44 @@ -MIME-Version: 1.0 -From: Robin Milner -Date: Mon, 18 Nov 1991 12:00:00 -0700 -Message-ID: -Subject: Elements of Interaction -To: Alan Turing -Content-Type: multipart/alternative; boundary=047d7b86e6de64aecb04d85affff - ---047d7b86e6de64aecb04d85affff -Content-Type: text/plain; charset=UTF-8 - -I am greatly honored to receive this award, bearing the name of Alan -Turing. Perhaps Turing would be pleased that it should go to someone -educated at his old college, King's College at Cambridge. While there in -1956 I wrote my first computer program; it was on the EDSAC. Of course -EDSAC made history. But I am ashamed to say it did not lure me into -computing, and I ignored computers for four years. In 1960 I thought that -computers might be more peaceful to handle than schoolchildren--I was then -a teacher--so I applied for a job at Ferranti in London, at the time of -Pegasus. I was asked at the interview whether I would like to devote my -life to computers. This daunting notion had never crossed my mind. Well, -here I am still, and I have had the lucky chance to grow alongside computer -science. - ---047d7b86e6de64aecb04d85affff -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
I am greatly honored to receive this award, bearing t= -he name of Alan Turing. Perhaps Turing would be pleased that it should go t= -o someone educated at his old college, King's College at Cambridge. Whi= -le there in 1956 I wrote my first computer program; it was on the EDSAC. Of= - course EDSAC made history. But I am ashamed to say it did not lure me into= - computing, and I ignored computers for four years. In 1960 I thought that = -computers might be more peaceful to handle than schoolchildren--I was then = -a teacher--so I applied for a job at Ferranti in London, at the time of=C2= -=A0
-
Pegasus. I was asked at the interview whether I would like to devote m= -y life to computers. This daunting notion had never crossed my mind. Well, = -here I am still, and I have had the lucky chance to grow alongside computer= - science.
-
- ---047d7b86e6de64aecb04d85affff-- +MIME-Version: 1.0 +From: Robin Milner +Date: Mon, 18 Nov 1991 12:00:00 -0700 +Message-ID: +Subject: Elements of Interaction +To: Alan Turing +Content-Type: multipart/alternative; boundary=047d7b86e6de64aecb04d85affff + +--047d7b86e6de64aecb04d85affff +Content-Type: text/plain; charset=UTF-8 + +I am greatly honored to receive this award, bearing the name of Alan +Turing. Perhaps Turing would be pleased that it should go to someone +educated at his old college, King's College at Cambridge. While there in +1956 I wrote my first computer program; it was on the EDSAC. Of course +EDSAC made history. But I am ashamed to say it did not lure me into +computing, and I ignored computers for four years. In 1960 I thought that +computers might be more peaceful to handle than schoolchildren--I was then +a teacher--so I applied for a job at Ferranti in London, at the time of +Pegasus. I was asked at the interview whether I would like to devote my +life to computers. This daunting notion had never crossed my mind. Well, +here I am still, and I have had the lucky chance to grow alongside computer +science. + +--047d7b86e6de64aecb04d85affff +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
I am greatly honored to receive this award, bearing t= +he name of Alan Turing. Perhaps Turing would be pleased that it should go t= +o someone educated at his old college, King's College at Cambridge. Whi= +le there in 1956 I wrote my first computer program; it was on the EDSAC. Of= + course EDSAC made history. But I am ashamed to say it did not lure me into= + computing, and I ignored computers for four years. In 1960 I thought that = +computers might be more peaceful to handle than schoolchildren--I was then = +a teacher--so I applied for a job at Ferranti in London, at the time of=C2= +=A0
+
Pegasus. I was asked at the interview whether I would like to devote m= +y life to computers. This daunting notion had never crossed my mind. Well, = +here I am still, and I have had the lucky chance to grow alongside computer= + science.
+
+ +--047d7b86e6de64aecb04d85affff-- diff --git a/backend/demo/src/main/resources/turing/turing_award_1996.eml b/backend/demo/src/main/resources/turing/turing_award_1996.eml index fb04a52d9f8..2f8bb13a68d 100644 --- a/backend/demo/src/main/resources/turing/turing_award_1996.eml +++ b/backend/demo/src/main/resources/turing/turing_award_1996.eml @@ -1,28 +1,28 @@ -MIME-Version: 1.0 -From: Amir Pnueli -Date: Thu, 15 Feb 1996 12:00:00 -0500 -Message-ID: -Subject: Verification Engineering: A Future Profession -To: Alan Turing -Content-Type: multipart/alternative; boundary=bcaec54fbb222acf6704d85aa523 - ---bcaec54fbb222acf6704d85aa523 -Content-Type: text/plain; charset=UTF-8 - -It is time that formal verification (of both software and hardware systems) -be demoted from an art practiced by the enlightened few to an activity -routinely and mundanely performed by a cadre of Verification Engineers (a -new profession), as a standard part of the system development process. - ---bcaec54fbb222acf6704d85aa523 -Content-Type: text/html; charset=UTF-8 -Content-Transfer-Encoding: quoted-printable - -
It is time that formal verification (of both software= - and hardware systems) be demoted from an art practiced by the enlightened = -few to an activity routinely and mundanely performed by a cadre of Verifica= -tion Engineers (a new profession), as a standard part of the system develop= -ment process.
-
- ---bcaec54fbb222acf6704d85aa523-- +MIME-Version: 1.0 +From: Amir Pnueli +Date: Thu, 15 Feb 1996 12:00:00 -0500 +Message-ID: +Subject: Verification Engineering: A Future Profession +To: Alan Turing +Content-Type: multipart/alternative; boundary=bcaec54fbb222acf6704d85aa523 + +--bcaec54fbb222acf6704d85aa523 +Content-Type: text/plain; charset=UTF-8 + +It is time that formal verification (of both software and hardware systems) +be demoted from an art practiced by the enlightened few to an activity +routinely and mundanely performed by a cadre of Verification Engineers (a +new profession), as a standard part of the system development process. + +--bcaec54fbb222acf6704d85aa523 +Content-Type: text/html; charset=UTF-8 +Content-Transfer-Encoding: quoted-printable + +
It is time that formal verification (of both software= + and hardware systems) be demoted from an art practiced by the enlightened = +few to an activity routinely and mundanely performed by a cadre of Verifica= +tion Engineers (a new profession), as a standard part of the system develop= +ment process.
+
+ +--bcaec54fbb222acf6704d85aa523-- diff --git a/backend/jmap/src/test/resources/jmap_responses/blob/email/email_1.eml b/backend/jmap/src/test/resources/jmap_responses/blob/email/email_1.eml index 2847d4f1992..803a3e1dd25 100644 --- a/backend/jmap/src/test/resources/jmap_responses/blob/email/email_1.eml +++ b/backend/jmap/src/test/resources/jmap_responses/blob/email/email_1.eml @@ -1,14 +1,14 @@ -From: alice@domain.example -To: bob@domain.example -Message-ID: -Date: Mon, 10 Feb 2020 10:20:30 +0100 -Subject: Hello there -Content-Type: text/plain; charset=UTF-8 -Mime-Version: 1.0 - -Hi Bob, - -this is a message from me to you. - -Cheers, -Alice +From: alice@domain.example +To: bob@domain.example +Message-ID: +Date: Mon, 10 Feb 2020 10:20:30 +0100 +Subject: Hello there +Content-Type: text/plain; charset=UTF-8 +Mime-Version: 1.0 + +Hi Bob, + +this is a message from me to you. + +Cheers, +Alice diff --git a/backend/jmap/src/test/resources/jmap_responses/blob/email/email_2.eml b/backend/jmap/src/test/resources/jmap_responses/blob/email/email_2.eml index 57faecf5200..fcff100daa7 100644 --- a/backend/jmap/src/test/resources/jmap_responses/blob/email/email_2.eml +++ b/backend/jmap/src/test/resources/jmap_responses/blob/email/email_2.eml @@ -1,16 +1,16 @@ -From: Bob -To: alice@domain.example -Message-ID: -In-Reply-To: -References: -Date: Mon, 10 Feb 2020 10:20:30 +0100 -Subject: Re: Hello there -Content-Type: text/plain; charset=UTF-8 -Mime-Version: 1.0 - -Hi Alice, - -I've received your message. - -Best, -Bob +From: Bob +To: alice@domain.example +Message-ID: +In-Reply-To: +References: +Date: Mon, 10 Feb 2020 10:20:30 +0100 +Subject: Re: Hello there +Content-Type: text/plain; charset=UTF-8 +Mime-Version: 1.0 + +Hi Alice, + +I've received your message. + +Best, +Bob diff --git a/backend/jmap/src/test/resources/jmap_responses/blob/email/email_3.eml b/backend/jmap/src/test/resources/jmap_responses/blob/email/email_3.eml index 46cd0c319c0..6fa9b27fdd6 100644 --- a/backend/jmap/src/test/resources/jmap_responses/blob/email/email_3.eml +++ b/backend/jmap/src/test/resources/jmap_responses/blob/email/email_3.eml @@ -1,9 +1,9 @@ -From: alice@domain.example -To: alice@domain.example -Message-ID: -Date: Mon, 10 Feb 2020 12:20:30 +0100 -Subject: Dummy -Content-Type: text/plain; charset=UTF-8 -Mime-Version: 1.0 - -- +From: alice@domain.example +To: alice@domain.example +Message-ID: +Date: Mon, 10 Feb 2020 12:20:30 +0100 +Subject: Dummy +Content-Type: text/plain; charset=UTF-8 +Mime-Version: 1.0 + +- diff --git a/docs/activity_diagram.graphml b/docs/activity_diagram.graphml index a2f1a421690..05a291a4f82 100644 --- a/docs/activity_diagram.graphml +++ b/docs/activity_diagram.graphml @@ -1,936 +1,936 @@ - - - - - - - - - - - - - - - - - - - - - - - Accounts - - - - - - - - - - - FolderList - - - - - - - - - - - MessageList - - - - - - - - - - - MessageView - - - - - - - - - - - AccountSettings - - - - - - - - - - - AccountSetupIncoming - - - - - - - - - - - AccountSetupOutgoing - - - - - - - - - - - Prefs - - - - - - - - - - - FontSizeSettings - - - - - - - - - - - AccountSetupOptions - - - - - - - - - - - AccountSetupNames - - - - - - - - - - - AccountSetupComposition - - - - - - - - - - - AccountSetupCheckSettings - - - - - - - - - - - AccountSetupBasics - - - - - - - - - - - AccountSetupAccountType - - - - - - - - - - - FolderSettings - - - - - - - - - - - ChooseAccount - - - - - - - - - - - ChooseFolder - - - - - - - - - - - ChooseIdentity - - - - - - - - - - - EditIdentity - - - - - - - - - - - LauncherShortcuts - - - - - - - - - - - ManageIdentities - - - - - - - - - - - MessageCompose - - - - - - - - - - - Other Apps / OS - - - - - - - - - - - Search - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + Accounts + + + + + + + + + + + FolderList + + + + + + + + + + + MessageList + + + + + + + + + + + MessageView + + + + + + + + + + + AccountSettings + + + + + + + + + + + AccountSetupIncoming + + + + + + + + + + + AccountSetupOutgoing + + + + + + + + + + + Prefs + + + + + + + + + + + FontSizeSettings + + + + + + + + + + + AccountSetupOptions + + + + + + + + + + + AccountSetupNames + + + + + + + + + + + AccountSetupComposition + + + + + + + + + + + AccountSetupCheckSettings + + + + + + + + + + + AccountSetupBasics + + + + + + + + + + + AccountSetupAccountType + + + + + + + + + + + FolderSettings + + + + + + + + + + + ChooseAccount + + + + + + + + + + + ChooseFolder + + + + + + + + + + + ChooseIdentity + + + + + + + + + + + EditIdentity + + + + + + + + + + + LauncherShortcuts + + + + + + + + + + + ManageIdentities + + + + + + + + + + + MessageCompose + + + + + + + + + + + Other Apps / OS + + + + + + + + + + + Search + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +