Merge branch 'gh-pages' of https://github.com/LivelyKernel/lively4-core…

… into gh-pages
LivelyKernel · Mar 11, 2024 · 8ace8d8 · 8ace8d8
2 parents 107ca99 + 4f64a5e
commit 8ace8d8
Show file tree

Hide file tree

Showing 3 changed files with 336 additions and 239 deletions.
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@
 
 <lively-import src="https://lively-kernel.org/lively4/lively4-petrinet/doc/_navigation.html" alt=""></lively-import>
 
-Directly start developing in your Chrome by visiting [lively4](https://lively-kernel.org/lively4/lively4-core/start.html) and follow the [Getting Started Guide](./doc/tutorial/index.md). Through checking out and serving git repositories with the [lively4-server](doc/lively4-server.md), we can directly edit and use the environment in a self-supporting way.
+Directly start developing in your Chrome by visiting [lively4](https://lively-kernel.org/lively4/lively4-core/start.html) and follow the [Getting Started Guide](./doc/tutorial/index.md). Through checking out and serving git repositories with the [lively4-server](https://github.com/LivelyKernel/lively4-server), we can directly edit and use the environment in a self-supporting way.
 
 A project or branch of a project on GitHub can be checked out in multiple directories at once. Working on the same URL allows to collaborate in a very tight way, working in a separate directory provides more distance.
 

diff --git a/src/components/demo/lively-petrinet-token.PNG b/src/components/demo/lively-petrinet-token.PNG