update docs

LearnLib · May 24, 2022 · 0c24151 · 0c24151
1 parent 4c48348
commit 0c24151
Show file tree

Hide file tree

Showing 5 changed files with 12,057 additions and 11,740 deletions.
diff --git a/docs/.vuepress/env.default.js b/docs/.vuepress/env.default.js
@@ -1,3 +1,3 @@
 module.exports = {
-  BASE: '/alex/book/2.1.0/'
-};
+  BASE: '/alex/book/3.0.0/'
+};
diff --git a/docs/contents/dev-docs/development/README.md b/docs/contents/dev-docs/development/README.md
@@ -11,7 +11,7 @@ On this page, we present some information for developers and maintainers of ALEX
 
 Make sure you have the following software installed on your development machine:
 
-- Node.js v14 and NPM v7
+- Node.js v16 and NPM v8
 
 The frontend is developed with [Angular][angular], relies on the Angular CLI and is written in Typescript.
 Styling in ALEX is done with [Bootstrap v4][bootstrap] and SASS stylesheets.
@@ -63,7 +63,7 @@ Now you can make changes in the Java files, rebuild the module (e.g. via `STRG+S
 
 Make sure you have the following software installed on your development machine:
 
-- Node.js v14 and NPM v7
+- Node.js v16 and NPM v8When installed locally, and the target app is also locally, the base URL of a project should start with: "http://docker.host.internal" (for Linux) and "http://192.168.65.2" (for MacOS and Windows).
 
 
 ## Performing a release

diff --git a/docs/contents/user-manual/project-management/README.md b/docs/contents/user-manual/project-management/README.md
@@ -22,7 +22,11 @@ A new project has the following properties:
 | Description | A description of the  project.                                                         | no       |
 
 The URL of a new project has to start with *http://* or *https://* followed by at least one further character for the host. 
-The URL can, but does not have to end with a trailing '/'. 
+The URL can, but does not have to end with a trailing '/'.
+
+::: tip
+Note: When installed locally, and the target app is also locally, the base URL of a project should start with: "http://docker.host.internal" (for Linux) and "http://192.168.65.2" (for MacOS and Windows).
+:::
 
 Deleting and updating projects can be done under the premise that there is no active learning process with the project.
 Before deleting a project, make sure you have exported the project, your symbols, hypotheses or statistics because the deletion is irreversible.