From 414587c284c08d6cad5d7ea9c70a0c02d5122a4e Mon Sep 17 00:00:00 2001 From: Maxime Folschette <maxime.folschette@centralelille.fr> Date: Wed, 3 Mar 2021 00:15:02 +0100 Subject: [PATCH] add web link to documentation --- README.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/README.txt b/README.txt index f514b19..46ac724 100644 --- a/README.txt +++ b/README.txt @@ -6,6 +6,7 @@ Documentation: M. Folschette, The Hoare-fol Tool, technical report, 2019. + https://hal.archives-ouvertes.fr/hal-02409801v1 Principle: This implementation defines grammars and trees to represent properties on -- GitLab