coq/doc/tutorial, branch master The formal proof system Remove tutorials. 2018-05-10T17:23:49+00:00 Théo Zimmermann 2018-05-08T13:36:27+00:00 012ac80c38d431d68f1dacb01fbfe27bcb7f7eb0 






Improve style slightly
2017-08-01T12:10:14+00:00

Sam Pablo Kuper

2017-08-01T12:10:14+00:00

8f0e4fbc634230d89bb710547bbb50a7f959d74b

per @aspiwack's comments in [this pull request
review](https://github.com/coq/coq/pull/940).





per @aspiwack's comments in [this pull request
review](https://github.com/coq/coq/pull/940).







Replace jarring use of "Remark" with "Note"
2017-07-31T19:41:08+00:00

Sam Pablo Kuper

2017-07-31T19:41:08+00:00

a648f4ce7559fea0e4c269c776e654dea316a3b9

or with nothing at all, to improve readability for native English
speakers.

Editors may wish to remove such constructions altogether in future
revisions, per general style guidance such as:

- https://en.wikipedia.org/wiki/Wikipedia:%22Note_that%22_is_unnecessary
- https://english.stackexchange.com/a/238142/7318
- http://blog.apastyle.org/apastyle/2015/09/principles-of-writing-how-to-avoid-wordiness.html





or with nothing at all, to improve readability for native English
speakers.

Editors may wish to remove such constructions altogether in future
revisions, per general style guidance such as:

- https://en.wikipedia.org/wiki/Wikipedia:%22Note_that%22_is_unnecessary
- https://english.stackexchange.com/a/238142/7318
- http://blog.apastyle.org/apastyle/2015/09/principles-of-writing-how-to-avoid-wordiness.html







Mention again how to report bug and get version number.
2017-06-30T07:47:27+00:00

Théo Zimmermann

2017-06-30T07:47:27+00:00

03c0ee5a721ebde8b57780c5f2db935ea680a12b

As suggested by @psteckler.





As suggested by @psteckler.







Better phrasing.
2017-06-29T15:35:24+00:00

Théo Zimmermann

2017-06-29T15:35:24+00:00

9e981eca272e571924b535de47263e33658648be












More substance on discouraged practices.
2017-06-29T15:29:21+00:00

Théo Zimmermann

2017-06-29T15:29:21+00:00

9446c06675ec0b20dcdf871337ce3f18b76ba516












Some more corrections to the tutorial.
2017-06-29T15:19:24+00:00

Théo Zimmermann

2017-06-29T15:19:24+00:00

ca2c38d912a5cefdbd283136147a8425eca4c7c1












Mask the reliance on coqtop.
2017-06-29T14:43:50+00:00

Théo Zimmermann

2017-06-29T14:42:45+00:00

82555e8b56267baec446efaf8952063a0711903f












Update the Tutorial.
2017-06-28T15:37:48+00:00

Théo Zimmermann

2017-06-28T15:37:48+00:00

38bfc475b03194c5717ecab581cf9fb75422ea1a












[vernac] Remove `Save.` command.
2017-05-22T23:37:24+00:00

Emilio Jesus Gallego Arias

2017-05-17T18:55:32+00:00

3c0d8d08bda81b9fbd7210e4e352a08bbe8219e8

It has been deprecated for a while in favor of `Qed`.





It has been deprecated for a while in favor of `Qed`.