Add getting started page to docs

This commit is contained in:
Anthony Shaw 2021-03-25 12:30:49 +11:00
Родитель 755a4636e3
Коммит 2752580672
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: A5B5836F7895863C
26 изменённых файлов: 390 добавлений и 7 удалений

Просмотреть файл

@ -30,6 +30,10 @@ Educators and Institutions can leverage the PyBryt Library to integrate auto ass
- Plagiarism detection and support for reference solutions;
- Easy integration into existing organizational or institutional grading infrastructure.
## Getting Started
See the [Getting Started](https://microsoft.github.io/pybryt/html/getting_started.html) page on the pybryt documentation for steps to install and use pybryt for the first time.
## Testing
> Instructions for testing

55
docs/getting_started.rst Normal file
Просмотреть файл

@ -0,0 +1,55 @@
Getting Started
===============
Installing pybryt
-----------------
You can install pybyrt inside a Python Virtual Environment, a Conda environment, or within a Jupyter Notebook.
Installing inside an existing Jupyter Notebook
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
You can add a magic-line command to a Jupyter notebook to install the requirements for a pip environment:
.. code-block:: python
%pip install pybryt
import pybryt
Or, for a conda environment:
.. code-block:: python
%pip install pybryt
import pybryt
Installing on Windows PowerShell
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Before installing, make sure you have a recent version of `Python 3 installed <https://python.org/downloads>`_.
Next, create a virtual environment, update pip and then install ``pybryt``:
.. code-block:: console
py -3-m venv .venv
.\venv\scripts\activate.ps1
pip install -U pip
pip install pybryt
Installing on macOS or Linux command-line
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Before installing, make sure you have a recent version of `Python 3 installed <https://python.org/downloads>`_.
Next, create a virtual environment, update pip and then install ``pybryt``:
.. code-block:: console
python3.8 -m venv .venv
source .venv/bin/activate
pip install -U pip
pip install pybryt

Двоичные данные
docs/html/.doctrees/annotations/index.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/annotations/invariants.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/annotations/relational_annotations.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/api_reference.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/environment.pickle Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/getting_started.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/index.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/reference_implementations.doctree Normal file

Двоичный файл не отображается.

Двоичные данные
docs/html/.doctrees/student_implementations.doctree Normal file

Двоичный файл не отображается.

Просмотреть файл

@ -0,0 +1,55 @@
Getting Started
===============
Installing pybryt
-----------------
You can install pybyrt inside a Python Virtual Environment, a Conda environment, or within a Jupyter Notebook.
Installing inside an existing Jupyter Notebook
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
You can add a magic-line command to a Jupyter notebook to install the requirements for a pip environment:
.. code-block:: python
%pip install pybryt
import pybryt
Or, for a conda environment:
.. code-block:: python
%pip install pybryt
import pybryt
Installing on Windows PowerShell
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Before installing, make sure you have a recent version of `Python 3 installed <https://python.org/downloads>`_.
Next, create a virtual environment, update pip and then install ``pybryt``:
.. code-block:: console
py -3-m venv .venv
.\venv\scripts\activate.ps1
pip install -U pip
pip install pybryt
Installing on macOS or Linux command-line
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Before installing, make sure you have a recent version of `Python 3 installed <https://python.org/downloads>`_.
Next, create a virtual environment, update pip and then install ``pybryt``:
.. code-block:: console
python3.8 -m venv .venv
source .venv/bin/activate
pip install -U pip
pip install pybryt

Просмотреть файл

@ -10,6 +10,7 @@ PyBryt Documentation
:maxdepth: 3
:hidden:
getting_started
annotations/index
reference_implementations
student_implementations

Просмотреть файл

@ -2,7 +2,7 @@
<html class="no-js">
<head><meta charset="utf-8"/>
<meta name="viewport" content="width=device-width,initial-scale=1"/>
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="../genindex.html" /><link rel="search" title="Search" href="../search.html" /><link rel="next" title="Relational Annotations" href="relational_annotations.html" /><link rel="prev" title="PyBryt Documentation" href="../index.html" />
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="../genindex.html" /><link rel="search" title="Search" href="../search.html" /><link rel="next" title="Relational Annotations" href="relational_annotations.html" /><link rel="prev" title="Getting Started" href="../getting_started.html" />
<meta name="generator" content="sphinx-3.5.3, furo 2021.03.20.beta30"/>
<title>Annotations - PyBryt documentation</title>
@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="../getting_started.html">Getting Started</a></li>
<li class="toctree-l1 current has-children current-page"><a class="current reference internal" href="#">Annotations</a><input checked="" class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="invariants.html">Invariants</a></li>
@ -192,14 +193,14 @@ value, pass the invariant objects in a list to the <code class="docutils literal
</div>
<svg><use href="#svg-arrow-right"></use></svg>
</a>
<a class="prev-page" href="../index.html">
<a class="prev-page" href="../getting_started.html">
<svg><use href="#svg-arrow-right"></use></svg>
<div class="page-info">
<div class="context">
<span>Previous</span>
</div>
<div class="title">Home</div>
<div class="title">Getting Started</div>
</div>
</a>

Просмотреть файл

@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="../getting_started.html">Getting Started</a></li>
<li class="toctree-l1 current has-children"><a class="reference internal" href="index.html">Annotations</a><input checked="" class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul class="current">
<li class="toctree-l2"><a class="reference internal" href="relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2 current current-page"><a class="current reference internal" href="#">Invariants</a></li>

Просмотреть файл

@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="../getting_started.html">Getting Started</a></li>
<li class="toctree-l1 current has-children"><a class="reference internal" href="index.html">Annotations</a><input checked="" class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul class="current">
<li class="toctree-l2 current current-page"><a class="current reference internal" href="#">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="invariants.html">Invariants</a></li>

Просмотреть файл

@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="getting_started.html">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>

Просмотреть файл

@ -107,6 +107,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul>
<li class="toctree-l1"><a class="reference internal" href="getting_started.html">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>

Просмотреть файл

@ -0,0 +1,258 @@
<!doctype html>
<html class="no-js">
<head><meta charset="utf-8"/>
<meta name="viewport" content="width=device-width,initial-scale=1"/>
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" /><link rel="next" title="Annotations" href="annotations/index.html" /><link rel="prev" title="PyBryt Documentation" href="index.html" />
<meta name="generator" content="sphinx-3.5.3, furo 2021.03.20.beta30"/>
<title>Getting Started - PyBryt documentation</title>
<link rel="stylesheet" href="_static/styles/furo.css?digest=978e1795dfe158b585dda6a8417f6411828bf3ed">
<link rel="stylesheet" href="_static/pygments.css">
<link media="(prefers-color-scheme: dark)" rel="stylesheet" href="_static/pygments_dark.css">
<style>
:root {
--color-code-background: #eeffcc;
--color-code-foreground: black;
}
@media (prefers-color-scheme: dark) {
:root {
--color-code-background: #202020;
--color-code-foreground: #d0d0d0;
}
}
/* For allowing end-user-specific overrides */
.override-light {
--color-code-background: #eeffcc;
--color-code-foreground: black;
}
.override-dark {
--color-code-background: #202020;
--color-code-foreground: #d0d0d0;
}
</style><link rel="stylesheet" href="_static/styles/furo-extensions.css?digest=d391b54134226e4196576da3bdb6dddb7e05ba2b"></head>
<body dir="">
<svg xmlns="http://www.w3.org/2000/svg" style="display: none;">
<symbol id="svg-toc" viewBox="0 0 24 24">
<title>Contents</title>
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none"
stroke-width="1.5" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round">
<path stroke="none" d="M0 0h24v24H0z"/>
<line x1="4" y1="6" x2="20" y2="6" />
<line x1="10" y1="12" x2="20" y2="12" />
<line x1="6" y1="18" x2="20" y2="18" />
</svg>
</symbol>
<symbol id="svg-menu" viewBox="0 0 24 24">
<title>Menu</title>
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none"
stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"
class="feather feather-menu">
<line x1="3" y1="12" x2="21" y2="12"></line>
<line x1="3" y1="6" x2="21" y2="6"></line>
<line x1="3" y1="18" x2="21" y2="18"></line>
</svg>
</symbol>
<symbol id="svg-arrow-right" viewBox="0 0 24 24">
<title>Expand</title>
<svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24" fill="none"
stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"
class="feather feather-chevron-right">
<polyline points="9 18 15 12 9 6"></polyline>
</svg>
</symbol>
</svg>
<input type="checkbox" class="sidebar-toggle" name="__navigation" id="__navigation">
<input type="checkbox" class="sidebar-toggle" name="__toc" id="__toc">
<label class="overlay sidebar-overlay" for="__navigation"></label>
<label class="overlay toc-overlay" for="__toc"></label>
<div class="page">
<header class="mobile-header">
<div class="header-left">
<label class="nav-overlay-icon" for="__navigation">
<i class="icon"><svg><use href="#svg-menu"></use></svg></i>
</label>
</div>
<div class="header-center">
<a href="index.html"><div class="brand">PyBryt documentation</div></a>
</div>
<div class="header-right">
<label class="toc-overlay-icon toc-header-icon" for="__toc">
<i class="icon"><svg><use href="#svg-toc"></use></svg></i>
</label>
</div>
</header>
<aside class="sidebar-drawer">
<div class="sidebar-container">
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
<span class="sidebar-brand-text">PyBryt documentation</span>
</a><form class="sidebar-search-container" method="get" action="search.html">
<input class="sidebar-search" placeholder=Search name="q">
<input type="hidden" name="check_keywords" value="yes">
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1 current current-page"><a class="current reference internal" href="#">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="reference_implementations.html">Reference Implementations</a></li>
<li class="toctree-l1"><a class="reference internal" href="student_implementations.html">Student Implementations</a></li>
<li class="toctree-l1"><a class="reference internal" href="api_reference.html">API Reference</a></li>
<li class="toctree-l1"><a class="reference external" href="https://github.com/microsoft/pybryt/tree/main/CHANGELOG.md">Changelog</a></li>
</ul>
</div>
</div>
</div>
</div>
</aside>
<main class="main">
<div class="content">
<article role="main">
<label class="toc-overlay-icon toc-content-icon" for="__toc">
<i class="icon"><svg><use href="#svg-toc"></use></svg></i>
</label>
<div class="section" id="getting-started">
<h1>Getting Started<a class="headerlink" href="#getting-started" title="Permalink to this headline"></a></h1>
<div class="section" id="installing-pybryt">
<h2>Installing pybryt<a class="headerlink" href="#installing-pybryt" title="Permalink to this headline"></a></h2>
<p>You can install pybyrt inside a Python Virtual Environment, a Conda environment, or within a Jupyter Notebook.</p>
<div class="section" id="installing-inside-an-existing-jupyter-notebook">
<h3>Installing inside an existing Jupyter Notebook<a class="headerlink" href="#installing-inside-an-existing-jupyter-notebook" title="Permalink to this headline"></a></h3>
<p>You can add a magic-line command to a Jupyter notebook to install the requirements for a pip environment:</p>
<div class="highlight-python notranslate"><div class="highlight"><pre><span></span><span class="o">%</span><span class="n">pip</span> <span class="n">install</span> <span class="n">pybryt</span>
<span class="kn">import</span> <span class="nn">pybryt</span>
</pre></div>
</div>
<p>Or, for a conda environment:</p>
<div class="highlight-python notranslate"><div class="highlight"><pre><span></span><span class="o">%</span><span class="n">pip</span> <span class="n">install</span> <span class="n">pybryt</span>
<span class="kn">import</span> <span class="nn">pybryt</span>
</pre></div>
</div>
</div>
<div class="section" id="installing-on-windows-powershell">
<h3>Installing on Windows PowerShell<a class="headerlink" href="#installing-on-windows-powershell" title="Permalink to this headline"></a></h3>
<p>Before installing, make sure you have a recent version of <a class="reference external" href="https://python.org/downloads">Python 3 installed</a>.</p>
<p>Next, create a virtual environment, update pip and then install <code class="docutils literal notranslate"><span class="pre">pybryt</span></code>:</p>
<div class="highlight-console notranslate"><div class="highlight"><pre><span></span><span class="go">py -3-m venv .venv</span>
<span class="go">.\venv\scripts\activate.ps1</span>
<span class="go">pip install -U pip</span>
<span class="go">pip install pybryt</span>
</pre></div>
</div>
</div>
<div class="section" id="installing-on-macos-or-linux-command-line">
<h3>Installing on macOS or Linux command-line<a class="headerlink" href="#installing-on-macos-or-linux-command-line" title="Permalink to this headline"></a></h3>
<p>Before installing, make sure you have a recent version of <a class="reference external" href="https://python.org/downloads">Python 3 installed</a>.</p>
<p>Next, create a virtual environment, update pip and then install <code class="docutils literal notranslate"><span class="pre">pybryt</span></code>:</p>
<div class="highlight-console notranslate"><div class="highlight"><pre><span></span><span class="go">python3.8 -m venv .venv</span>
<span class="go">source .venv/bin/activate</span>
<span class="go">pip install -U pip</span>
<span class="go">pip install pybryt</span>
</pre></div>
</div>
</div>
</div>
</div>
</article>
<footer>
<div class="related-pages">
<a class="next-page" href="annotations/index.html">
<div class="page-info">
<div class="context">
<span>Next</span>
</div>
<div class="title">Annotations</div>
</div>
<svg><use href="#svg-arrow-right"></use></svg>
</a>
<a class="prev-page" href="index.html">
<svg><use href="#svg-arrow-right"></use></svg>
<div class="page-info">
<div class="context">
<span>Previous</span>
</div>
<div class="title">Home</div>
</div>
</a>
</div>
<div class="related-information">
Copyright &#169; 2021, Microsoft
|
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a>
and
<a class="muted-link" href="https://pradyunsg.me">@pradyunsg</a>'s
<a href="https://github.com/pradyunsg/furo">Furo theme</a>.
|
<a class="muted-link" href="_sources/getting_started.rst.txt"
rel="nofollow">
Show Source
</a>
</div>
</footer>
</div>
<aside class="toc-drawer">
<div class="toc-sticky toc-scroll">
<div class="toc-title-container">
<span class="toc-title">
Contents
</span>
</div>
<div class="toc-tree-container">
<div class="toc-tree">
<ul>
<li><a class="reference internal" href="#">Getting Started</a><ul>
<li><a class="reference internal" href="#installing-pybryt">Installing pybryt</a><ul>
<li><a class="reference internal" href="#installing-inside-an-existing-jupyter-notebook">Installing inside an existing Jupyter Notebook</a></li>
<li><a class="reference internal" href="#installing-on-windows-powershell">Installing on Windows PowerShell</a></li>
<li><a class="reference internal" href="#installing-on-macos-or-linux-command-line">Installing on macOS or Linux command-line</a></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
</div>
</aside>
</main>
</div>
<script id="documentation_options" data-url_root="./" src="_static/documentation_options.js"></script>
<script src="_static/jquery.js"></script>
<script src="_static/underscore.js"></script>
<script src="_static/doctools.js"></script>
<script src="_static/scripts/main.js?digest=e931d09b2a40c1bb82b542effe772014573baf67"></script></body>
</html>

Просмотреть файл

@ -2,7 +2,7 @@
<html class="no-js">
<head><meta charset="utf-8"/>
<meta name="viewport" content="width=device-width,initial-scale=1"/>
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" /><link rel="next" title="Annotations" href="annotations/index.html" />
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" /><link rel="next" title="Getting Started" href="getting_started.html" />
<meta name="generator" content="sphinx-3.5.3, furo 2021.03.20.beta30"/>
<title>Home - PyBryt documentation</title>
@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul>
<li class="toctree-l1"><a class="reference internal" href="getting_started.html">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>
@ -160,12 +161,12 @@ object. Annotations are created by creating instances of subclasses of the abstr
<footer>
<div class="related-pages">
<a class="next-page" href="annotations/index.html">
<a class="next-page" href="getting_started.html">
<div class="page-info">
<div class="context">
<span>Next</span>
</div>
<div class="title">Annotations</div>
<div class="title">Getting Started</div>
</div>
<svg><use href="#svg-arrow-right"></use></svg>
</a>

Двоичные данные
docs/html/objects.inv

Двоичный файл не отображается.

Просмотреть файл

@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="getting_started.html">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>

Просмотреть файл

@ -106,6 +106,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul>
<li class="toctree-l1"><a class="reference internal" href="getting_started.html">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>

Различия файлов скрыты, потому что одна или несколько строк слишком длинны

Просмотреть файл

@ -108,6 +108,7 @@
<input type="hidden" name="area" value="default">
</form><div class="sidebar-scroll"><div class="sidebar-tree">
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="getting_started.html">Getting Started</a></li>
<li class="toctree-l1 has-children"><a class="reference internal" href="annotations/index.html">Annotations</a><input class="toctree-checkbox" id="toctree-checkbox-1" name="toctree-checkbox-1" type="checkbox"/><label for="toctree-checkbox-1"><i class="icon"><svg><use href="#svg-arrow-right"></use></svg></i></label><ul>
<li class="toctree-l2"><a class="reference internal" href="annotations/relational_annotations.html">Relational Annotations</a></li>
<li class="toctree-l2"><a class="reference internal" href="annotations/invariants.html">Invariants</a></li>

Просмотреть файл

@ -10,6 +10,7 @@ PyBryt Documentation
:maxdepth: 3
:hidden:
getting_started
annotations/index
reference_implementations
student_implementations