[Emacs] Update github pages index file

This commit is contained in:
Ivan Malison 2016-10-24 15:41:42 -07:00
parent bbbd1d9749
commit 50a7530dd0
No known key found for this signature in database
GPG Key ID: 62530EFBE99DC2F8

View File

@ -174,6 +174,8 @@
pre.src {background-color: #263238; color: #ffffff;}</style>
<style type="text/css">
pre.src {background-color: #263238; color: #ffffff;}</style>
<style type="text/css">
pre.src {background-color: #263238; color: #ffffff;}</style>
<script type="text/javascript">
/*
@licstart The following is the entire license notice for the
@ -5101,7 +5103,6 @@ This function replaces the default naming scheme with a call to
<span style="color: #B388FF;">(</span><span style="color: #fff59d;">let*</span> <span style="color: #76ff03;">(</span><span style="color: #26A69A;">(</span>name <span style="color: #FFCDD2;">(</span>imalison:generate-name datum cache<span style="color: #FFCDD2;">)</span><span style="color: #26A69A;">)</span>
<span style="color: #26A69A;">(</span>number <span style="color: #FFCDD2;">(</span>+ 1 <span style="color: #795548;">(</span>gethash name reverse-cache -1<span style="color: #795548;">)</span><span style="color: #FFCDD2;">)</span><span style="color: #26A69A;">)</span>
<span style="color: #26A69A;">(</span>new-name <span style="color: #FFCDD2;">(</span>format <span style="color: #9ccc65;">"%s%s"</span> name <span style="color: #795548;">(</span><span style="color: #fff59d;">if</span> <span style="color: #DCE775;">(</span>&lt; 0 number<span style="color: #DCE775;">)</span> number <span style="color: #9ccc65;">""</span><span style="color: #795548;">)</span><span style="color: #FFCDD2;">)</span><span style="color: #26A69A;">)</span><span style="color: #76ff03;">)</span>
<span style="color: #76ff03;">(</span>message <span style="color: #9ccc65;">"number for %s is %s new-name is %s"</span> name number new-name<span style="color: #76ff03;">)</span>
<span style="color: #76ff03;">(</span>puthash name number reverse-cache<span style="color: #76ff03;">)</span>
<span style="color: #76ff03;">(</span>puthash datum new-name cache<span style="color: #76ff03;">)</span>
new-name<span style="color: #B388FF;">)</span><span style="color: #EF6C00;">)</span><span style="color: #2196F3;">)</span><span style="color: #e91e63;">)</span>