update URLs

README-zh.md

@@ -1,7 +1,6 @@
 <img src="static/logo_c.png" width="200" height="175" alt="Logo">
 
-[![tutorial](https://img.shields.io/badge/tutorial-latest-brightgreen)](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+[![docs](https://img.shields.io/readthedocs/cozo/latest)](https://docs.cozodb.org/)
-[![manual](https://img.shields.io/badge/manual-latest-brightgreen)](https://cozodb.github.io/current/manual/)
 [![cozo-node](https://img.shields.io/npm/v/cozo-node)](https://www.npmjs.com/package/cozo-node)
 [![npm (web)](https://img.shields.io/npm/v/cozo-lib-wasm?label=browser)](https://www.npmjs.com/package/cozo-lib-wasm)
 [![Crates.io](https://img.shields.io/crates/v/cozo)](https://crates.io/crates/cozo)
@@ -61,14 +60,13 @@ Datalog可表达所有的 _关系型查询_。_递归_ 的表达是 Datalog 的
 * 对于一个有3100万条边的图数据表，“两跳”图查询（如查询某人的朋友的朋友都有谁）可在1毫秒内完成。
 * Pagerank算法速度。1万个顶点和12万条边：50毫秒内完成；10个万顶点和170万条边：大约在1秒内完成；160万个顶点和32万条边：大约在30秒内完成。
 
-更多的细节请看[此文章](https://github.com/cozodb/cozo/wiki/Cozo-is-an-extremely-performant-graph-database-that-runs-everywhere)。
+更多的细节请看[此文章](https://docs.cozodb.org/en/latest/releases/v0.3.html)。
 
 ## 学习
 
-一般来说，你得先安装数据库才能学习怎么使用它。但Cozo是“嵌入式”的，所以它可以直接在浏览器里通过WASM运行，省去了安装的麻烦，而大多数操作的速度也和原生的差不多。打开[WASM里面跑的Cozo页面](https://cozodb.github.io/wasm-demo/)，然后就可以开始学了：
+一般来说，你得先安装数据库才能学习怎么使用它。但Cozo是“嵌入式”的，所以它可以直接在浏览器里通过WASM运行，省去了安装的麻烦，而大多数操作的速度也和原生的差不多。打开[WASM里面跑的Cozo页面](https://www.cozodb.org/wasm-demo/)，然后就可以开始学了：
 
-* [Cozo辅导课](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)——学习基础知识
+* [Cozo辅导课](https://docs.cozodb.org/en/latest/tutorial.html)——学习基础知识
-* [CozoScript手册](https://cozodb.github.io/current/manual/)——深入学习细节
 
 当然你也可以先翻到后面了解如何在你熟悉的环境里安装原生Cozo数据库，再通过以上资料学习。
 
@@ -232,7 +230,7 @@ Cozo数据库由三个垒起来的组成部分组成，其中每部分只调用
 * 查询语句的编译
 * 查询的执行
 
-Cozo中大部分代码都是在实现这些功能。CozoScript手册中[有一章](https://cozodb.github.io/current/manual/execution.html)简要介绍了查询执行的一些细节。
+Cozo中大部分代码都是在实现这些功能。CozoScript手册中[有一章](https://docs.cozodb.org/en/latest/execution.html)简要介绍了查询执行的一些细节。
 
 用户通过[Rust API](https://docs.rs/cozo/)来驱动查询引擎。
 

README.md

@@ -1,7 +1,6 @@
 <img src="static/logo_c.png" width="200" height="175" alt="Logo">
 
-[![tutorial](https://img.shields.io/badge/tutorial-latest-brightgreen)](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+[![docs](https://img.shields.io/readthedocs/cozo/latest)](https://docs.cozodb.org/)
-[![manual](https://img.shields.io/badge/manual-latest-brightgreen)](https://cozodb.github.io/current/manual/)
 [![cozo-node](https://img.shields.io/npm/v/cozo-node)](https://www.npmjs.com/package/cozo-node)
 [![npm (web)](https://img.shields.io/npm/v/cozo-lib-wasm?label=browser)](https://www.npmjs.com/package/cozo-lib-wasm)
 [![Crates.io](https://img.shields.io/crates/v/cozo)](https://crates.io/crates/cozo)
@@ -18,8 +17,6 @@
 
 # `cozo`
 
-[ English | [中文文档](./README-zh.md) ]
-
 ### Table of contents
 
 1. [Introduction](#Introduction)
@@ -90,7 +87,7 @@ On a 2020 Mac Mini with the RocksDB persistent storage engine (Cozo supports man
 * The Pagerank algorithm completes in around 50ms for a graph with 10K vertices and 120K edges, around 1 second for a graph with 100K vertices and 1.7M edges, and around 30 seconds for a graph with 1.6M vertices and 32M edges.
 
 For more numbers and further details, we have a writeup 
-about performance [here](https://github.com/cozodb/cozo/wiki/Cozo-is-an-extremely-performant-graph-database-that-runs-everywhere).
+about performance [here](https://docs.cozodb.org/en/latest/releases/v0.3.html).
 
 ## Getting started
 
@@ -98,10 +95,9 @@ Usually, to learn a database, you need to install it first.
 This is unnecessary for Cozo as a testimony to its extreme embeddability, since you can run
 a complete Cozo instance in your browser, at near-native speed for most operations!
 
-So open up the [Cozo in WASM page](https://cozodb.github.io/wasm-demo/), and then:
+So open up the [Cozo in WASM page](https://www.cozodb.org/wasm-demo/), and then:
 
-* Follow the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb) to learn the basics;
+* Start learning from the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html) for the finer points.
-* read the [manual](https://cozodb.github.io/current/manual/) for the finer points.
 
 After you have decided that Cozo is worth experimenting with for your next project, you can scroll down to learn
 how to use it embedded (or not) in your favourite environment.
@@ -305,7 +301,7 @@ The query engine part provides various functionalities:
 * query execution
 
 This part is where most of
-the code of Cozo is concerned. The CozoScript manual [has a chapter](https://cozodb.github.io/current/manual/execution.html)
+the code of Cozo is concerned. The CozoScript manual [has a chapter](https://docs.cozodb.org/en/latest/execution.html)
 about the execution process.
 
 Users interact with the query engine with the [Rust API](https://docs.rs/cozo/).

cozo-core/Cargo.toml

@@ -5,9 +5,9 @@ edition = "2021"
 description = "A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms"
 authors = ["Ziyang Hu"]
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 exclude = [
     "tests/*",
 ]

cozo-core/src/lib.rs

@@ -6,15 +6,14 @@
  * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
-//! This crate provides the core functionalities of [CozoDB](https://github.com/cozodb/cozo).
+//! This crate provides the core functionalities of [CozoDB](https://cozodb.org).
 //! It may be used to embed CozoDB in your application.
 //!
 //! This doc describes the Rust API. To learn how to use CozoDB to query (CozoScript), see:
 //!
-//! * [CozoScript Tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+//! * [CozoScript Manual](https://docs.cozodb.org)
-//! * [CozoScript Manual](https://cozodb.github.io/current/manual/)
 //!
-//! You can run all the queries described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/)
+//! You can run all the queries described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/)
 //! without installing anything.
 //!
 //! Rust API usage:

cozo-lib-c/Cargo.toml

@@ -3,9 +3,9 @@ name = "cozo_c"
 version = "0.4.0"
 edition = "2021"
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 description = "C bindings for CozoDB"
 
 [lib]

cozo-lib-c/README-zh.md

@@ -6,9 +6,8 @@ This directory contains the source of the Cozo C API.
 
 This document describes how to set up the C library.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 You can download pre-built libraries from the [release page](https://github.com/cozodb/cozo/releases),
 look for those starting with `libcozo_c`.

cozo-lib-c/README.md

@@ -6,9 +6,8 @@ This directory contains the source of the Cozo C API.
 
 This document describes how to set up the C library.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 You can download pre-built libraries from the [release page](https://github.com/cozodb/cozo/releases),
 look for those starting with `libcozo_c`.

cozo-lib-java/Cargo.toml

@@ -3,9 +3,9 @@ name = "cozo_java"
 version = "0.4.0"
 edition = "2021"
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 description = "Java bindings for CozoDB"
 
 [lib]

cozo-lib-nodejs/Cargo.toml

@@ -4,9 +4,9 @@ version = "0.4.0"
 description = "Cozo database for NodeJS"
 authors = ["Ziyang Hu"]
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 edition = "2021"
 exclude = ["index.node"]
 

cozo-lib-nodejs/README-zh.md

@@ -6,9 +6,8 @@ Embedded [CozoDB](https://github.com/cozodb/cozo) for NodeJS.
 
 This document describes how to set up the Cozo module for use in NodeJS.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 ## Installation
 

cozo-lib-nodejs/README.md

@@ -6,9 +6,8 @@ Embedded [CozoDB](https://github.com/cozodb/cozo) for NodeJS.
 
 This document describes how to set up the Cozo module for use in NodeJS.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 ## Installation
 

cozo-lib-nodejs/package.json

@@ -39,7 +39,7 @@
   "bugs": {
     "url": "https://github.com/cozodb/cozo/issues"
   },
-  "homepage": "https://github.com/cozodb/cozo#readme",
+  "homepage": "https://www.cozodb.org",
   "dependencies": {
     "@mapbox/node-pre-gyp": "^1.0.10"
   }

cozo-lib-python/Cargo.toml

@@ -5,9 +5,9 @@ edition = "2021"
 description = "Cozo database for python"
 authors = ["Ziyang Hu"]
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

cozo-lib-swift/Cargo.toml

@@ -5,9 +5,9 @@ edition = "2021"
 description = "Cozo database for Swift"
 authors = ["Ziyang Hu"]
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 
 [lib]
 crate-type = ["staticlib"]

cozo-lib-swift/README-zh.md

@@ -4,9 +4,8 @@
 
 This document describes how to set up the Cozo module for use in Swift on Apple hardware.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 This package can be used for MacOS (both Apple ARM and Intel) and iOS (iPad, iPhone and simulators).
 

cozo-lib-swift/README.md

@@ -4,9 +4,8 @@
 
 This document describes how to set up the Cozo module for use in Swift on Apple hardware.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 This package can be used for MacOS (both Apple ARM and Intel) and iOS (iPad, iPhone and simulators).
 

cozo-lib-wasm/Cargo.toml

@@ -5,9 +5,9 @@ edition = "2021"
 description = "Cozo database for WASM"
 authors = ["Ziyang Hu"]
 license = "MPL-2.0"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 
 [lib]
 crate-type = ["cdylib", "rlib"]

cozo-lib-wasm/README-zh.md

@@ -5,9 +5,9 @@ If you are targeting NodeJS, use [this](../cozo-lib-nodejs) instead:
 native code is still _much_ faster than WASM.
 
 This document describes how to set up the Cozo WASM module for use.
-To learn how to use CozoDB (CozoScript), follow the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+To learn how to use CozoDB (CozoScript), follow
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
 
 ## Installation
 

cozo-lib-wasm/README.md

@@ -5,9 +5,9 @@ If you are targeting NodeJS, use [this](../cozo-lib-nodejs) instead:
 native code is still _much_ faster than WASM.
 
 This document describes how to set up the Cozo WASM module for use.
-To learn how to use CozoDB (CozoScript), follow the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+To learn how to use CozoDB (CozoScript), follow
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
 
 ## Installation
 

cozo-lib-wasm/wasm-react-demo/README.md

@@ -1,4 +1,4 @@
 # Cozo in WASM demo
 
-This is the source code for the demo at https://cozodb.github.io/wasm-demo/.
+This is the source code for the demo at https://www.cozodb.org/wasm-demo/.
 It might be helpful if you want to integrate Cozo WASM in your own project.

cozo-lib-wasm/wasm-react-demo/src/App.js

@@ -221,7 +221,7 @@ function App() {
                     All computation is done within your browser. There is no backend, nor any outgoing requests.
                 </p>
                 <p>
-                    Please refer to the <a href="https://github.com/cozodb/cozo/">project homepage</a> for
+                    Please refer to the <a href="https://www.cozodb.org">project homepage</a> for
                     more information about the Cozo database.
                 </p>
                 <h2>Not sure what to run?</h2>
@@ -235,7 +235,7 @@ grandparent[gcld, gp] := parent[gcld, p], parent[p, gp]
                 }}>Here</a> is a classical example recursive example.
                 </p>
                 <p>
-                    The <a href="https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb">tutorial</a> contains many more examples.
+                    The <a href="https://docs.cozodb.org/en/latest/tutorial.html">tutorial</a> contains many more examples.
                 </p>
             </div>}
         </div>

cozorocks/Cargo.toml

@@ -5,9 +5,9 @@ edition = "2021"
 license = "MPL-2.0"
 authors = ["Ziyang Hu"]
 description = "Bindings to RocksDB used by the cozo crate"
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

cozoserver/Cargo.toml

@@ -5,9 +5,9 @@ edition = "2021"
 license = "MPL-2.0"
 description = "Standalone Cozo database"
 authors = ["Ziyang Hu"]
-homepage = "https://github.com/cozodb/cozo"
+homepage = "https://www.cozodb.org"
 repository = "https://github.com/cozodb/cozo"
-documentation = "https://cozodb.github.io/current/manual"
+documentation = "https://docs.cozodb.org"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

cozoserver/README-zh.md

@@ -4,9 +4,8 @@
 
 This document describes how to set up cozoserver.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 ## Download
 

cozoserver/README.md

@@ -4,9 +4,8 @@
 
 This document describes how to set up cozoserver.
 To learn how to use CozoDB (CozoScript), follow
-the [tutorial](https://github.com/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+the [tutorial](https://docs.cozodb.org/en/latest/tutorial.html). You can run all the queries
-first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://www.cozodb.org/wasm-demo/).
-described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
 
 ## Download