incompleteness-notes, branch gh-pages Notes for "Incompleteness and Undecidability in Formal Languages" https://git.yuv.al/incompleteness-notes/atom/?h=gh-pages 2014-10-28T08:23:35Z Add github ribbon 2014-10-28T08:23:35Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:54:37Z urn:sha1:15c34fa88b85308f6a503beaff3b307e764bc544 Move to index.html 2014-10-28T08:23:35Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:52:27Z urn:sha1:31e69072d5e82d8feaf988bc756e634586d70da5 R2 run on the CSS styles and add dir: rtl 2014-10-28T08:23:34Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:51:57Z urn:sha1:69184c342c2daef62e69d98f3ca4b2fa6953ffdb Initial .xhtml 2014-10-28T08:23:34Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:46:41Z urn:sha1:90b985fa34cf10539c66dea4f806ac8976249312 Update README 2014-10-28T08:23:18Z Yuval Adam yuv.adm@gmail.com 2014-10-28T08:23:18Z urn:sha1:2e8086773a97352204e41f139c1c1c2ea412ed57 Update README 2014-10-27T08:57:14Z Yuval Adam yuv.adm@gmail.com 2014-10-27T08:57:14Z urn:sha1:ff3c539d718987c450cc16c5f1bb45c6c7113cd9 Add README 2014-10-26T15:52:11Z Yuval Adam yuv.adm@gmail.com 2014-10-26T15:47:52Z urn:sha1:2821204807f68e8768294bc21c7208f05cc0623b Initial Lyx, LaTeX and PDF files 2014-10-26T15:43:34Z Yuval Adam yuv.adm@gmail.com 2014-10-26T15:43:34Z urn:sha1:4e8805e241c93f306016a51872362e35ffe13866