projects / web.git / history
| 2020-07-23 | Ralf Jung | fix typo (thanks to Lonami) | blob | commitdiff | raw |
| 2018-08-25 | Ralf Jung | only must | blob | commitdiff | raw | diff to current |
| 2018-08-23 | Ralf Jung | clarify validity for prtially initialized local variables | blob | commitdiff | raw | diff to current |
| 2018-08-23 | Ralf Jung | clarify boundary | blob | commitdiff | raw | diff to current |
| 2018-08-22 | Ralf Jung | expand post title | blob | commitdiff | raw | diff to current |
| 2018-08-22 | Ralf Jung | tweak the slogan | blob | commitdiff | raw | diff to current |
| 2018-08-22 | Ralf Jung | discuss empty types | blob | commitdiff | raw | diff to current |
| 2018-08-22 | Ralf Jung | add forum link | blob | commitdiff | raw | diff to current |
| 2018-08-22 | Ralf Jung | post on invariants | blob | commitdiff | raw | diff to current |