From ccebe871e2f1197e792c42446394710ca195acaf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20L=C3=B6=C3=B6w?= Date: Tue, 19 Nov 2024 12:29:37 +0000 Subject: [PATCH] hide part i diff --- sphinx/publications/gillian-part-1-diff.rst | 4 +++- sphinx/publications/gillian-part-1.rst | 5 +---- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/sphinx/publications/gillian-part-1-diff.rst b/sphinx/publications/gillian-part-1-diff.rst index 96445ceb7..b5f8af28e 100644 --- a/sphinx/publications/gillian-part-1-diff.rst +++ b/sphinx/publications/gillian-part-1-diff.rst @@ -1,3 +1,5 @@ +:orphan: + Differences between Paper and Implementation ============================================ @@ -262,4 +264,4 @@ Where ``Make_with_prefix`` is a functor that takes: and it returns an Allocator that allocates strings of the form ``PREFIX_A`` where ``PREFIX`` is the given prefix and ``A`` is a stringification of the allocated by ``AL``. -In this case, as the ``AL`` parameter, we use ``Basic ()`` which instantiates an abstract allocator module that internally just allocates integers. \ No newline at end of file +In this case, as the ``AL`` parameter, we use ``Basic ()`` which instantiates an abstract allocator module that internally just allocates integers. diff --git a/sphinx/publications/gillian-part-1.rst b/sphinx/publications/gillian-part-1.rst index d6ee7687a..5fc26a109 100644 --- a/sphinx/publications/gillian-part-1.rst +++ b/sphinx/publications/gillian-part-1.rst @@ -29,7 +29,4 @@ Identifiers Notes ----- -.. toctree:: - :maxdepth: 1 - - gillian-part-1-diff +* :doc:`gillian-part-1-diff`