- Commit
- 1a6c3e685b0dab4f332d5723658cf3e989bd5ac4
- Parent
- 26045cd61e0f673e78054bf8da93eb62558960f2
- Author
- Pablo <pablo-pie@riseup.net>
- Date
Fixed some links in the previous files
git-repo-styles
Design documents for git.pablopie.xyz ✏️
Diffstat
8 files changed, 80 insertions, 312 deletions
| Status | File Name | N° Changes | Insertions | Deletions |
| Modified | commit.html | 91 | 58 | 33 |
| Modified | file.html | 9 | 4 | 5 |
| Modified | index.html | 272 | 8 | 264 |
| Modified | license.html | 6 | 3 | 3 |
| Modified | log.html | 4 | 2 | 2 |
| Modified | readme.html | 2 | 1 | 1 |
| Modified | refs.html | 4 | 2 | 2 |
| Modified | tree.html | 4 | 2 | 2 |
diff --git a/commit.html b/commit.html @@ -1,16 +1,17 @@ <!DOCTYPE html> -<html><head> -<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> -<meta name="viewport" content="width=device-width, initial-scale=1"> -<title>example-repo</title> -<link rel="icon" type="image/svg" href="https://git.pablopie.xyz/icons/favicon.svg"> -<link rel="stylesheet" type="text/css" href="./styles.css"> +<html> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> +<meta name="viewport" content="width=device-width, initial-scale=1"/> +<title>example-repo — Tweaked the links in the documentation</title> +<link rel="icon" type="image/svg" href="favicon.svg" /> +<link rel="stylesheet" type="text/css" href="styles.css" /> </head> <body> <header> <nav> -<a href="https://git.pablopie.xyz/"> -<img aria-hidden="true" alt="Website logo" src="./favicon.svg"> +<a href="index.html"> +<img aria-hidden="true" alt="Website logo" src="/icons/favicon.svg"> git.pablopie.xyz </a> </nav> @@ -20,30 +21,32 @@ git.pablopie.xyz <p>Example repository!</p> <nav> <ul> -<li><a href="readme.html">summery</a></li> +<li><a href="index.html">summery</a></li> <li><a href="log.html">log</a></li> <li><a href="tree.html">tree</a></li> <li><a href="refs.html">refs</a></li> -<li><a rel="license" href="file/LICENSE.html">license</a></li> -</ul> -<p>git clone: <a href="">git://git.pablopie.xyz/example-repo</a></p> +<li><a rel="license" href="license.html">license</a></li> +</ul><p>git clone: <a href="">git://git.pablopie.xyz/example-repo</a> +</p> </nav> +</ul> <article class="commit"> <dl> <dt>Commit</dt> -<dd><a href="">e5de041edfb3ea18e977f152443dbdd9511cf385</a></dd> +<dd><a href="../commit/849bb036058e84e55b603449cc3ccaa1387e0ad6.html">849bb036058e84e55b603449cc3ccaa1387e0ad6</a></dd> <dt>Parent</dt> -<dd><a href="">9ff045f26ddf8c842685334e9cb8cd3b951f7b5b</a></dd> +<dd><a href="../commit/a5966b2be3cac60141c74f18608ddd6e6cc37cb6.html">a5966b2be3cac60141c74f18608ddd6e6cc37cb6</a></dd> <dt>Author</dt> <dd>Pablo <<a href="mailto:pablo-escobar@riseup.net">pablo-escobar@riseup.net</a>></dd> <dt>Date</dt> -<dd><time>Mon, 29 Aug 2022 23:22:15 +0000</time></dd> +<dd><time datetime="2023-04-02T23:59:42Z">Sun, 2 Apr 2023 23:59:42 +0000</time></dd> </dl> -<p>Fixed a bug in the index page</p> +<p>Tweaked the links in the documentation +</p> </article> <h2>Diffstat</h2> -<p>1 file changed, 1 insertion, 1 deletion</p> -<div class="table-container"> +<p>2 files changed, 4 insertions, 4 deletions +</p><div class="table-container"> <table> <thead> <tr> @@ -57,29 +60,51 @@ git.pablopie.xyz <tbody> <tr> <td>Modified</td> -<td><a href="#h0">stagit-index.c</a></td> -<td>2</td> -<td>1</td> -<td>1</td> -</tr> +<td><a href="#h0">docs.pdf</a></td> +<td>0</td> +<td>0</td> +<td align="right">0</td> +<tr> +<td>Modified</td> +<td><a href="#h1">urm.mli</a></td> +<td>8</td> +<td>4</td> +<td align="right">4</td> </tbody> </table> </div> <div class="codeblock"> -<pre><b>diff --git a/<a id="h0" href="file.html">stagit-index.c</a> b/<a href="file.html">stagit-index.c</a></b> -<a href="#h0-0" id="h0-0" class="h">@@ -99,7 +99,7 @@ void writeheader(FILE *fp) -</a> fputs("</nav>\n", fp); +<pre><b>diff --git a/<a id="h0" href="file.html">docs.pdf</a> b/<a href="file.html">docs.pdf</a></b> +Binary files differ.</pre> +</div> +<div class="codeblock"> +<pre><b>diff --git a/<a id="h1" href="file.html">urm.mli</a> b/<a href="file.html">urm.mli</a></b> +<a href="#h1-0" id="h1-0" class="h">@@ -21,9 +21,9 @@ +</a> this implementation they store arbitrary integers. I have also added the [P] + instruction to help users handle negative integers. - fputs("<main>\n", fp); -<a href="#h0-0-3" id="h0-0-3" class="d">- fputs("<div id=\"index\">\n", fp); -</a><a href="#h0-0-4" id="h0-0-4" class="i">+ fputs("<div class=\"article-list\">\n", fp); -</a> } +<a href="#h1-0-3" id="h1-0-3" class="d">- @see <https://sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. +</a><a href="#h1-0-4" id="h1-0-4" class="d">- @see <libgen.li/file.php?md5=147d472c8ebc58b832a0d93d02c03f3a> Computability, +</a><a href="#h1-0-5" id="h1-0-5" class="d">- An introduction to recursive function theory. *) +</a><a href="#h1-0-6" id="h1-0-6" class="i">+ @see <sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. +</a><a href="#h1-0-7" id="h1-0-7" class="i">+ @see <doi.org/10.1017/CBO9781139171496> Computability, An introduction to +</a><a href="#h1-0-8" id="h1-0-8" class="i">+ recursive function theory. *) +</a> + (** The type of instructions. *) + type instruction = +<a href="#h1-1" id="h1-1" class="h">@@ -81,7 +81,7 @@ exception Syntax_error of string +</a> the one used by Ramin Naimi's URM simulator, but again the register indexes + can be arbitrary integers. - void writefooter(FILE *fp) +<a href="#h1-1-3" id="h1-1-3" class="d">- @see <https://sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. +</a><a href="#h1-1-4" id="h1-1-4" class="i">+ @see <sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. +</a> + @raise Syntax_error in case any syntax error is encountered, including + invalid syntax and jumps to invalid addresses. *) </pre> </div> -</ul> +</div> </main> -<footer>made with ❤️ by <a href="https://pablopie.xyz/">@pablo</a></footer> +<footer>made with ❤️ by <a rel="author" href="https://pablopie.xyz/">@pablo</a></footer> </body> </html>
diff --git a/file.html b/file.html @@ -3,13 +3,13 @@ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <title>example-repo — LICENSE</title> -<link rel="icon" type="image/svg" href="https://git.pablopie.xyz/icons/favicon.svg"> +<link rel="icon" type="image/svg" href="index.html"> <link rel="stylesheet" type="text/css" href="./styles.css"> </head> <body> <header> <nav> -<a href="https://git.pablopie.xyz/"> +<a href="index.html"> <img aria-hidden="true" alt="Website logo" src="./favicon.svg"> git.pablopie.xyz </a> @@ -24,8 +24,7 @@ git.pablopie.xyz <li><a href="log.html">log</a></li> <li><a href="tree.html">tree</a></li> <li><a href="refs.html">refs</a></li> -<li><a rel="license" href="file/LICENSE.html">license</a></li> -<li><a href="">view raw</a></li> +<li><a rel="license" href="license.html">license</a></li> </ul> <p>git clone: <a href="">git://git.pablopie.xyz/example-repo</a></p> </nav> @@ -41,7 +40,7 @@ git.pablopie.xyz </thead> <tbody> <tr> -<td><a href="https://git.pablopie.xyz/caml-urm/blob/LICENSE">LICENSE</a></td> +<td><a href="">LICENSE</a></td> <td align="right">35149B</td> <td align="right">-rw-r--r--</td> </tr>
diff --git a/index.html b/index.html @@ -3,13 +3,13 @@ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <title>Repositories</title> -<link rel="icon" type="image/svg" href="https://git.pablopie.xyz/icons/favicon.svg"> +<link rel="icon" type="image/svg" href="./favicon.svg"> <link rel="stylesheet" type="text/css" href="./styles.css"> </head> <body> <header> <nav> -<a href="https://git.pablopie.xyz/"> +<a href="index.html"> <img aria-hidden="true" alt="Website logo" src="./favicon.svg"> git.pablopie.xyz </a> @@ -19,282 +19,26 @@ git.pablopie.xyz <div class="article-list"> <article> <h4> -<a href="https://git.pablopie.xyz/a-conjecture-of-mine/log.html">a-conjecture-of-mine</a> +<a href="readme.html">a-conjecture-of-mine</a> </h4> <div> <span>Pablo</span> <time datetime="2021-01-24">24/01/2021</time> </div> -<p> -An exercise on polyglossy: the same problem solved on multiple languages - -</p> +<p>An exercise on polyglossy: the same problem solved on multiple languages</p> </article> <article> <h4> -<a href="https://git.pablopie.xyz/introducao-a-assembly/readme.html">introducao-a-assembly</a> +<a href="readme.html">introducao-a-assembly</a> </h4> <div> <span>Pablo</span> <time datetime="2021-05-02">02/05/2021</time> </div> -<p> -Repositório dos arquivos usados na apresentação "Introdução a Assembly" da CriptoGoma de 2020 🖥️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/haskell-posit/readme.html">haskell-posit</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-05-02">02/05/2021</time> -</div> -<p> -Haskell bindings for the SoftPosit C library 🧮 (WIP) - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/ico-sxiv/readme.html">ico-sxiv</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-08-19">19/08/2021</time> -</div> -<p> -View the individual entries of an ICO file in sxiv ⏺️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/svg.escobar.life/readme.html">svg.escobar.life</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-01-21">21/01/2022</time> -</div> -<p> -A simple SVG markup editor for the web - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/cmark/readme.html">cmark</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-05-13">13/05/2021</time> -</div> -<p> -My personal build of CMark ✏️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/latex-setup/readme.html">latex-setup</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-06-12">12/06/2022</time> -</div> -<p> -My personal LaTeX setup 🦁️⚙️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/tikz.escobar.life/readme.html">tikz.escobar.life</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-06-21">21/06/2022</time> -</div> -<p> -The setup for tikz.escobar.life - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/photos/log.html">photos</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-08-18">18/08/2021</time> -</div> -<p> -An archive of some of my photos 📸 - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/config/readme.html">config</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-01-13">13/01/2022</time> -</div> -<p> -A simple configuration manager - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/idris-matrix/readme.html">idris-matrix</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-05-02">02/05/2021</time> -</div> -<p> -A simple Idris library for manipulating matrices 🧙 - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/zip2img/readme.html">zip2img</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-05-02">02/05/2021</time> -</div> -<p> -A small utility to converts ZIP archives to MS-DOS compatible disk images (virtual floppies) 💾️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/stagit/readme.html">stagit</a> -</h4> -<div> -<span>Hiltjo Posthuma; Pablo</span> -<time datetime="2022-08-29">29/08/2022</time> -</div> -<p> -My personal build of stagit 😸️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/photos.escobar.life/readme.html">photos.escobar.life</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-06-14">14/06/2022</time> -</div> -<p> -The repository for the code used for generating the photos.pablopie.xyz website 📸️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/latex-pictures/readme.html">latex-pictures</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-03-05">05/03/2022</time> -</div> -<p> -A collection of TikZ drawings and other images 🖌️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/global-analysis-and-the-banach-manifold-of-class-h1-curvers/readme.html">global-analysis-and-the-banach-manifold-of-class-h1-curvers</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-08-30">30/08/2022</time> -</div> -<p> -Riemannian Geometry course project on the manifold H¹(I, M) of class H¹ -curves on a Riemannian manifold M and its applications to the geodesics -problem - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/fish-corona/readme.html">fish-corona</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-05-02">02/05/2021</time> -</div> -<p> -Track corona-virus cases from the fish-shell 😷️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/dotfiles/log.html">dotfiles</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2022-05-26">26/05/2022</time> -</div> -<p> -My personal dotfiles 💠️ - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/natural-number-game/readme.html">natural-number-game</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-12-31">31/12/2021</time> -</div> -<p> -Solututions to the Natural Number Game - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/caml-urm/readme.html">caml-urm</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-11-17">17/11/2021</time> -</div> -<p> -A OCaml module for manipulating unlimited register machines - -</p> -</article> -<article> -<h4> -<a href="https://git.pablopie.xyz/bomber-kittie/readme.html">bomber-kittie</a> -</h4> -<div> -<span>Pablo</span> -<time datetime="2021-05-03">03/05/2021</time> -</div> -<p> -A fun little ROM hack of mine 💣️ - -</p> +<p>Repositório dos arquivos usados na apresentação "Introdução a Assembly" da CriptoGoma de 2020 🖥️</p> </article> </div> </main> <footer>made with ❤️ by <a href="https://pablopie.xyz/">@pablo</a></footer> - - -</body></html> +</body> +</html>
diff --git a/license.html b/license.html @@ -10,8 +10,8 @@ <body> <header> <nav> -<a href="https://git.pablopie.xyz"> -<img aria-hidden="true" alt="Website logo" src="/icons/favicon.svg"> +<a href="index.html"> +<img aria-hidden="true" alt="Website logo" src="favicon.svg"> git.pablopie.xyz </a> </nav> @@ -25,7 +25,7 @@ git.pablopie.xyz <li><a href="log.html">log</a></li> <li><a href="tree.html">tree</a></li> <li><a href="refs.html">refs</a></li> -<li class="nav-selected"><a rel="license" href="file/LICENSE.html">license</a></li> +<li class="nav-selected"><a rel="license" href="license.html">license</a></li> </ul><p>git clone: <a href="">git://git.pablopie.xyz/example-repo</a> </p> </nav>
diff --git a/log.html b/log.html @@ -3,13 +3,13 @@ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <title>example-repo — Log</title> -<link rel="icon" type="image/svg" href="https://git.pablopie.xyz/icons/favicon.svg"> +<link rel="icon" type="image/svg" href="index.html"> <link rel="stylesheet" type="text/css" href="./styles.css"> </head> <body> <header> <nav> -<a href="https://git.pablopie.xyz/"> +<a href="index.html"> <img aria-hidden="true" alt="Website logo" src="./favicon.svg"> git.pablopie.xyz </a>
diff --git a/readme.html b/readme.html @@ -10,7 +10,7 @@ <body> <header> <nav> -<a href="https://git.pablopie.xyz"> +<a href="index.html"> <img aria-hidden="true" alt="Website logo" src="./favicon.svg"> git.pablopie.xyz </a>
diff --git a/refs.html b/refs.html @@ -4,13 +4,13 @@ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <title>example-repo — Refs</title> -<link rel="icon" type="image/svg" href="https://git.pablopie.xyz/icons/favicon.svg"> +<link rel="icon" type="image/svg" href="index.html"> <link rel="stylesheet" type="text/css" href="./styles.css"> </head> <body> <header> <nav> -<a href="https://git.pablopie.xyz/"> +<a href="index.html"> <img aria-hidden="true" alt="Website logo" src="./favicon.svg"> git.pablopie.xyz </a>
diff --git a/tree.html b/tree.html @@ -3,13 +3,13 @@ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <title>example-repo — Tree</title> -<link rel="icon" type="image/svg" href="https://git.pablopie.xyz/icons/favicon.svg"> +<link rel="icon" type="image/svg" href="index.htmlicons/favicon.svg"> <link rel="stylesheet" type="text/css" href="./styles.css"> </head> <body> <header> <nav> -<a href="https://git.pablopie.xyz/"> +<a href="index.html"> <img aria-hidden="true" alt="Website logo" src="./favicon.svg"> git.pablopie.xyz </a>