summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'index.html')
-rw-r--r--index.html2
1 files changed, 2 insertions, 0 deletions
diff --git a/index.html b/index.html
index 081ddca..bc52e04 100644
--- a/index.html
+++ b/index.html
@@ -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 />