deploy: 1e1c223

ToposInstitute · Jan 26, 2024 · e5624a7 · e5624a7
1 parent 78dec71
commit e5624a7
Show file tree

Hide file tree

Showing 8 changed files with 18 additions and 18 deletions.
diff --git a/_sources/chp1-directed-graphs.ipynb b/_sources/chp1-directed-graphs.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "0df381a7",
+   "id": "53e94a9c",
    "metadata": {},
    "source": [
     "# Chapter 1: Directed Graphs"

diff --git a/_sources/chp2-dwd.ipynb b/_sources/chp2-dwd.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "5c0cecec",
+   "id": "7635adcc",
    "metadata": {},
    "source": [
     "# Chapter 2: Directed Wiring Diagrams"

diff --git a/_sources/chp3-schemas.ipynb b/_sources/chp3-schemas.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "4dcd0598",
+   "id": "7d1bcf8e",
    "metadata": {},
    "source": [
     "# Chapter 3: Schemas"

diff --git a/_sources/chp4-uwd.ipynb b/_sources/chp4-uwd.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "1177bb57",
+   "id": "8fa8bf92",
    "metadata": {},
    "source": [
     "# Chapter 4: Undirected Wiring Diagrams"

diff --git a/_sources/chp5-dpo.ipynb b/_sources/chp5-dpo.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "fa429104",
+   "id": "46041e43",
    "metadata": {},
    "source": [
     "# Chapter 5: Double-Pushout Rewriting"

diff --git a/_sources/chp6-dpo-application.ipynb b/_sources/chp6-dpo-application.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "97edcd5d",
+   "id": "904408a9",
    "metadata": {},
    "source": [
     "# Chapter 6: Double-Pushout Rewriting Examples"

diff --git a/_sources/intro.ipynb b/_sources/intro.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "778cc7ad",
+   "id": "cf0a9c21",
    "metadata": {},
    "source": [
     "# Introduction (Draft)\n",

diff --git a/_sources/julia-notebook.ipynb b/_sources/julia-notebook.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "e9cc4c80",
+   "id": "39012c3c",
    "metadata": {},
    "source": [
     "# Sample Markdown with Code\n",
@@ -21,7 +21,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "18e10514",
+   "id": "89eb1779",
    "metadata": {},
    "source": [
     "## How to run the code in this page?\n",
@@ -37,7 +37,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "13b41afb",
+   "id": "65692c83",
    "metadata": {},
    "source": [
     "## Julia code"
@@ -46,7 +46,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "715e5b1a",
+   "id": "2be774e2",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -56,7 +56,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "23cb8c19",
+   "id": "488ed25e",
    "metadata": {},
    "source": [
     "## Drawing directed wiring diagrams\n",
@@ -67,7 +67,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "93ca370b",
+   "id": "99827c26",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -98,7 +98,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "de1e6e79",
+   "id": "c17b5b47",
    "metadata": {},
    "source": [
     "## Drawing undirected wiring diagrams\n",
@@ -108,7 +108,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "f55e221d",
+   "id": "146eafca",
    "metadata": {},
    "source": [
     "The following code draws UWD using Graphviz library"
@@ -117,7 +117,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "0da755d6",
+   "id": "30fa5bc8",
    "metadata": {},
    "outputs": [],
    "source": [
@@ -137,7 +137,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "b91ff008",
+   "id": "8d0ce77f",
    "metadata": {},
    "source": [
     "Try your own code in the block below:"
@@ -146,7 +146,7 @@
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "1f6c440f",
+   "id": "e3bb2e82",
    "metadata": {},
    "outputs": [],
    "source": [