Merge pull request #46 from Progmasoft/feature/versionless-tools

Stop naming versions on the formatter and linter pages

2 files changed, 18 insertions, 18 deletions

diff --git a/frontend/src/content/talafmt.ts b/frontend/src/content/talafmt.ts
index 6d549ca..021b758 100644
--- a/frontend/src/content/talafmt.ts
+++ b/frontend/src/content/talafmt.ts
@@ -5,7 +5,7 @@ import type { Locale } from "../locales";
 import type { LandingText, WhyTab } from "./landing";
 import type { DocRoute, DocTopic } from "./types";
 
-// talafmt.tala.run. The facts follow the README of Progmasoft/talafmt, version 0.1.0; commands are the same in every
+// talafmt.tala.run. The facts follow the README of Progmasoft/talafmt; commands are the same in every
 // language and only the prose is translated.
 const inPlace = `talafmt Program.tala Library.tala`;
 const check = `talafmt --check Program.tala Library.tala`;
@@ -332,8 +332,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "Version 0.1.0",
-        text: "talafmt accepts what the compiler it is built with accepts; version 0.1.0 is built with the compiler of Tala 0.1.0.",
+        title: "Compiler",
+        text: "talafmt accepts what the compiler it is built with accepts.",
       },
     ],
   },
@@ -362,8 +362,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "Version 0.1.0",
-        text: "talafmt akzeptiert, was der Compiler akzeptiert, mit dem es gebaut ist; Version 0.1.0 ist mit dem Compiler von Tala 0.1.0 gebaut.",
+        title: "Compiler",
+        text: "talafmt akzeptiert, was der Compiler akzeptiert, mit dem es gebaut ist.",
       },
     ],
   },
@@ -392,8 +392,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "Версия 0.1.0",
-        text: "talafmt принимает то, что принимает компилятор, с которым он собран; версия 0.1.0 собрана с компилятором Tala 0.1.0.",
+        title: "Компилятор",
+        text: "talafmt принимает то, что принимает компилятор, с которым он собран.",
       },
     ],
   },
@@ -421,8 +421,8 @@ const layout: DocTopic = {
       },
       {
         kind: "note",
-        title: "גרסה 0.1.0",
-        text: "talafmt מקבל את מה שהמהדר שאיתו הוא נבנה מקבל; גרסה 0.1.0 נבנתה עם המהדר של Tala 0.1.0.",
+        title: "מהדר",
+        text: "talafmt מקבל את מה שהמהדר שאיתו הוא נבנה מקבל.",
       },
     ],
   },
diff --git a/frontend/src/content/talalint.ts b/frontend/src/content/talalint.ts
index 6cf8b7c..5d19b7e 100644
--- a/frontend/src/content/talalint.ts
+++ b/frontend/src/content/talalint.ts
@@ -5,7 +5,7 @@ import type { Locale } from "../locales";
 import type { LandingText, WhyTab } from "./landing";
 import type { DocRoute, DocTopic } from "./types";
 
-// talalint.tala.run. The facts follow the README of Progmasoft/talalint, version 0.1.0; commands and check names are
+// talalint.tala.run. The facts follow the README of Progmasoft/talalint; commands and check names are
 // the same in every language and only the prose is translated.
 const report = `talalint Program.tala Library.tala`;
 const fix = `talalint --fix Program.tala`;
@@ -302,7 +302,7 @@ const checksTopic: DocTopic = {
     nav: "What it checks",
     title: "What it checks · Talalint",
     description:
-      "The checks of talalint 0.1.0: the compiler's diagnostics and its own checks of the physical source.",
+      "The checks of talalint: the compiler's diagnostics and its own checks of the physical source.",
     section: "TALALINT / CHECKS",
     heading: "What talalint checks",
     lead: "talalint reports what the compiler it is built with reports, and adds checks of its own on the physical source.",
@@ -320,7 +320,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "Diagnostics of the compiler" },
       {
         kind: "text",
-        text: "Version 0.1.0 is built with the compiler of Tala 0.1.0. Its diagnostics arrive under the compiler check with the compiler's code:",
+        text: "The diagnostics of the compiler arrive under the compiler check with the compiler's code:",
       },
       { kind: "code", code: checks },
       {
@@ -334,7 +334,7 @@ const checksTopic: DocTopic = {
     nav: "Was es prüft",
     title: "Was es prüft · Talalint",
     description:
-      "Die Prüfungen von talalint 0.1.0: die Diagnosen des Compilers und eigene Prüfungen der physischen Quelle.",
+      "Die Prüfungen von talalint: die Diagnosen des Compilers und eigene Prüfungen der physischen Quelle.",
     section: "TALALINT / PRÜFUNGEN",
     heading: "Was talalint prüft",
     lead: "talalint meldet, was der Compiler meldet, mit dem es gebaut ist, und ergänzt eigene Prüfungen der physischen Quelle.",
@@ -352,7 +352,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "Diagnosen des Compilers" },
       {
         kind: "text",
-        text: "Version 0.1.0 ist mit dem Compiler von Tala 0.1.0 gebaut. Seine Diagnosen erscheinen unter der Prüfung compiler mit dem Code des Compilers:",
+        text: "Die Diagnosen des Compilers erscheinen unter der Prüfung compiler mit dem Code des Compilers:",
       },
       { kind: "code", code: checks },
       {
@@ -366,7 +366,7 @@ const checksTopic: DocTopic = {
     nav: "Что он проверяет",
     title: "Что он проверяет · Talalint",
     description:
-      "Проверки talalint 0.1.0: диагностика компилятора и собственные проверки физического текста.",
+      "Проверки talalint: диагностика компилятора и собственные проверки физического текста.",
     section: "TALALINT / ПРОВЕРКИ",
     heading: "Что проверяет talalint",
     lead: "talalint сообщает то, о чём сообщает компилятор, с которым он собран, и добавляет собственные проверки физического текста.",
@@ -384,7 +384,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "Диагностика компилятора" },
       {
         kind: "text",
-        text: "Версия 0.1.0 собрана с компилятором Tala 0.1.0. Его диагностика приходит в проверке compiler с кодом компилятора:",
+        text: "Диагностика компилятора приходит в проверке compiler с кодом компилятора:",
       },
       { kind: "code", code: checks },
       {
@@ -397,7 +397,7 @@ const checksTopic: DocTopic = {
   "he-IL": {
     nav: "מה הוא בודק",
     title: "מה הוא בודק · Talalint",
-    description: "הבדיקות של talalint 0.1.0: האבחונים של המהדר ובדיקות משלו על הטקסט הפיזי.",
+    description: "הבדיקות של talalint: האבחונים של המהדר ובדיקות משלו על הטקסט הפיזי.",
     section: "TALALINT / בדיקות",
     heading: "מה talalint בודק",
     lead: "talalint מדווח את מה שהמהדר שאיתו הוא נבנה מדווח, ומוסיף בדיקות משלו על הטקסט הפיזי.",
@@ -414,7 +414,7 @@ const checksTopic: DocTopic = {
       { kind: "heading", text: "האבחונים של המהדר" },
       {
         kind: "text",
-        text: "גרסה 0.1.0 נבנתה עם המהדר של Tala 0.1.0. האבחונים שלו מגיעים תחת הבדיקה compiler עם הקוד של המהדר:",
+        text: "האבחונים של המהדר מגיעים תחת הבדיקה compiler עם הקוד של המהדר:",
       },
       { kind: "code", code: checks },
       {