Draft: Initiate a Prosa Tutorial
This is a follow up of !134 (closed) that I created on the wrong branch.
Rendering available at: http://prosa.mpi-sws.org/branches/tutorial/html-tutorial/tutorial.html
Edited by Pierre Roux
Merge request reports
Activity
mentioned in merge request !134 (closed)
added 1 commit
- 69d00567 - Put a "How to read this tutorial" section upfront
added 185 commits
-
69d00567...246fba4d - 153 commits from branch
master - 3b127078 - Initiate a Prosa Tutorial
- cc77d2e1 - Makefile: add a `make tutorial` target
- 3cc0bc8a - CI: compile the tutorial with alectryon
- 2dd9bf06 - filter backticks in comments
- 3aa01490 - address some spelling issues
- 047157f8 - CI: exclude doc/ from comments spell-check
- 1dbea344 - Add Coq installation instructions to tutorial
- c7b9b989 - Add Contributing sectio (TODO)
- 1dff05c2 - Update the Installing Coq section
- ec8e8599 - Add architecture section
- 0550f50a - Retrieve behavior
- 8d41c3c4 - Clean table of content
- 727646c8 - Fix TODOs in architecture
- 9181ac72 - Order of dependencies to describe
- 11a832e5 - Intro behavior
- 2451240a - Intro model
- 1c8e6031 - Precisions on schedule
- a0986992 - Ideal uniprocessor
- 009fe064 - End of model
- a5c338a5 - WIP
- 3901468a - Add analysis, results and contributing sections to tutorial
- 8d1916c7 - Add an audience short section
- ae4a0a2e - Add TODO about Windows
- f935f895 - Don't dispaly warnings on Requires
- fced10ec - Put a "How to read this tutorial" section upfront
- 1f3f9370 - Put spaces before colons
- 00fbb9b8 - [tutorial] Update tutorial file location
- e681b7e4 - [tutorial] Remove classic
- b6e737a5 - [tutorial] Add a few words about typeclasses
- fa903854 - [tutorial] Add comment about sections
- ebdfd91e - [tutorial] Add a note about implicit arguments
- 6ac74eb9 - [tutorial] Avoid introducing the `{...} syntax
Toggle commit list-
69d00567...246fba4d - 153 commits from branch
added 30 commits
- b66878dd - CI: compile the tutorial with alectryon
- 35464c4c - filter backticks in comments
- e24203ad - address some spelling issues
- 48b62328 - CI: exclude doc/ from comments spell-check
- b647d597 - Add Coq installation instructions to tutorial
- 6a071dc7 - Add Contributing sectio (TODO)
- 1c2ccf9f - Update the Installing Coq section
- 0ff6fea2 - Add architecture section
- 75775d52 - Retrieve behavior
- c9583a9c - Clean table of content
- 6cbac310 - Fix TODOs in architecture
- 7fdd3b5a - Order of dependencies to describe
- 60a1b627 - Intro behavior
- 5980b5f4 - Intro model
- d0e5cf6d - Precisions on schedule
- 00f7f3d6 - Ideal uniprocessor
- b0edbb2c - End of model
- 0aa12d35 - WIP
- eb91472f - Add analysis, results and contributing sections to tutorial
- 8f59d4ad - Add an audience short section
- 408b6e6a - Add TODO about Windows
- 92fdd375 - Don't dispaly warnings on Requires
- 41de77fc - Put a "How to read this tutorial" section upfront
- 0c8d4d12 - Put spaces before colons
- 55a02423 - [tutorial] Update tutorial file location
- 7d53444f - [tutorial] Remove classic
- a983ed06 - [tutorial] Add a few words about typeclasses
- d2e2c36b - [tutorial] Add comment about sections
- 2a8abc1b - [tutorial] Add a note about implicit arguments
- c25a2d14 - [tutorial] Avoid introducing the `{...} syntax
Toggle commit listadded 30 commits
- 1a48d084 - CI: compile the tutorial with alectryon
- 59fe594f - filter backticks in comments
- d8e34e8c - address some spelling issues
- f30b8f51 - CI: exclude doc/ from comments spell-check
- be02dbe1 - Add Coq installation instructions to tutorial
- e2e859f3 - Add Contributing sectio (TODO)
- fed13e58 - Update the Installing Coq section
- d4bc7f57 - Add architecture section
- 056320f0 - Retrieve behavior
- 8ca362b2 - Clean table of content
- 02a13314 - Fix TODOs in architecture
- d2423c6d - Order of dependencies to describe
- 40acf492 - Intro behavior
- 067881c8 - Intro model
- 54e319f0 - Precisions on schedule
- f10f644c - Ideal uniprocessor
- c976afec - End of model
- 6b25b724 - WIP
- 4948f833 - Add analysis, results and contributing sections to tutorial
- 0bba5613 - Add an audience short section
- e6e12c8f - Add TODO about Windows
- 2f14fdff - Don't dispaly warnings on Requires
- 226f7227 - Put a "How to read this tutorial" section upfront
- fe812c5c - Put spaces before colons
- 08268f21 - [tutorial] Update tutorial file location
- ae3e5205 - [tutorial] Remove classic
- 29115df9 - [tutorial] Add a few words about typeclasses
- 17560d13 - [tutorial] Add comment about sections
- 4135a3fe - [tutorial] Add a note about implicit arguments
- 049df491 - [tutorial] Avoid introducing the `{...} syntax
Toggle commit list
Please register or sign in to reply