git-repo-styles
Design documents for git.pablopie.xyz ✏️
| File Name | Size | Mode |
| commit.html | 3858B | -rw-r--r-- |
1 <!DOCTYPE html> 2 <html> 3 <head> 4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> 5 <meta name="viewport" content="width=device-width, initial-scale=1"/> 6 <title>example-repo — Tweaked the links in the documentation</title> 7 <link rel="icon" type="image/svg" href="favicon.svg" /> 8 <link rel="stylesheet" type="text/css" href="styles.css" /> 9 </head> 10 <body> 11 <header> 12 <nav> 13 <a href="index.html"> 14 <img aria-hidden="true" alt="Website logo" src="/icons/favicon.svg"> 15 git.pablopie.xyz 16 </a> 17 </nav> 18 </header> 19 <main> 20 <h1>example-repo</h1> 21 <p>Example repository!</p> 22 <nav> 23 <ul> 24 <li><a href="index.html">summery</a></li> 25 <li><a href="log.html">log</a></li> 26 <li><a href="tree.html">tree</a></li> 27 <li><a href="refs.html">refs</a></li> 28 <li><a rel="license" href="license.html">license</a></li> 29 </ul><p>git clone: <a href="">git://git.pablopie.xyz/example-repo</a> 30 </p> 31 </nav> 32 </ul> 33 <article class="commit"> 34 <dl> 35 <dt>Commit</dt> 36 <dd><a href="../commit/849bb036058e84e55b603449cc3ccaa1387e0ad6.html">849bb036058e84e55b603449cc3ccaa1387e0ad6</a></dd> 37 <dt>Parent</dt> 38 <dd><a href="../commit/a5966b2be3cac60141c74f18608ddd6e6cc37cb6.html">a5966b2be3cac60141c74f18608ddd6e6cc37cb6</a></dd> 39 <dt>Author</dt> 40 <dd>Pablo <<a href="mailto:pablo-escobar@riseup.net">pablo-escobar@riseup.net</a>></dd> 41 <dt>Date</dt> 42 <dd><time datetime="2023-04-02T23:59:42Z">Sun, 2 Apr 2023 23:59:42 +0000</time></dd> 43 </dl> 44 <p>Tweaked the links in the documentation 45 </p> 46 </article> 47 <h2>Diffstat</h2> 48 <p>2 files changed, 4 insertions, 4 deletions 49 </p><div class="table-container"> 50 <table> 51 <thead> 52 <tr> 53 <td>Status</td> 54 <td>File Name</td> 55 <td>N° Changes</td> 56 <td>Insertions</td> 57 <td align="right">Deletions</td> 58 </tr> 59 </thead> 60 <tbody> 61 <tr> 62 <td>Modified</td> 63 <td><a href="#h0">docs.pdf</a></td> 64 <td>0</td> 65 <td>0</td> 66 <td align="right">0</td> 67 <tr> 68 <td>Modified</td> 69 <td><a href="#h1">urm.mli</a></td> 70 <td>8</td> 71 <td>4</td> 72 <td align="right">4</td> 73 </tbody> 74 </table> 75 </div> 76 <div class="codeblock"> 77 <pre><b>diff --git a/<a id="h0" href="file.html">docs.pdf</a> b/<a href="file.html">docs.pdf</a></b> 78 Binary files differ.</pre> 79 </div> 80 <div class="codeblock"> 81 <pre><b>diff --git a/<a id="h1" href="file.html">urm.mli</a> b/<a href="file.html">urm.mli</a></b> 82 <a href="#h1-0" id="h1-0" class="h">@@ -21,9 +21,9 @@ 83 </a> this implementation they store arbitrary integers. I have also added the [P] 84 instruction to help users handle negative integers. 85 86 <a href="#h1-0-3" id="h1-0-3" class="d">- @see <https://sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. 87 </a><a href="#h1-0-4" id="h1-0-4" class="d">- @see <libgen.li/file.php?md5=147d472c8ebc58b832a0d93d02c03f3a> Computability, 88 </a><a href="#h1-0-5" id="h1-0-5" class="d">- An introduction to recursive function theory. *) 89 </a><a href="#h1-0-6" id="h1-0-6" class="i">+ @see <sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. 90 </a><a href="#h1-0-7" id="h1-0-7" class="i">+ @see <doi.org/10.1017/CBO9781139171496> Computability, An introduction to 91 </a><a href="#h1-0-8" id="h1-0-8" class="i">+ recursive function theory. *) 92 </a> 93 (** The type of instructions. *) 94 type instruction = 95 <a href="#h1-1" id="h1-1" class="h">@@ -81,7 +81,7 @@ exception Syntax_error of string 96 </a> the one used by Ramin Naimi's URM simulator, but again the register indexes 97 can be arbitrary integers. 98 99 <a href="#h1-1-3" id="h1-1-3" class="d">- @see <https://sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. 100 </a><a href="#h1-1-4" id="h1-1-4" class="i">+ @see <sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. 101 </a> 102 @raise Syntax_error in case any syntax error is encountered, including 103 invalid syntax and jumps to invalid addresses. *) 104 </pre> 105 </div> 106 </div> 107 </main> 108 <footer>made with ❤️ by <a rel="author" href="https://pablopie.xyz/">@pablo</a></footer> 109 </body> 110 </html>