You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -13,34 +13,34 @@ corollary, algorithm, example, property, observation and proposition directives.
13
13
14
14
## Get started
15
15
16
-
To get started with `sphinxcontrib-prettyproof`, first install it through `pip`:
16
+
To get started with `sphinx-proof`, first install it through `pip`:
17
17
18
18
```
19
-
pip install sphinxcontrib-prettyproof
19
+
pip install sphinx-proof
20
20
```
21
21
22
-
then, add `sphinxcontrib.prettyproof` to your sphinx `extensions` in the `conf.py`
22
+
then, add `sphinx_proof` to your sphinx `extensions` in the `conf.py`
23
23
24
24
```python
25
25
...
26
-
extensions = ["sphinxcontrib.prettyproof"]
26
+
extensions = ["sphinx_proof"]
27
27
...
28
28
```
29
29
30
30
31
31
## Documentation
32
32
33
-
See the [Sphinxcontrib Pretty Proof documentation](https://sphinxcontrib-prettyproof.readthedocs.io/en/latest/) for more information.
33
+
See the [Sphinx Proof documentation](https://sphinx-proof.readthedocs.io/en/latest/) for more information.
34
34
35
35
36
36
## Contributing
37
37
38
-
We welcome all contributions! See the [EBP Contributing Guide](https://executablebooks.org/en/latest/contributing.html) for general details, and below for guidance specific to sphinxcontrib-prettyproof.
38
+
We welcome all contributions! See the [EBP Contributing Guide](https://executablebooks.org/en/latest/contributing.html) for general details, and below for guidance specific to sphinx-proof.
Copy file name to clipboardExpand all lines: docs/source/index.md
+14-14Lines changed: 14 additions & 14 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,4 +1,4 @@
1
-
# sphinxcontrib-prettyproof
1
+
# sphinx-proof
2
2
3
3
```{toctree}
4
4
:hidden:
@@ -21,7 +21,7 @@ corollary, algorithm, example, property, observation and proposition directives.
21
21
22
22
23
23
```{warning}
24
-
sphinxcontrib-prettyproof `0.0.2` is in a development stage and may change rapidly.
24
+
sphinx-proof `0.0.2` is in a development stage and may change rapidly.
25
25
```
26
26
27
27
**Features**:
@@ -33,40 +33,40 @@ sphinxcontrib-prettyproof `0.0.2` is in a development stage and may change rapid
33
33
(getting-started)=
34
34
## Getting Started
35
35
36
-
To get started with `sphinxcontrib-prettyproof`, first install it through `pip`:
36
+
To get started with `sphinx-proof`, first install it through `pip`:
37
37
38
38
```bash
39
-
pip install sphinxcontrib-prettyproof
39
+
pip install sphinx-proof
40
40
```
41
41
42
42
### JuputerBook Project
43
43
44
-
Add `sphinxcontrib.prettyproof` to your [extra_extensions](https://jupyterbook.org/advanced/sphinx.html#custom-sphinx-extensions) config in `_config.yml`
44
+
Add `sphinx_proof` to your [extra_extensions](https://jupyterbook.org/advanced/sphinx.html#custom-sphinx-extensions) config in `_config.yml`
45
45
46
46
```yaml
47
47
sphinx:
48
48
extra_extensions:
49
-
- sphinxcontrib.prettyproof
49
+
- sphinx_proof
50
50
```
51
51
52
52
you may then use `jb build <project>` and the extension will be used by your `JupyterBook` project.
53
53
54
54
### Sphinx Project
55
55
56
-
Add `sphinxcontrib.prettyproof` to your sphinx `extensions` in the `conf.py`
56
+
Add `sphinx_proof` to your sphinx `extensions` in the `conf.py`
57
57
58
58
```python
59
59
...
60
-
extensions = ["sphinxcontrib.prettyproof"]
60
+
extensions = ["sphinx_proof"]
61
61
...
62
62
```
63
63
64
64
you may then build using `make html` and the extension will be used by your `Sphinx` project.
0 commit comments