From c0a91a8fe0df320c190619a877a59b9b0a0a850d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Wed, 26 Jun 2024 14:49:41 +0200 Subject: [PATCH] Add link to pyk docs to ToC page (#4476) The link will appear on the left sidebar on https://kframework.org/. Co-authored-by: Bruce Collie --- web/toc.md | 1 + 1 file changed, 1 insertion(+) diff --git a/web/toc.md b/web/toc.md index 2c458b00ac4..ee72a822d9b 100644 --- a/web/toc.md +++ b/web/toc.md @@ -17,6 +17,7 @@ output: - [Homepage](/web/pages/index.md) - [Install K](https://github.com/runtimeverification/k/releases/latest) +- [Pyk Documentation](/pyk) - [K Tutorial](/k-distribution/k-tutorial/README.md) - [Section 1: Basic K Concepts](/k-distribution/k-tutorial/1_basic/README.md) - [Lesson 1.1: Setting up a K Environment](/k-distribution/k-tutorial/1_basic/01_installing/README.md)