eyeprolog 1.0.2 → 1.0.3

package/README.md

@@ -7,13 +7,13 @@ EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs
 
 <p align="center">
   <a href="https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog">
-    <img src="book-assets/title-page.svg" alt="Read The Art of EyeProlog" width="180">
+    <img src="book-assets/title-page.svg" alt="Read The Art of EyeProlog" width="240">
   </a>
 </p>
 
-**[Book — *The Art of EyeProlog*](https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog)** ·
-**[Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog)** ·
-**[Playground](https://eyereasoner.github.io/eyeprolog/playground)**
+**[Why EyeProlog?](https://eyereasoner.github.io/eyeprolog/why-eyeprolog)** — Discover its purpose and design.
+
+**[Playground](https://eyereasoner.github.io/eyeprolog/playground)** — Run EyeProlog in your browser.
 
 The book is the reference for the language, command line, JavaScript API,
 examples, proofs, conformance, and implementation.

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.0.2",
+  "version": "1.0.3",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/test/run-regression.mjs

@@ -580,14 +580,14 @@ function documentationSyncCases() {
       run: () => assertArrayEqual(bookEyePrologLibraryNames(), registeredEyePrologLibraryNames(), 'EyeProlog library predicates'),
     },
     {
-      name: 'README links to the book and the book documents runtime boundaries',
+      name: 'README cover links to the book and the book documents runtime boundaries',
       run: () => {
         const readme = fs.readFileSync(path.join(packageRoot, 'README.md'), 'utf8');
         const book = fs.readFileSync(path.join(packageRoot, 'the-art-of-eyeprolog.md'), 'utf8');
         assertIncludes(
           readme,
-          '[Book — *The Art of EyeProlog*](https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog)',
-          'README links to the book',
+          '<a href="https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog">\n    <img src="book-assets/title-page.svg" alt="Read The Art of EyeProlog"',
+          'README cover links to the book',
         );
         for (const filename of ['src/iso.js', 'src/eyeprolog-autoload.js', 'src/playground-worker.js']) {
           assertEqual(fs.existsSync(path.join(packageRoot, filename)), true, `${filename} exists`);