Change fizruk to rzk-lang

rzk-lang · Jul 10, 2023 · 12530d8 · 12530d8
1 parent 37cf840
commit 12530d8
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Pygments higlighter for Rzk
 
-This is a simple [Pygments](https://pygments.org) higlighter for [Rzk](https://github.com/fizruk/rzk), which can be used with [`minted` package](https://www.ctan.org/pkg/minted) when writing rzk code in LaTeX or with [MkDocs](https://www.mkdocs.org) to highlight code in blocks when rendering literate Rzk Markdown files.
+This is a simple [Pygments](https://pygments.org) higlighter for [Rzk](https://github.com/rzk-lang/rzk), which can be used with [`minted` package](https://www.ctan.org/pkg/minted) when writing rzk code in LaTeX or with [MkDocs](https://www.mkdocs.org) to highlight code in blocks when rendering literate Rzk Markdown files.
 
 ## How to use
 
@@ -9,7 +9,7 @@ This is a simple [Pygments](https://pygments.org) higlighter for [Rzk](https://g
 Clone this repository, and install the highlighter using [`pip` installer](https://pip.pypa.io/en/stable/):
 
 ```sh
-git clone https://github.com/fizruk/pygments-rzk.git
+git clone https://github.com/rzk-lang/pygments-rzk.git
 cd pygments-rzk   # enter repository root
 pip install .     # install using pip
 ```
@@ -52,7 +52,7 @@ A basic example:
   := idJ(A, x, \y' p' -> y' = x, refl, y, p)
 
 -- path composition by induction on the second path
-#define concat 
+#define concat
   (p : x = y)       -- A path from x to y in A.
   (q : y = z)       -- A path from y to z in A.
   : (x = z)

diff --git a/pygments_rzk/__init__.py b/pygments_rzk/__init__.py
@@ -19,7 +19,7 @@ class RzkLexer(pygments.lexer.RegexLexer):
     name = 'Rzk'
     aliases = ['rzk']
     filenames = ['*.rzk']
-    url = 'https://github.com/fizruk/rzk'
+    url = 'https://github.com/rzk-lang/rzk'
     KEYWORDS = [] # ['as', 'uses']
     def get_tokens_unprocessed(self, text):
         for index, token, value in super(RzkLexer,self).get_tokens_unprocessed(text):

diff --git a/setup.py b/setup.py
@@ -14,7 +14,7 @@
     author='Nikolai Kudasov',
     author_email='[email protected]',
 
-    url='https://github.com/fizruk/pygments-rzk',
+    url='https://github.com/rzk-lang/pygments-rzk',
 
     packages=find_packages(),
     install_requires=['pygments >= 1.4'],