diff options
| author | Yuval Adam <yuv.adm@gmail.com> | 2014-10-27 10:54:37 +0200 |
|---|---|---|
| committer | Yuval Adam <yuv.adm@gmail.com> | 2014-10-28 10:23:35 +0200 |
| commit | 15c34fa88b85308f6a503beaff3b307e764bc544 (patch) | |
| tree | 1bbc8cf38d11b2c254482a1c367eb8618b28711a | |
| parent | 31e69072d5e82d8feaf988bc756e634586d70da5 (diff) | |
Add github ribbongh-pages
| -rw-r--r-- | index.html | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -251,6 +251,8 @@ a.tocentry:visited { </style> </head> <body> +<a href="https://github.com/yuvadm/incompleteness-notes"><img style="position: absolute; top: 0; left: 0; border: 0;" src="https://camo.githubusercontent.com/82b228a3648bf44fc1163ef44c62fcc60081495e/68747470733a2f2f73332e616d617a6f6e6177732e636f6d2f6769746875622f726962626f6e732f666f726b6d655f6c6566745f7265645f6161303030302e706e67" alt="Fork me on GitHub" data-canonical-src="https://s3.amazonaws.com/github/ribbons/forkme_left_red_aa0000.png"></a> + <h1 class="title"><a id='magicparlabel-1' />אי שלמות ואי כריעות בשפות פורמליות <br /> |