-
-
Notifications
You must be signed in to change notification settings - Fork 2.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #7144 from thundernest/change_git_line_break_config
Change line break rule to avoid issues with contributions from Windows
- Loading branch information
Showing
22 changed files
with
1,589 additions
and
1,588 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| * text=auto eol=lf | ||
| * text=auto | ||
|
|
||
| *.bat text eol=crlf | ||
| *.bat eol=crlf | ||
| *.jar binary |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,9 +1,9 @@ | ||
| MIME-Version: 1.0 | ||
| From: "cketti" <[email protected]> | ||
| Date: Thu, 23 Sep 2021 23:42:00 +0200 | ||
| Message-ID: <[email protected]> | ||
| Subject: Welcome to K-9 Mail | ||
| To: User <[email protected]> | ||
| 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" <[email protected]> | ||
| Date: Thu, 23 Sep 2021 23:42:00 +0200 | ||
| Message-ID: <[email protected]> | ||
| Subject: Welcome to K-9 Mail | ||
| To: User <[email protected]> | ||
| 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. |
168 changes: 84 additions & 84 deletions
168
backend/demo/src/main/resources/turing/turing_award_1966.eml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,84 +1,84 @@ | ||
| MIME-Version: 1.0 | ||
| From: "Alan J. Perlis" <[email protected]> | ||
| Date: Sat, 01 Jan 1966 12:00:00 -0400 | ||
| Message-ID: <[email protected]> | ||
| Subject: The Synthesis of Algorithmic Systems | ||
| To: Alan Turing <[email protected]> | ||
| 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 | ||
|
|
||
| <div dir=3D"ltr"><div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| </div> | ||
|
|
||
| --047d7b450b100959e604d85a5320-- | ||
| MIME-Version: 1.0 | ||
| From: "Alan J. Perlis" <[email protected]> | ||
| Date: Sat, 01 Jan 1966 12:00:00 -0400 | ||
| Message-ID: <[email protected]> | ||
| Subject: The Synthesis of Algorithmic Systems | ||
| To: Alan Turing <[email protected]> | ||
| 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 | ||
|
|
||
| <div dir=3D"ltr"><div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| <div>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</div> | ||
| </div> | ||
|
|
||
| --047d7b450b100959e604d85a5320-- |
70 changes: 35 additions & 35 deletions
70
backend/demo/src/main/resources/turing/turing_award_1967.eml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,35 +1,35 @@ | ||
| MIME-Version: 1.0 | ||
| From: "Maurice V. Wilkes" <[email protected]> | ||
| Date: Wed, 30 Aug 1967 12:00:00 -0400 | ||
| Message-ID: <[email protected]> | ||
| Subject: Computers Then and Now | ||
| To: Alan Turing <[email protected]> | ||
| 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 | ||
|
|
||
| <div dir=3D"ltr"><div>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.</div> | ||
| </div> | ||
|
|
||
| --047d7b5d9bdd0d571a04d85aec30-- | ||
| MIME-Version: 1.0 | ||
| From: "Maurice V. Wilkes" <[email protected]> | ||
| Date: Wed, 30 Aug 1967 12:00:00 -0400 | ||
| Message-ID: <[email protected]> | ||
| Subject: Computers Then and Now | ||
| To: Alan Turing <[email protected]> | ||
| 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 | ||
|
|
||
| <div dir=3D"ltr"><div>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.</div> | ||
| </div> | ||
|
|
||
| --047d7b5d9bdd0d571a04d85aec30-- |
80 changes: 40 additions & 40 deletions
80
backend/demo/src/main/resources/turing/turing_award_1968.eml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,40 +1,40 @@ | ||
| MIME-Version: 1.0 | ||
| From: Richard Hamming <[email protected]> | ||
| Date: Tue, 27 Aug 1968 12:00:00 -0400 | ||
| Message-ID: <[email protected]> | ||
| Subject: One Man's View of Computer Science | ||
| To: Alan Turing <[email protected]> | ||
| 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 | ||
|
|
||
| <div dir=3D"ltr"><div>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> | ||
| <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.</div></div= | ||
| > | ||
|
|
||
| --089e01227b30f6f60004d85af2ae-- | ||
| MIME-Version: 1.0 | ||
| From: Richard Hamming <[email protected]> | ||
| Date: Tue, 27 Aug 1968 12:00:00 -0400 | ||
| Message-ID: <[email protected]> | ||
| Subject: One Man's View of Computer Science | ||
| To: Alan Turing <[email protected]> | ||
| 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 | ||
|
|
||
| <div dir=3D"ltr"><div>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> | ||
| <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.</div></div= | ||
| > | ||
|
|
||
| --089e01227b30f6f60004d85af2ae-- |
Oops, something went wrong.