From c91f9c180fda584be0fb5b068243c44cf1374a62 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 11 Apr 2018 22:44:14 +0200 Subject: [sphinx] Remove migration artefacts. These were used very inconsistenty, serve no purpose and the link to the source is particularly useless because it's a moving target. --- doc/sphinx/proof-engine/ssreflect-proof-language.rst | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'doc/sphinx/proof-engine/ssreflect-proof-language.rst') diff --git a/doc/sphinx/proof-engine/ssreflect-proof-language.rst b/doc/sphinx/proof-engine/ssreflect-proof-language.rst index bd71e5ed8..df5b36297 100644 --- a/doc/sphinx/proof-engine/ssreflect-proof-language.rst +++ b/doc/sphinx/proof-engine/ssreflect-proof-language.rst @@ -6,10 +6,7 @@ The |SSR| proof language ------------------------------ -:Source: https://coq.inria.fr/distrib/current/refman/ssreflect.html -:Converted by: Enrico Tassi - -Author: Georges Gonthier, Assia Mahboubi, Enrico Tassi +:Authors: Georges Gonthier, Assia Mahboubi, Enrico Tassi Introduction -- cgit v1.2.3