| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| gh-pages | Add github ribbon | Yuval Adam | 12 years | |
| master | Update README | Yuval Adam | 12 years | |
| Age | Commit message | Author | ||
| 2014-10-28 | Update READMEHEADmaster | Yuval Adam | ||
| 2014-10-27 | Update README | Yuval Adam | ||
| 2014-10-26 | Add README | Yuval Adam | ||
| 2014-10-26 | Initial Lyx, LaTeX and PDF files | Yuval Adam | ||
 |
index : incompleteness-notes | |
| Notes for "Incompleteness and Undecidability in Formal Languages" |
| summaryrefslogtreecommitdiff |