| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Cursory proofreading. | David A. Madore | 2019-01-31 | 1 | -7/+12 |
| * | Missing words (thanks, Michaël). | David A. Madore | 2019-01-29 | 1 | -2/+2 |
| * | Write answers to exercise on CFGs. | David A. Madore | 2019-01-28 | 1 | -8/+204 |
| * | Add an intermediate question to make exercise easier. | David A. Madore | 2019-01-24 | 1 | -20/+25 |
| * | Add an exercise on CFGs. | David A. Madore | 2019-01-24 | 1 | -1/+78 |
| * | Answers to exercise about computability. | David A. Madore | 2019-01-23 | 1 | -0/+23 |
| * | Adopt convention of underlining the epsilon symbol in regexps. | David A. Madore | 2019-01-23 | 1 | -10/+10 |
| * | A very silly exercise on computability. | David A. Madore | 2019-01-23 | 1 | -0/+28 |
| * | Start writing exam: exercise on finite automata. | David A. Madore | 2019-01-23 | 1 | -0/+372 |
| * | Typo (thanks, Antoine). | David A. Madore | 2019-01-23 | 1 | -1/+1 |
| * | Minor clarifications about computability and universality. | David A. Madore | 2019-01-16 | 1 | -27/+38 |
| * | Fix bijection between ℕ² and ℕ. | David A. Madore | 2019-01-16 | 1 | -3/+3 |
| * | Various improvements to index. | David A. Madore | 2019-01-07 | 1 | -25/+31 |
| * | Fix thinko. | David A. Madore | 2018-12-10 | 1 | -2/+2 |
| * | Typos in slides. | David A. Madore | 2018-10-17 | 1 | -2/+2 |
| * | Possible set of slides for first course. | David A. Madore | 2018-10-16 | 1 | -0/+633 |
| * | Copy a lot of exercises into the course notes.printed-2018 | David A. Madore | 2018-10-03 | 1 | -2/+2586 |
| * | Clarify that answer does not need to be formalized as such. | David A. Madore | 2018-03-23 | 1 | -0/+5 |
| * | Typo. | David A. Madore | 2018-03-23 | 1 | -1/+1 |
| * | Merge branch 'master' of git.madore.org:teach/inf105 | David A. Madore | 2018-03-23 | 1 | -5/+5 |
| |\ | |||||
| | * | Use \Rightarrow rather than \rightarrow to indicate derivations. | David A. Madore | 2018-03-16 | 1 | -5/+5 |
| * | | Prepare for printing.exam-20180322 | David A. Madore | 2018-03-19 | 1 | -8/+12 |
| * | | Take into account Olivier's remarks. | David A. Madore | 2018-03-19 | 1 | -28/+32 |
| * | | Take into account Antoine's remarks. | David A. Madore | 2018-03-18 | 1 | -15/+24 |
| * | | Typo. | David A. Madore | 2018-03-16 | 1 | -1/+1 |
| * | | Answers to third exercise. | David A. Madore | 2018-03-16 | 1 | -7/+51 |
| * | | Answers to second exercise. | David A. Madore | 2018-03-16 | 1 | -3/+106 |
| * | | Answers to exercise 1. | David A. Madore | 2018-03-16 | 1 | -1/+179 |
| * | | Change names, add Git line, suggest grading. | David A. Madore | 2018-03-16 | 1 | -14/+22 |
| * | | Third exercise. | David A. Madore | 2018-03-15 | 1 | -0/+99 |
| * | | Add an exercise on formal grammars. | David A. Madore | 2018-03-14 | 1 | -0/+40 |
| * | | Catch-up exam: an exercise on finite automata. | David A. Madore | 2018-03-14 | 1 | -0/+147 |
| |/ | |||||
| * | Improve spacing. | David A. Madore | 2018-03-08 | 1 | -2/+2 |
| * | Merge branch 'exam-20180206' of vega.gro-tsen.net:tex/inf105 into exam-20180206 | David A. Madore | 2018-03-08 | 1 | -2/+2 |
| |\ | |||||
| | * | Typos (thanks, Antoine). | David A. Madore | 2018-02-06 | 1 | -2/+2 |
| * | | More comments on test. | David A. Madore | 2018-03-08 | 1 | -3/+60 |
| * | | Add various comments on answers to test questions. | David A. Madore | 2018-02-21 | 1 | -3/+34 |
| |/ | |||||
| * | Fix thinko (thanks, Mikaël).exam-20180206 | David A. Madore | 2018-01-31 | 1 | -1/+1 |
| * | Add a remark on the point of the last exercise. | David A. Madore | 2018-01-30 | 1 | -0/+12 |
| * | Add an extra question. | David A. Madore | 2018-01-30 | 1 | -1/+65 |
| * | Eliminate ugly slash. | David A. Madore | 2018-01-30 | 1 | -1/+1 |
| * | Make corrections suggested by Olivier. | David A. Madore | 2018-01-29 | 1 | -19/+21 |
| * | Remove now spurious clause. | David A. Madore | 2018-01-29 | 1 | -1/+1 |
| * | Typo. | David A. Madore | 2018-01-29 | 1 | -1/+1 |
| * | Simple Perl program used to generate TikZ trees. | David A. Madore | 2018-01-29 | 1 | -0/+116 |
| * | Update instructions for test. | David A. Madore | 2018-01-29 | 1 | -8/+3 |
| * | Write answers to third exercise. | David A. Madore | 2018-01-29 | 1 | -10/+68 |
| * | Write answers to second exercise. | David A. Madore | 2018-01-29 | 1 | -2/+117 |
| * | Write answers to first exercise. | David A. Madore | 2018-01-29 | 1 | -1/+151 |
| * | Possible exam for 2018-02-06. | David A. Madore | 2018-01-25 | 1 | -0/+288 |
 |
index : teach/inf105.git | |
| INF105 (THL: théorie des langages) | git repository hosting |
| summaryrefslogtreecommitdiffstats |