Add link to web app in README

kind2-mc · Apr 6, 2020 · eccd935 · eccd935
1 parent 2a8c01f
commit eccd935
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/README.rst b/README.rst
@@ -158,6 +158,13 @@ you can run the following:
 
 See ``doc/usr/README.rst`` for more information.
 
+
+Online Web Application
+----------------------
+
+You can try `Kind 2 from your browser <https://kind.cs.uiowa.edu/app/>`_ if you are not ready to install it.
+
+
 Docker
 ------
 

diff --git a/doc/usr/source/home.rst b/doc/usr/source/home.rst
@@ -116,6 +116,13 @@ Documentation is available online in `HTML <http://kind.cs.uiowa.edu/kind2_user_
 
 See ``doc/usr/README.rst`` for more information.
 
+
+Online Web Application
+----------------------
+
+You can try `Kind 2 from your browser <https://kind.cs.uiowa.edu/app/>`_ if you are not ready to install it.
+
+
 Docker
 ------
-Original file line number
+Diff line change
@@ Expand Up / @@ -158,6 +158,13 @@ you can run the following: @@
     See ``doc/usr/README.rst`` for more information.
+    Online Web Application
+    ----------------------
+    You can try `Kind 2 from your browser <https://kind.cs.uiowa.edu/app/>`_ if you are not ready to install it.
     Docker
     ------
@@ Expand Down @@